--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on March 2010 ---
> but i can't seem to analyze and source, from frama-c gui, new project > add > source > *.c > close. nothing happen, I don't see and source listed on > frama-c on the upper left corner frame. Did you see the web page http://frama-c.com/try_out.html ? This page uses command-line options to create the project and launch the value analysis to that you don't have to do it through the GUI. You can do either of these through the GUI too, of course. > sonar for java code analysis, i can get it up and running in few minutes; i > hope future releases of frama-c would be easier to install and use. These are very different tools. If what you are looking for is the equivalent of an existing tool that you already use and are familiar with, you can only be disappointed because Frama-C has different constraints. And I am not talking only about the GUI limitations, which come from the fact that we cannot justify more resources for that aspect. I am talking about what you can do with Frama-C once you get past the GUI, which is more sophisticated than any other available tool you may have tried, and proportionally complex. > bash-3.2# ./frama-c-gui > (frama-c-gui:665): Gtk-WARNING **: Unable to find default local directory > monitor type > (frama-c-gui:665): Gtk-WARNING **: Could not find the icon > 'application-octet-stream'. The 'hicolor' theme > was not found either, perhaps you need to install it. > (frama-c-gui:665): Gtk-WARNING **: Unable to find default local directory > monitor type A lot of file are not found in the location where there are looked for. Did you untar the archive in / ? This is listed as one requirement on http://frama-c.com/OSX_beryllium.html Pascal