Frama-C is an open-source extensible platform for source-code analysis of C software that uses...
Tokens:625
Snippets:13
Trust Score:9.6
Update:5 months ago
Tokens:
Frama-C is an open-source extensible platform for source-code analysis of C software that uses...