Chapter 6 of the user manual, which discusses global analysis options, answers your question. Unsurprisingly, the relevant option is called -main
...
Can we run value analysis in Frama-C on a C file that does not have the main function?
-
03-06-2022 - |
Question
When running Frama-C on a C file without the main function, I got errors. Is there any option to run Frama-C value analysis on such C files?
La solution
Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow