--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Dead code that shouldn't be



I'm trying to analyze nullhttpd 0.5.0 (it's quite old, can get it here:
http://ftp.heanet.ie/disk1/sourceforge/n/nu/nullhttpd/nullhttpd-0.5.0.tar.gz) with frama-c. When I'm runnning the value dependencies plugin, almost all the source code is marked as dead code. Of course that is really not the case, so I guess I'm doing something wrong.

I must be missing something, but don't know exactly what, for now I'm
using frama-c like this:
cd ./nullhttpd-0.5.0/src
frama-c-gui -val *.c