软件包: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
- filesystem operations (portable paths, iteration over directories, etc) in 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:3.5) [armhf]
- GCC 支持库
- dep: libgcc1 (>= 1:4.2) [除 armhf]
-
- dep: libstdc++6 (>= 7)
- GNU 标准 C++ 库,第3版
-
- dep: python
- 交互式高级面向对象语言(Python2 版本)
- dep: python (<< 2.8)
- dep: python (>= 2.7)
-
- dep: python-whatthepatch
- Library for parsing patch files (Python 2)