Frama-C Bug Tracking System - Frama-C
View Issue Details
0000076Frama-CPlug-in > Evapublic2009-05-04 22:382014-02-12 16:56
pascal 
pascal 
normalmajoralways
closedfixed 
Frama-C Lithium-20081201 
Frama-C Beryllium-20090601-beta1 
0000076: int a; main(){ return 100 / (int)(&a + 2); } fails to report a division by zero
See summary
No tags attached.
Issue History
2009-05-04 22:38pascalNew Issue
2009-05-04 22:38pascalStatusnew => assigned
2009-05-04 22:38pascalAssigned To => pascal
2009-05-05 15:26svnCheckin
2009-05-05 15:26svnStatusassigned => resolved
2009-05-05 15:26svnResolutionopen => fixed
2009-06-23 18:02signolesStatusresolved => closed
2009-06-23 18:03signolesFixed in Version => Frama-C Beryllium beta-1
2018-01-12 14:26signolesCategoryPlug-in > value analysis => Plug-in > Eva

There are no notes attached to this issue.