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 | ![]() |