---
Categories:
- Development
- ComputerScience
- IDE
- GTK
Description:
C: '<p>Frama-C is a framework dedicated to the analysis of the source code of software written in C.</p><p>Frama-C
gathers several static analysis techniques in a single collaborative framework. The collaborative
approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers
in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer
and dependency analysis.</p><p>It can be used to: * Validate the source code formally * Look for potential
runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal
documentation</p><p>This package provides the graphical user interface of Frama-c and depends on frama-c-base.</p>'
it: '<p>Frama-C è un''infrastruttura dedicata all''analisi del codice sorgente di software scritto in
C.</p><p>Frama-C riunisce svariate tecniche di analisi statica in un''unica infrastruttura collaborativa.
L''approccio collaborativo di Frama-C permette agli analizzatori statici di basarsi sui risultati
già calcolati da altri analizzatori nell''infrastruttura. Grazie a questo approccio, Frama-C fornisce
strumenti sofisticati, come uno slicer e l''analisi di dipendenza.</p><p>It can be used to: * Validate
the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer
it to understand its structure * Generate formal documentation</p><p>Questo pacchetto fornisce l''interfaccia
utente grafica di Frama-C e dipende da frama-c-base.</p>'
ru: '<p>Frama-C is a framework dedicated to the analysis of the source code of software written in C.</p><p>Frama-C
gathers several static analysis techniques in a single collaborative framework. The collaborative
approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers
in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer
and dependency analysis.</p><p>It can be used to: * Validate the source code formally * Look for potential
runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal
documentation</p><p>Этот пакет содержит графический пользовательский интерфейс Frama-c и зависит от
frama-c-base.</p>'
sl: '<p>Frama-C is a framework dedicated to the analysis of the source code of software written in C.</p><p>Frama-C
gathers several static analysis techniques in a single collaborative framework. The collaborative
approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers
in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer
and dependency analysis.</p><p>It can be used to: * Validate the source code formally * Look for potential
runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal
documentation</p><p>Ta paket vsebuje grafični uporabniški vmesnik Frama-c in je odvisen od frama-c-base.</p>'
ID: frama-c.desktop
Icon:
cached: frama-c_frama-c.png
Name:
C: Frama-C
Package: frama-c
Summary:
C: Framework for source code analysis of software written in C
Type: desktop-app
