Frama-C Bug Tracking System - Frama-C
View Issue Details
0001044Frama-CPlug-in > Evapublic2011-12-10 23:392014-03-13 15:57
pascal 
yakobowski 
normalfeaturealways
closedfixed 
 
Frama-C Neon-20140301 
0001044: Smarter access to array of struct of array
Smarter access to array of struct of array
No tags attached.
c test1.c (455) 2011-12-11 00:06
https://bts.frama-c.com/file_download.php?file_id=313&type=bug
Issue History
2011-12-10 23:39pascalNew Issue
2011-12-10 23:39pascalStatusnew => assigned
2011-12-10 23:39pascalAssigned To => pascal
2011-12-11 00:06pascalFile Added: test1.c
2013-10-10 20:51yakobowskiAssigned Topascal => yakobowski
2013-10-10 22:38svnCheckin
2013-10-14 09:53svnCheckin
2013-10-14 10:39svnCheckin
2013-10-14 16:10svnCheckin
2013-10-14 17:47svnCheckin
2013-11-22 21:41yakobowskiNote Added: 0004333
2013-11-29 10:21yakobowskiStatusassigned => resolved
2013-11-29 10:21yakobowskiResolutionopen => fixed
2014-03-13 15:56signolesFixed in Version => Frama-C Neon-20140301
2014-03-13 15:57signolesStatusresolved => closed
2018-01-12 14:26signolesCategoryPlug-in > value analysis => Plug-in > Eva

Notes
(0004333)
yakobowski   
2013-11-22 21:41   
Implementation remains to be done in the logic. Unclear whether this is really useful or not.