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

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?

Answer 1

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