Frama-C evaluation
Merge pull request #252 from vprevosto/master

Frama-C evaluation