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