Package: undertaker (1.6.1-4.2 and others)
Links for undertaker
Debian Resources:
Download Source Package undertaker:
Maintainers:
External Resources:
- Homepage [vamos.informatik.uni-erlangen.de]
Similar packages:
Værktøj for variabilitet til statisk kodeanalyse
Undertaker er en værktøjspakke for statisk kildekodeanalyse til kontrol af C-forbrænder direktiver. Også inkluderet er golem, vampyr og undertaker-tailor.
Pakken kan kontrollere deres struktur mod forskellige konfigurationsmodeller for at finde »døde« blokke, som aldrig kan vælges og »udøde« blokke som aldrig kan fravælges.
Det inkluderede værktøj golem er i stand til at udlede variabilitetsbegrænsninger fra Kbuild-lignende byggesystemer, som dem der findes i Linux, busybox og coreboot. Dens resultater forbedrer i høj grad den model som undertaker anvender til analyse.
Værktøjet vampyr er en betinget-kompilering driver. Den bruger værktøjet undertaker til at beregne et sæt af konfigurationer og kalder en motorskanner på hver af dem. Understøttede skannere inkluderer: gcc, sparse og clang.
Værktøjet undertaker-tailor beregner en kernekonfiguration baseret på en profil, som registreres med Linux ftrace-mekanismen. Den medfølgende kerne udviser en meget mindre angrebsflade og resulterer i en signifikant mere sikker kerne.
Other Packages Related to undertaker
|
|
|
|
-
- dep: git
- Hurtigt, skalerbart, distribueret revisionskontrolsystem
-
- dep: libboost-filesystem1.67.0
- filsystemhandlinger (flytbare stier, iteration over mappere etc.) i C++
-
- dep: libboost-regex1.67.0 (>= 1.67.0-10)
- Regulært udtryksbibliotek for C++
-
- dep: libboost-system1.67.0
- bibliotek til operativsystem (eksempelvis diagnostisk understøttelse)
-
- dep: libboost-thread1.67.0
- flytbar C++-flertrådning
-
- dep: libboost-wave1.67.0
- C99/C++-præbehandlingsbibliotek
-
- dep: libc6 (>= 2.27)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:4.2)
- GCC støttebibliotek
-
- dep: libstdc++6 (>= 7)
- GNU Standard C++ bibliotek v3
-
- dep: python
- Interaktivt objektorienteret sprog på højt niveau - Python 2-version
- dep: python (<< 2.8)
- dep: python (>= 2.7)
-
- dep: python-whatthepatch
- Library for parsing patch files (Python 2)
Download undertaker
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
i386 | 1.6.1-4.2+b1 | 1,285.6 kB | 6,544.0 kB | [list of files] |