Frama-C Bug Tracking System - Frama-C
View Issue Details
0002393Frama-CDocumentation > manualspublic2018-08-09 10:342018-09-05 16:27
NewUser 
maroneze 
normalfeatureN/A
closedno change required 
Frama-C 17-Chlorine 
 
0002393: Frama-C GUI manual
Is there any detailed (stepwise) manual about GUI of Drama-C?
May be I'm missing some points but Could we edit/write new files within GUI interface? GUI seems to be not very user friendly...

No tags attached.
Issue History
2018-08-09 10:34NewUserNew Issue
2018-08-09 10:34NewUserStatusnew => assigned
2018-08-09 10:34NewUserAssigned To => maroneze
2018-08-09 11:04maronezeNote Added: 0006630
2018-08-09 11:10maronezeNote Added: 0006631
2018-08-09 11:17NewUserNote Added: 0006632
2018-09-05 16:27signolesStatusassigned => closed
2018-09-05 16:27signolesResolutionopen => no change required
2018-09-05 16:27signolesCategoryGraphical User Interface => Documentation > manuals

Notes
(0006630)
maroneze   
2018-08-09 11:04   
Besides Chapter 9 in the Frama-C user manual (which describes a few parts of the GUI), there is no specific guide for the GUI.

In a blog post about using the Eva plug-in (http://blog.frama-c.com/index.php?post/2017/03/07/A-simple-EVA-tutorial [^]), I mentioned that:

> You should consider Frama-C/Eva as a command-line tool with a viewer (the GUI). The Frama-C GUI is not an IDE (e.g. you cannot edit code with it), and Eva does not use the GUI for anything else other than rendering its results.

Other plug-ins (such as WP) use the GUI much more effectively, but editing the code is still not possible.

Third-party plug-ins have been developed to integrate Frama-C into other IDEs, such as Eclipse, but for the most part they are not open source.

A new GUI architecture is under development and editing code may be possible in the future, but in Frama-C 17 (Chlorine), the GUI does not allow editing the source code.
(0006631)
maroneze   
2018-08-09 11:10   
Also note that a general "GUI manual" does not necessarily make sense, since each plug-in extends the GUI in a different manner, and uses its features in a specific way. So, at best you will find a plug-in guide incorporating some description of the GUI features it adds/uses.

For instance, the Eva user manual (http://frama-c.com/download/value-analysis-Chlorine-20180501.pdf [^]) incorporates one chapter dedicated to its use of the GUI. The WP manual (http://frama-c.com/download/wp-manual-Chlorine-20180501.pdf [^]) also has a section on some of its GUI features.

The GUI is constantly evolving and some features are not detailed in the manuals, so if there is a specific task that you would like to accomplish (other than editing the code), there may be something available to help you.
(0006632)
NewUser   
2018-08-09 11:17   
Ok...That makes sense.
Thank you for all the references.