Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002393Frama-CDocumentation > manualspublic2018-08-09 10:342018-09-05 16:27
Assigned Tomaroneze 
StatusclosedResolutionno change required 
PlatformOSOS Version
Product VersionFrama-C 17-Chlorine 
Target VersionFixed in Version 
Summary0002393: Frama-C GUI manual
DescriptionIs 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...
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
maroneze (administrator)
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 (, 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.
maroneze (administrator)
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 ( incorporates one chapter dedicated to its use of the GUI. The WP manual ( 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.
NewUser (reporter)
2018-08-09 11:17

Ok...That makes sense. Thank you for all the references.

- Issue History
Date Modified Username Field Change
2018-08-09 10:34 NewUser New Issue
2018-08-09 10:34 NewUser Status new => assigned
2018-08-09 10:34 NewUser Assigned To => maroneze
2018-08-09 11:04 maroneze Note Added: 0006630
2018-08-09 11:10 maroneze Note Added: 0006631
2018-08-09 11:17 NewUser Note Added: 0006632
2018-09-05 16:27 signoles Status assigned => closed
2018-09-05 16:27 signoles Resolution open => no change required
2018-09-05 16:27 signoles Category Graphical User Interface => Documentation > manuals

Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker