Frama-C Bug Tracking System - Frama-C
View Issue Details
0001831Frama-CPlug-in > E-ACSLpublic2014-07-11 10:282014-09-15 17:20
arvidj 
signoles 
normalminoralways
closedfixed 
 
Frama-C Neon-20140301 
0001831: Command line arguments (argc/argv) are not marked as valid
See attached file for example. I have a fix coming for this.
No tags attached.
related to 0001103assigned virgile Default @requires property for the [main] function 
c bug-main-args.c (120) 2014-07-11 10:28
https://bts.frama-c.com/file_download.php?file_id=792&type=bug
Issue History
2014-07-11 10:28arvidjNew Issue
2014-07-11 10:28arvidjStatusnew => assigned
2014-07-11 10:28arvidjAssigned To => signoles
2014-07-11 10:28arvidjFile Added: bug-main-args.c
2014-07-11 12:27yakobowskiRelationship addedrelated to 0001103
2014-07-11 12:49signolesStatusassigned => confirmed
2014-08-04 15:40signolesStatusconfirmed => resolved
2014-08-04 15:40signolesResolutionopen => fixed
2014-09-15 17:20signolesFixed in Version => Frama-C Neon-20140301
2014-09-15 17:20signolesNote Added: 0005457
2014-09-15 17:20signolesStatusresolved => closed

Notes
(0005457)
signoles   
2014-09-15 17:20   
Fixed in E-ACSL v0.4.1.