all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: frama-c  ]

Package: frama-c-base (20201209+titanium-4.1)

Links for frama-c-base

Screenshot

Debian Resources:

Download Source Package frama-c:

Maintainers:

External Resources:

Similar packages:

Platform dedikeret til analyse af kildekode skrevet i C

Frama-C samler flere statiske analyseteknikker i en enkel samarbejdende ramme, baseret på analyseprogrammer (kaldt for »udvidelsesmoduler«) som kan bygge oven på resultaterne allerede beregnet af andre analyseprogrammer i rammen.

Takket være denne fremgangsmåde tilbyder Frama-C sofistikerede værktøjer, inklusive:

 * et analyseprogram baseret på abstrakt fortolkning (Value-
   udvidelsesmodul)
 * bevisramme for et program baseret på den svageste præbetingede
   calculus (WP-udvidelsesmodul)
 * en programskyder (Slicing-udvidelsesmodul)
 * et værktøj til verifikation af midlertidige egenskaber (LTL) (Aoraï-
   udvidelsesmodul)
 * flere værktøjer for udforskning af kodebasen og afhængighedsanalyse
   (udvidelsesmodulerne From, Impact, Metrics, Occurrence, Scope,
    etc.).

Disse udvidelsesmoduler kommunikerer mellem hinanden via Frama-C API'en og via ACSL-egenskaber (ANSI/ISO C-specifikationssproget).

Denne pakke tilbyder biblioteket for Frama-C, som er nyttigt til at bygge udvidelsesmoduler for Frama-C, kommandolinjeværktøjerne og den grafiske brugerflade.

Tags: Software Development: Testing and QA, User Interface: Graphical User Interface, X Window System, Role: role::program, uitoolkit::gtk, Interface Toolkit: Ncurses TUI, X Window System: Application

Other Packages Related to frama-c-base

  • depends
  • recommends
  • suggests
  • enhances

Download frama-c-base

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 59,213.5 kB281,644.0 kB [list of files]
arm64 62,393.3 kB296,893.0 kB [list of files]
armel 37,921.7 kB185,309.0 kB [list of files]
armhf 58,703.4 kB250,087.0 kB [list of files]
i386 57,578.2 kB257,830.0 kB [list of files]
mips64el 37,898.9 kB186,351.0 kB [list of files]
mipsel 37,908.5 kB185,967.0 kB [list of files]
ppc64el 61,275.9 kB299,417.0 kB [list of files]
s390x 59,534.3 kB289,798.0 kB [list of files]