--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on March 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] question about slicer



Damien Karkinsky wrote :
> Hello,
 > I have a problem running the slicing tool.

Hello,

Does the application that you analyse have an entry point (a 'main' function) ?
Does the fonctions that are sliced away are called though a path
from the entry point ?

It might be the case that the functions are seen as dead code...

Hope this help.
-- 
Anne.