Frama-C is an open-source extensible platform for source-code analysis of C software that uses...