--- layout: fc_discuss_archives title: Message 49 from Frama-C-discuss on March 2011 ---
Hi, I am wondering whether Frama-C could help to print the fields for a structure, and break down the fields when there is nested structure in a structure. Say you have an example: struct a { int a_a; } struct b { int b_a; struct a s_a; } I would like Frama-C to help print the detailed field of each structure. For example: For struct a, the field list includes: a.a_a For struct b, the field list includes: b.b_a, s_a.a_a Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110322/327aca8b/attachment.htm>