Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000510Frama-CPlug-in > jessiepublic2010-06-14 15:572014-02-12 16:55
Reporteradytzul_ac 
Assigned Tosignoles 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000510: Jessie generates error when called to be executed.
DescriptionTest steps:
1. new project (see main.c from attachement)
2. Configure and Run Analysis menu: setting Jessie and Value Analysis both ON
3. Execute analysis

Results:
-see also JPEG from attachement
-see frama_c_journal.ml from attachement
The full backtrace is:
Raised at file "src/kernel/log.ml", line 506, characters 30-31
Called from file "src/kernel/log.ml", line 500, characters 2-9
Re-raised at file "src/kernel/log.ml", line 503, characters 8-9
Called from file "src/kernel/journal.ml", line 323, characters 15-26
Re-raised at file "src/kernel/journal.ml", line 338, characters 14-15
Called from file "src/lib/type.ml", line 746, characters 40-45
Called from file "queue.ml", line 134, characters 6-20
Called from file "src/kernel/boot.ml", line 50, characters 4-20
Called from file "src/gui/launcher.ml", line 38, characters 7-23
Called from file "src/lib/extlib.ml", line 176, characters 12-15
Re-raised at file "src/lib/extlib.ml", line 181, characters 10-11
Called from file "src/gui/gtk_helper.ml", line 533, characters 8-385

Plug-in jessie aborted because of an internal error.
Look at the console for additional information (if any).
Please report as 'crash' at http://bts.frama-c.com [^]
TagsNo tags attached.
Attached Filesjpg file icon error3.JPG [^] (139,548 bytes) 2010-06-14 15:57


? file icon frama_c_journal.ml [^] (2,543 bytes) 2010-06-14 15:57 [Show Content]
c file icon main.c [^] (239 bytes) 2010-06-14 15:58 [Show Content]

- Relationships

-  Notes
(0000936)
signoles (manager)
2010-06-14 16:48

Error in the GUI launcher whenever there is an hook on a option which modifies another option.
(0000946)
signoles (manager)
2010-06-25 10:56

The remaining bug was resolved in another context few days ago.
(0000947)
signoles (manager)
2010-06-25 10:57

In any way, the Jessie plug-in has its own GUI. Thus it is better to not use the Frama-C GUI to run Jessie. Use the batch mode instead.

- Issue History
Date Modified Username Field Change
2010-06-14 15:57 adytzul_ac New Issue
2010-06-14 15:57 adytzul_ac Status new => assigned
2010-06-14 15:57 adytzul_ac Assigned To => cmarche
2010-06-14 15:57 adytzul_ac File Added: error3.JPG
2010-06-14 15:57 adytzul_ac File Added: frama_c_journal.ml
2010-06-14 15:58 adytzul_ac File Added: main.c
2010-06-14 16:48 signoles Note Added: 0000936
2010-06-14 16:48 signoles Assigned To cmarche =>
2010-06-14 16:48 signoles Status assigned => confirmed
2010-06-15 10:15 signoles Assigned To => signoles
2010-06-15 10:15 signoles Status confirmed => assigned
2010-06-15 10:16 signoles Status assigned => confirmed
2010-06-15 10:17 svn Checkin
2010-06-25 10:55 signoles Status confirmed => resolved
2010-06-25 10:55 signoles Resolution open => fixed
2010-06-25 10:56 signoles Note Added: 0000946
2010-06-25 10:57 signoles Note Added: 0000947
2010-12-10 15:47 signoles Fixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:35 signoles Status resolved => closed


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker