frama-c-gui -slevel 10 -val first.c
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
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