--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on December 2008 ---
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