Information for RPM frama-c-1.10-24.fc22.src.rpm
| ID | 6490306 | ||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | frama-c | ||||||||||||||||||||||||||||||||||||||||
| Version | 1.10 | ||||||||||||||||||||||||||||||||||||||||
| Release | 24.fc22 | ||||||||||||||||||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||||||||||||||||||
| Arch | src | ||||||||||||||||||||||||||||||||||||||||
| Summary | Framework for source code analysis of C software | ||||||||||||||||||||||||||||||||||||||||
| Description | Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. 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. | ||||||||||||||||||||||||||||||||||||||||
| Build Time | 2015-06-22 22:10:07 GMT | ||||||||||||||||||||||||||||||||||||||||
| Size | 13707396 | ||||||||||||||||||||||||||||||||||||||||
| d564ae6b7667ea0a67b8a1971e3cd543 | |||||||||||||||||||||||||||||||||||||||||
| License | LGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions) | ||||||||||||||||||||||||||||||||||||||||
| Buildroot | f22-build-3565014-495154 | ||||||||||||||||||||||||||||||||||||||||
| Provides | No Provides | ||||||||||||||||||||||||||||||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||||||||
| Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||||||||
| Requires |
|
||||||||||||||||||||||||||||||||||||||||
| Recommends | No Recommends | ||||||||||||||||||||||||||||||||||||||||
| Suggests | No Suggests | ||||||||||||||||||||||||||||||||||||||||
| Supplements | No Supplements | ||||||||||||||||||||||||||||||||||||||||
| Enhances | No Enhances | ||||||||||||||||||||||||||||||||||||||||
| Files |
|
||||||||||||||||||||||||||||||||||||||||
| Component of | No Buildroots | ||||||||||||||||||||||||||||||||||||||||
