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.
|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|
|Product Version||Frama-C Carbon-20110201||Target Version||-||Fixed in Version||Frama-C Carbon-20110201|
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.