--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on October 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Unable to work with large projects



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