Frama-C Bug Tracking System - Frama-C
View Issue Details
0000510Frama-CPlug-in > jessiepublic2010-06-14 15:572014-02-12 16:55
adytzul_ac 
signoles 
normalmajoralways
closedfixed 
Frama-C Boron-20100401 
Frama-C Carbon-20101201-beta1 
0000510: Jessie generates error when called to be executed.
Test 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
No tags attached.
jpg error3.JPG (139,548) 2010-06-14 15:57
https://bts.frama-c.com/file_download.php?file_id=93&type=bug
jpg

? frama_c_journal.ml (2,543) 2010-06-14 15:57
https://bts.frama-c.com/file_download.php?file_id=94&type=bug
c main.c (239) 2010-06-14 15:58
https://bts.frama-c.com/file_download.php?file_id=95&type=bug
Issue History
2010-06-14 15:57adytzul_acNew Issue
2010-06-14 15:57adytzul_acStatusnew => assigned
2010-06-14 15:57adytzul_acAssigned To => cmarche
2010-06-14 15:57adytzul_acFile Added: error3.JPG
2010-06-14 15:57adytzul_acFile Added: frama_c_journal.ml
2010-06-14 15:58adytzul_acFile Added: main.c
2010-06-14 16:48signolesNote Added: 0000936
2010-06-14 16:48signolesAssigned Tocmarche =>
2010-06-14 16:48signolesStatusassigned => confirmed
2010-06-15 10:15signolesAssigned To => signoles
2010-06-15 10:15signolesStatusconfirmed => assigned
2010-06-15 10:16signolesStatusassigned => confirmed
2010-06-15 10:17svnCheckin
2010-06-25 10:55signolesStatusconfirmed => resolved
2010-06-25 10:55signolesResolutionopen => fixed
2010-06-25 10:56signolesNote Added: 0000946
2010-06-25 10:57signolesNote Added: 0000947
2010-12-10 15:47signolesFixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:35signolesStatusresolved => closed

Notes
(0000936)
signoles   
2010-06-14 16:48   
Error in the GUI launcher whenever there is an hook on a option which modifies another option.
(0000946)
signoles   
2010-06-25 10:56   
The remaining bug was resolved in another context few days ago.
(0000947)
signoles   
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.