---
Type: desktop-application
ID: frama-c.desktop
Package: frama-c
Name:
C: Frama-C
Summary:
C: Framework for source code analysis of software written in C
Description:
de: >-
<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>
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>
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>
en: >-
<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>
en_CA: >-
<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>
gl: >-
<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>
es: >-
<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>
fr: >-
<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>
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>
en_GB: >-
<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>
en_AU: >-
<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>
Categories:
- Development
- ComputerScience
- IDE
Icon:
cached:
- name: frama-c_frama-c.png
width: 64
height: 64
- name: frama-c_frama-c.png
width: 128
height: 128
