パッケージ: undertaker (1.6.1-4.2 など)
undertaker に関するリンク
Debian の資源:
undertaker ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [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 関連パッケージ
|
|
|
|
-
- dep: git
- 速く、スケーラブルな分散型リビジョン管理システム
-
- dep: libboost-filesystem1.67.0
- C++ でのファイルシステム操作 (ポータブルなパス、ディレクトリの列挙など)
-
- dep: libboost-regex1.67.0 (>= 1.67.0-10)
- regular expression library for C++
-
- dep: libboost-system1.67.0
- Operating system (e.g. diagnostics support) library
-
- dep: libboost-thread1.67.0
- portable C++ multi-threading
-
- dep: libboost-wave1.67.0
- C99/C++ preprocessor library
-
- dep: libc6 (>= 2.27)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgcc1 (>= 1:4.2)
- GCC 共有ライブラリ
-
- dep: libstdc++6 (>= 7)
- GNU 標準 C++ ライブラリ v3
-
- dep: python
- 対話式の高レベルオブジェクト指向言語 (Python2 バージョン)
- dep: python (<< 2.8)
- dep: python (>= 2.7)
-
- dep: python-whatthepatch
- Library for parsing patch files (Python 2)