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
ReporterNewUser 
Assigned Tomaroneze 
PrioritynormalSeverityfeatureReproducibilityN/A
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
(0006630)
maroneze (developer)
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 (developer)
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 (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 - 2018 MantisBT Team
Powered by Mantis Bugtracker