معرفی شرکت ها
undertaker_1.6.1-4.2+b1_armhf.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
variability-aware tool for static code analysis
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main armhf |
| نام بسته | undertaker |
| نام فایل بسته | undertaker_1.6.1-4.2+b1_armhf.deb |
| نسخه بسته | 1.6.1 |
| انتشار بسته | 4.2+b1 |
| معماری بسته | armhf |
| نگهدارنده | Christoph Egger <christoph@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://vamos.informatik.uni-erlangen.de/trac/undertaker |
| مجوز | - |
| حجم دانلود | 947932 |
| حجم نصب | 3842 |
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_1.6.1-4.2+b1_amd64.deb | 1.6.1 | amd64 | Debian main |
| undertaker_1.6.1-4.2+b1_arm64.deb | 1.6.1 | arm64 | Debian main |
| undertaker_1.6.1-4.2+b1_armel.deb | 1.6.1 | armel | Debian main |
| undertaker_1.6.1-4.2+b1_i386.deb | 1.6.1 | i386 | Debian main |
| undertaker_1.6.1-4.2+b1_mips.deb | 1.6.1 | mips | Debian main |
| undertaker_1.6.1-4.2+b1_mips64el.deb | 1.6.1 | mips64el | Debian main |
| undertaker_1.6.1-4.2+b1_mipsel.deb | 1.6.1 | mipsel | Debian main |
| undertaker_1.6.1-4.2+b1_ppc64el.deb | 1.6.1 | ppc64el | Debian main |
| undertaker_1.6.1-4.2+b1_s390x.deb | 1.6.1 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | git |
| << 2.8 | python |
| >= 2.7 | python |
| >= 2.6.6-7~ | python:any |
| - | python-whatthepatch |
| - | libboost-filesystem1.67.0 |
| >= 1.67.0-10 | libboost-regex1.67.0 |
| - | libboost-system1.67.0 |
| - | libboost-thread1.67.0 |
| - | libboost-wave1.67.0 |
| >= 2.27 | libc6 |
| >= 1:3.5 | libgcc1 |
| >= 7 | libstdc++6 |
نحوه نصب
نصب پکیج deb undertaker:
sudo apt-get install undertaker_1.6.1-4.2+b1_armhf.deb
فایل ها
| مسیرها |
|---|
| ./etc/undertaker/blacklist.i686 |
| ./etc/undertaker/blacklist.x86_64 |
| ./etc/undertaker/undertaker.ignore |
| ./etc/undertaker/whitelist.i686 |
| ./etc/undertaker/whitelist.x86_64 |
| ./usr/bin/busyfix |
| ./usr/bin/fakecc |
| ./usr/bin/golem |
| ./usr/bin/predator |
| ./usr/bin/rsf2cnf |
| ./usr/bin/rsf2model |
| ./usr/bin/satyr |
| ./usr/bin/undertaker |
| ./usr/bin/undertaker-busybox-tree |
| ./usr/bin/undertaker-calc-coverage |
| ./usr/bin/undertaker-checkpatch |
| ./usr/bin/undertaker-coreboot-tree |
| ./usr/bin/undertaker-kconfigdump |
| ./usr/bin/undertaker-kconfigpp |
| ./usr/bin/undertaker-linux-tree |
| ./usr/bin/undertaker-scan-head |
| ./usr/bin/undertaker-tailor |
| ./usr/bin/undertaker-tracecontrol |
| ./usr/bin/undertaker-tracecontrol-prepare-debian |
| ./usr/bin/undertaker-tracecontrol-prepare-ubuntu |
| ./usr/bin/vampyr |
| ./usr/bin/vampyr-spatch-wrapper |
| ./usr/bin/zizler |
| ./usr/lib/Makefile.list |
| ./usr/lib/Makefile.list_fiasco |
| ./usr/lib/Makefile.list_recursion |
| ./usr/lib/Makefile.version |
| ./usr/lib/python2.7/dist-packages/vamos/Config.py |
| ./usr/lib/python2.7/dist-packages/vamos/Config_test.py |
| ./usr/lib/python2.7/dist-packages/vamos/Model_test.py |
| ./usr/lib/python2.7/dist-packages/vamos/Selection_test.py |
| ./usr/lib/python2.7/dist-packages/vamos/Ziz_test.py |
| ./usr/lib/python2.7/dist-packages/vamos/__init__.py |
| ./usr/lib/python2.7/dist-packages/vamos/block.py |
| ./usr/lib/python2.7/dist-packages/vamos/busyfix/__init__.py |
| ./usr/lib/python2.7/dist-packages/vamos/busyfix/basic_test.py |
| ./usr/lib/python2.7/dist-packages/vamos/busyfix/normalizer.py |
| ./usr/lib/python2.7/dist-packages/vamos/defect_analysis.py |
| ./usr/lib/python2.7/dist-packages/vamos/golem/FileSet.py |
| ./usr/lib/python2.7/dist-packages/vamos/golem/Kbuild_test.py |
| ./usr/lib/python2.7/dist-packages/vamos/golem/__init__.py |
| ./usr/lib/python2.7/dist-packages/vamos/golem/inference.py |
| ./usr/lib/python2.7/dist-packages/vamos/golem/inference_atoms.py |
| ./usr/lib/python2.7/dist-packages/vamos/golem/kbuild.py |
| ./usr/lib/python2.7/dist-packages/vamos/model.py |
| ... and 36 more |