--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on November 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Impact analysis: option/pragma and sub-code



Hello,

Two points about the Impact Analysis, used in batch mode on the current 
cvs release of Frama-C:

1?) Command line option

It seems that

-impact-pragma f1,...,fn : ...
       ...
       //@slice pragma stmt; : impact of the next statement

should be replaced by:

-impact-pragma f1,...,fn : ...
       ...
       //@impact pragma stmt; : impact of the next statement
as slice pragma does not seem to be recognized by the analyzer.

Is it right?


2?) Sid vs compilable code

Current release of Impact Analysis provides us with "impacted" Statement 
Ids as standard output.
Is it possible to get a compilable code instead (in batch mode)? Or 
maybe is it in your future objectives?


Many thanks in advance for your answers.

Best regards,
Dillon Pariente