3 ms·

Also Frama-C/Eva: https://www.frama-c.com/fc-plugins/eva.html https://www.frama-c.com/fc-plugins/eva.html

• mdaniel 4y ago
  It took some eagle eye to spot the link, but they have the source in a self-hosted copy of gitlab: https://git.frama-c.com/pub/frama-c https://git.frama-c.com/pub/frama-c and a sibling repo is also interesting where they seem to apply analysis to some open source code as an example: https://git.frama-c.com/pub/open-source-case-studies https://git.frama-c.com/pub/open-source-case-studies