When invoked with the above command-line, Frama-C creates an
analysis project for the file first.c.
The -val option on the command-line causes the value
analysis plug-in to run and have its results ready before the
interface appears.
The -slevel option is one of several options that
influence the precision of the value analysis. The actions of
creating new analysis projects and activating plug-ins can also be
done interactively.
When invoked with the above command-line, Frama-C creates an analysis project for the file first.c.
The -val option on the command-line causes the value analysis plug-in to run and have its results ready before the interface appears.
The -slevel option is one of several options that influence the precision of the value analysis. The actions of creating new analysis projects and activating plug-ins can also be done interactively.