Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000237Frama-CGraphical User Interfacepublic2009-09-10 16:492014-02-12 16:56
Reporterpherrmann 
Assigned Tocorrenson 
PriorityurgentSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090901 
Target VersionFrama-C Beryllium-20090902Fixed in VersionFrama-C Beryllium-20090902 
Summary0000237: Warning repetition in Messages window
DescriptionThe exact same warning is repeated a number of times (10+) in the "Messages" window of the GUI.
Additional InformationFor the file in attachment : I get several "out of bound read ..." at line 5 after value analysis.

TagsNo tags attached.
Attached Filesc file icon oob.c [^] (132 bytes) 2009-09-10 16:49 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-09-10 16:49 pherrmann New Issue
2009-09-10 16:49 pherrmann File Added: oob.c
2009-09-14 19:41 signoles Status new => assigned
2009-09-14 19:41 signoles Assigned To => correnson
2009-09-18 14:38 signoles Priority normal => urgent
2009-09-18 14:38 signoles Target Version => Frama-C Beryllium 2
2009-09-21 15:46 svn Checkin
2009-09-21 15:46 svn Status assigned => resolved
2009-09-21 15:46 svn Resolution open => fixed
2009-09-23 15:26 signoles Fixed in Version => Frama-C Beryllium 2
2009-09-23 20:22 signoles Status resolved => closed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker