Can we run value analysis in Frama-C on a C file that does not have the main function?

StackOverflow https://stackoverflow.com/questions/17734333

  •  03-06-2022
  •  | 
  •  

문제

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?

도움이 되었습니까?

해결책

Chapter 6 of the user manual, which discusses global analysis options, answers your question. Unsurprisingly, the relevant option is called -main...

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top