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.
|Plug-in > Eva
|no change required
|have not tried
|Fixed in Version
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.
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.