Skip to content
Sections
>> Trisquel >> 套件 >> etiona >> devel >> undertaker
etiona  ]
[ 原始碼: undertaker  ]

套件: undertaker (1.6.1-4.1build3)

undertaker 的相關超連結

undertaker

Trisquel 的資源:

下載原始碼套件 undertaker

維護者:

Original Maintainers:

  • Christoph Egger
  • Reinhard Tartler

外部的資源:

  • 主頁 [vamos.informatik.uni-erlangen.de]

相似套件:

variability-aware tool for static code analysis

The "undertaker" is a tool suite for static source code analysis for checking C preprocessor directives. Also included are "golem", "vampyr" and "undertaker-tailor".

It can check their structure against different configuration models to find "dead" blocks that can never be selected and "undead" blocks that can never be deselected.

The included "golem" tool is able to infer variability constraints from Kbuild-like build systems, such as found in Linux, busybox and coreboot. Its results greatly improves the model that undertaker uses for the analysis.

The tool "vampyr" is a conditional-compilation aware driver. It uses the "undertaker" tool to calculate a set of configurations and calls a backend-scanner on each of them. Supported scanners include: "gcc", "sparse", and "clang".

The tool "undertaker-tailor" calculates a kernel configuration based on a profile, which is traced with Linux ftrace mechanism. The resulting kernel exhibits a much smaller attack surface and results in a significant more secure kernel.

其他與 undertaker 有關的套件

  • 依賴
  • 推薦
  • 建議

下載 undertaker

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
i386 1,306.6 kB6651 kB [文件列表]