معرفی شرکت ها
undertaker_1.6.1-4.1build3_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
variability-aware tool for static code analysis
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe i386 |
| نام بسته | undertaker |
| نام فایل بسته | undertaker_1.6.1-4.1build3_i386.deb |
| نسخه بسته | 1.6.1 |
| انتشار بسته | 4.1build3 |
| معماری بسته | i386 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://vamos.informatik.uni-erlangen.de/trac/undertaker |
| مجوز | - |
| حجم دانلود | 1337960 |
| حجم نصب | 6651 |
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.1build3_amd64.deb | 1.6.1 | amd64 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| - | git |
| << 2.8 | python |
| >= 2.7 | python |
| >= 2.6.6-7~ | python:any |
| - | libboost-filesystem1.65.1 |
| - | libboost-regex1.65.1 |
| - | libboost-system1.65.1 |
| - | libboost-thread1.65.1 |
| - | libboost-wave1.65.1 |
| >= 2.7 | libc6 |
| >= 1:4.2 | libgcc1 |
| >= 7 | libstdc++6 |
نحوه نصب
نصب پکیج deb undertaker:
sudo apt-get install undertaker_1.6.1-4.1build3_i386.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 35 more |