LogoopenSUSE Build Service > Projects
Sign Up | Log In

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 (show merged sources derived from linked package)

Filename Size Changed Actions
acsl.el 66 Bytes almost 6 years ago Download File
frama-c-Sulfur-20171101.tar.gz 6.65 MB 10 months ago
frama-c.changes 3.01 KB 10 months ago Download File
frama-c.spec 5.39 KB 6 months ago Download File
rpmlintrc 45 Bytes about 6 years ago Download File

Comments for home:lorenz:formal (0)

Login required, please login or signup in order to comment