--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on November 2008 ---
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