Frama-C - Framework for Modular Analysis of C programsWhen invoked with the command-line: frama-c -eva -eva-precision 1 first.c Frama-C creates an analysis project for the file first.c. The -eva option on the command-line causes the Eva plug-in to run and have its results ready before the interface appears. The -eva-precision option is one of several options that influence the precision of the Eva plug-in. The actions of creating new analysis project
