How to break down the fields in strcuture (nested structures)
ID0000760: This issue was created automatically from Mantis Issue 760. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000760 | Frama-C | Plug-in > Eva | public | 2011-03-22 | 2011-03-22 |
| Reporter | haihao | Assigned To | pascal | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Carbon-20110201 |
Description :
Hi,
Frama-C value analysis could provide the detailed input and output. I am wondering whether users could use Frama-C to get the break-down fields of a structure if there is a nested structure.
Thanks, Haihao
Additional Information :
Hi Pascal, I am sorry that I could find a suitable discussion place to let me ask the question, so I post the question here.
Sorry for the inconvenience.
Haihao