[Predef-contribute] Adding Frama-C to the compilers list
Brought to you by:
breese,
tahonermann
|
From: Basile D. <bas...@gm...> - 2020-10-26 09:41:19
|
Hello, Would-it be possible to add Frama-C to the list of compilers? It's an open-source static analysis tool that is not as popular as Coverity, but performs a similar task. It can be identified with the "__FRAMAC__" macro and its website is http://frama-c.com/ Best regards, Basile Desloges |