Docker image for Frama-C Static Analysis Tool
Primary LanguageDockerfileGNU General Public License v3.0GPL-3.0