0000508: An erorr appears when executing right-click on the source-file name(left side of the screen).

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000508

Frama-C

Graphical User Interface

public

2010-06-14 08:17

2011-01-28 12:22

Reporter

adytzul_ac

Assigned To

signoles

Priority

normal

Severity

minor

Reproducibility

random

Status

closed

Resolution

unable to reproduce

Product Version

Frama-C Boron-20100401

Target Version

Fixed in Version

Summary

0000508: An erorr appears when executing right-click on the source-file name(left side of the screen).

Description

The full backtrace is:
Raised at file "src/pdg_types/pdgTypes.ml", line 548, characters 22-25
Called from file "src/pdg_types/pdgTypes.ml", line 554, characters 32-48
Called from file "src/security_slicing/components.ml", line 393, characters 2-80
Called from file "list.ml", line 74, characters 24-34
Called from file "list.ml", line 74, characters 24-34
Called from file "src/security_slicing/components.ml", line 601, characters 22-53
Called from file "src/security_slicing/components.ml", line 676, characters 14-69
Called from file "src/lib/type.ml", line 746, characters 40-45
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/impact/register_gui.ml", line 117, characters 15-37
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

Unexpected error (PdgTypes.Pdg.Top).
Please report as 'crash' at http://bts.frama-c.com

Tags

No tags attached.

Attached Files

main.c (199 bytes) 2010-06-14 09:34

int i, t[10];

int main(void)
{
	unsigned int j;
	j=suma(1,2);
	for(i=0;i<20;i++)
		t[i]=i+1;
	return 0;
}

int suma(int i, int j)
{
	return i+j;
}

void f(void)
{
	return 1;
}

main.c (199 bytes) 2010-06-14 09:34

error 2.JPG (185,651 bytes) 2010-06-14 11:10

error 2.JPG (185,651 bytes) 2010-06-14 11:10

Relationships

related to

0000517

closed

monate

Exception raised if dot not found

Relationships

Notes
~0000930 signoles (manager) 2010-06-14 08:59	Please could you provide an easy way (C files, command line, etc) to reproduce your issue?

~0000931 signoles (manager) 2010-06-14 10:04	Thanks for the attached file. However I'm still unable to reproduce your issue. If I run "frama-c-gui main.c", then I right-click on "main.c" in the filetree, that's only printed the code without error. By the way, right clicking on the source-file name never computes the PDG nor the security slicing as the backtrace shows. So what actions do you exactly do? Could you also provide the generated file frama_c_journal.ml?

~0000932 adytzul_ac (reporter) 2010-06-14 10:58	frama_c_journal.ml has 0 bytes (it's empty).

~0000933 signoles (manager) 2010-06-14 11:00	OK. But: 1) What is your command line? 2) What actions do your perform step by step in the GUI?

~0000934 adytzul_ac (reporter) 2010-06-14 11:09	These are my first days using this tool so I did not give to much attention to the command line window. It would have been a good idea to make a screen capture of this window. Before the error appeared, I was performing a Value Analisys and browsing the messages that resulted from this analysis. At a moment, I performed a right click inside the file view area and the error appeared. Now, after the following steps, a similar error appeared: - performing Value Analysis - selecting Impact Analysis Output: see JPEG from the attachement

~0000935 signoles (manager) 2010-06-14 13:42	I perform an impact analysis on each statement of your program, after performing value analysis generating the very same alarms that the ones you have. I'm still unable to reproduce your issue. Thanks to the initial provided backtrace, I could strengthen the code raising the exception but being able to reproduce the error would be very helpful: writing code without being able to test it is not the usual way to fix a bug... Besides: 1) actually it should be not possible that frama_c_journal.ml has 0 byte after exiting Frama-C. Either it does not exist, or it contains something (at least, the date of generation and some constant stuff). 2) the error in the DOS console is independent of the backtrace in the dialog box. It indicates that you haven't `dot' (http://www.graphviz.org) installed on your system. `dot' is required by Frama-C for displaying graphs. We should provide a better error message instead of an uncaught exception

~0000944 signoles (manager) 2010-06-22 10:56	See BTS 0000517 for the error about `dot'.

~0001432 signoles (manager) 2011-01-28 12:22	1) Try to fix this bug but unable to reproduce the initial issue. 2) An error remains. See bts 0000517.

Notes

Date Modified	Username	Field	Change
Issue History
2010-06-14 08:17	adytzul_ac	New Issue
2010-06-14 08:17	adytzul_ac	Status	new => assigned
2010-06-14 08:17	adytzul_ac	Assigned To	=> monate
2010-06-14 08:59	signoles	Note Added: 0000930
2010-06-14 08:59	signoles	Assigned To	monate => signoles
2010-06-14 08:59	signoles	Status	assigned => feedback
2010-06-14 09:34	adytzul_ac	File Added: main.c
2010-06-14 10:04	signoles	Note Added: 0000931
2010-06-14 10:58	adytzul_ac	Note Added: 0000932
2010-06-14 11:00	signoles	Note Added: 0000933
2010-06-14 11:09	adytzul_ac	Note Added: 0000934
2010-06-14 11:10	adytzul_ac	File Added: error 2.JPG
2010-06-14 13:42	signoles	Note Added: 0000935
2010-06-22 10:52	signoles	Status	feedback => acknowledged
2010-06-22 10:55	signoles	Relationship added	related to 0000517
2010-06-22 10:56	signoles	Note Added: 0000944
2011-01-28 12:22	signoles	Note Added: 0001432
2011-01-28 12:22	signoles	Status	acknowledged => closed
2011-01-28 12:22	signoles	Resolution	open => unable to reproduce

Issue History