Frama-C Bug Tracking System - Frama-C
View Issue Details
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 oob.c (132) 2009-09-10 16:49
https://bts.frama-c.com/file_download.php?file_id=19&type=bug

There are no notes attached to this issue.

Issue History
2009-09-10 16:49pherrmannNew Issue
2009-09-10 16:49pherrmannFile Added: oob.c
2009-09-14 19:41signolesStatusnew => assigned
2009-09-14 19:41signolesAssigned To => correnson
2009-09-18 14:38signolesPrioritynormal => urgent
2009-09-18 14:38signolesTarget Version => Frama-C Beryllium 2
2009-09-21 15:46svn
2009-09-21 15:46svnStatusassigned => resolved
2009-09-21 15:46svnResolutionopen => fixed
2009-09-23 15:26signolesFixed in Version => Frama-C Beryllium 2
2009-09-23 20:22signolesStatusresolved => closed
2013-12-19 01:13corrensonSource_changeset_attached => framac master 2bb79e25
2014-02-12 16:56corrensonSource_changeset_attached => framac stable/neon 2bb79e25