mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-10 15:45:15 -04:00
18 lines
738 B
XML
18 lines
738 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<maintainer type="person">
|
|
<name>François-Xavier Carton</name>
|
|
<email>fx.carton91@gmail.com</email>
|
|
</maintainer>
|
|
<longdescription lang="en">
|
|
Frama-C is a suite of tools dedicated to the analysis of the source code
|
|
of software written in C. It 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.
|
|
</longdescription>
|
|
</pkgmetadata>
|