The plug-in can be used both with the graphical user interface and in batch mode. In batch mode, you must put pragmas on the statements you want to analyze:
/*@ impact pragma stmt; */
Then, the following command line computes the impact from the pragma statements in the code of functions
frama-c -impact-pragma f1,...,fn file1.c file2.c
To print the list of impacted statements on the standard output:
frama-c -impact-print file1.c file2.c
This plug-in depends on results of the Eva plug-in.