--- layout: fc_discuss_archives title: Message 10 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



Pascal Cuoq wrote :
> One possibility, which is only a special case of the situation Anne
> described, is that Frama-C thinks that a run-time error is certainly
> happening. 

To find this kind of problem, I suggest that you try run Frama-C with its GUI,
and to analyze your application with the value analysis (option -val).
Dead code should be highlighted in red.
This code is ignored by the slicing tool.

Maybe it can help to understand the problem ?

-- 
Anne.