Frama-C Static Analysis Framework
Frama-C is an open-source platform dedicated to the static analysis of source code written in the C programming language. The Frama-C platform gathers several static analysis techniques into a single collaborative framework.
Source Files 
| Filename | Size | Changed | Actions |
|---|---|---|---|
| acsl.el | 000000006666 Bytes | 1354267922over 5 years ago | 
|
| frama-c-Sulfur-20171101.tar.gz | 00069759516.65 MB | 15159519273 months ago | |
| frama-c.changes | 00000030843.01 KB | 15159519283 months ago |
|
| frama-c.spec | 00000054215.29 KB | 15159519283 months ago |
|
| rpmlintrc | 000000004545 Bytes | 1352488643over 5 years ago |
|