GitHub repository: tantignac/frama-c-hello
Primary language: OCaml
Created: 2017-11-27T14:40:02Z
Description: Example plug-in for Frama-C, a platform for source code analysis