--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on October 2009 ---
Hello, I'm trying to use Frama-C on a large software project, but I'm not having much luck. The problem seems to be twofold: (1) it's a large project with lots of directories and (2) it is a library. Regarding (2), it's possible to work around this issue by using the -lib-entry flag. But the ideal solution would to set the main() function of an application that uses that library and Frama-C to process the library as well... is this possible? But as for (1), Frama-C seems to work with files, not being able to process directories recursively... and these are way too many URIs (path + filename) to pass in the command line. Is there any way to solve this? For example purposes, you can check this library: http://sourceforge.net/projects/openil/files/DevIL/1.7.8/DevIL-1.7.8.tar.gz/download Thank you for any help. Best regards, Alexandre PS: please add me as CC in your reply