Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000628Frama-CPlug-in > jessiepublic2010-11-13 15:002017-03-14 10:00
Assigned Tocmarche 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in Version 
Summary0000628: Frama-C/Jessie does not recognize the length of array in struct
DescriptionThe assertion in the attached file cannot be proved by any atp. I suppose it's because Frama-C/Jessie does not recognize the length of an array in a struct. As this kind of code is normal for embedded applications it should be supported by Frama-C.
TagsNo tags attached.
Attached Filesc file icon array_in_struct.c [^] (151 bytes) 2010-11-13 15:00 [Show Content]

- Relationships

-  Notes
jens (reporter)
2017-03-14 10:00

I suggest to close this issue as Jessie seems to be not maintained anymore.

- Issue History
Date Modified Username Field Change
2010-11-13 15:00 jens New Issue
2010-11-13 15:00 jens Status new => assigned
2010-11-13 15:00 jens Assigned To => cmarche
2010-11-13 15:00 jens File Added: array_in_struct.c
2017-03-14 10:00 jens Note Added: 0006384

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker