Menu Value Analysis

The “first.c” analysis project

frama-c-gui -slevel 10 -val first.c
Click to view full screenshot

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.