mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-04-07 03:10:15 -04:00
15 lines
645 B
XML
15 lines
645 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<!-- maintainer-needed -->
|
|
<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>
|