всички настройки
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Източник: frama-c  ]

Пакет: frama-c-base (20220511-manganese-5 и други)

Връзки за frama-c-base

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник frama-c.

Отговорници:

Външни препратки:

Подобни пакети:

Platform dedicated to the analysis of source code written in C

Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework.

Thanks to this approach, Frama-C provides sophisticated tools, including: 

  * an analyzer based on abstract interpretation (Value plug-in);
  * a program proof framework based on weakest precondition calculus
    (WP plug-in);
  * a program slicer (Slicing plug-in);
  * a tool for verification of temporal (LTL) properties (Aoraï plug-in);
  * several tools for code base exploration and dependency analysis
    (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.).

These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties.

This package provides the library of Frama-c which is useful to build plugins for Frama-c, the command-line tools, and the graphical interface.

Етикети: 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

Други пакети, свързани с frama-c-base

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на frama-c-base

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 20220511-manganese-5+b5 32 829,7 кБ158 358,0 кБ [списък на файловете]
amd64 20220511-manganese-5+b7 53 493,0 кБ252 663,0 кБ [списък на файловете]
arm64 20220511-manganese-5+b7 55 948,2 кБ267 440,0 кБ [списък на файловете]
armel 20220511-manganese-5+b6 32 742,9 кБ157 438,0 кБ [списък на файловете]
armhf 20220511-manganese-5+b7 52 600,8 кБ220 361,0 кБ [списък на файловете]
hppa (неофициална архитектура) 20220511-manganese-5+b6 32 827,2 кБ157 825,0 кБ [списък на файловете]
i386 20220511-manganese-5+b7 51 533,5 кБ226 541,0 кБ [списък на файловете]
ia64 (неофициална архитектура) 20220511-manganese-5+b5 34 357,1 кБ159 731,0 кБ [списък на файловете]
m68k (неофициална архитектура) 20220511-manganese-5+b4 32 766,6 кБ157 370,0 кБ [списък на файловете]
mips64el 20220511-manganese-5+b6 32 802,8 кБ158 474,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 20220511-manganese-5 53 464,2 кБ274 344,0 кБ [списък на файловете]
ppc64el 20220511-manganese-5+b7 54 907,8 кБ270 618,0 кБ [списък на файловете]
riscv64 20220511-manganese-5+b8 57 954,6 кБ318 713,0 кБ [списък на файловете]
s390x 20220511-manganese-5+b7 53 254,5 кБ255 353,0 кБ [списък на файловете]
sh4 (неофициална архитектура) 20111001+nitrogen+dfsg-4 18 582,9 кБ52 720,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 20220511-manganese-5+b6 32 789,1 кБ159 773,0 кБ [списък на файловете]
x32 (неофициална архитектура) 20220511-manganese-5+b6 32 813,1 кБ157 635,0 кБ [списък на файловете]