--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on March 2010 ---
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.