On Thu, May 24, 2012 at 05:39:44PM -0400, Lipeng Wan wrote:
> let myType = Formatcil.cType
> "struct s [%d:bbs]"
> [("bbs",Fd !num_bbs) ] in
See CIL manual, section 6.2:
http://www.cs.berkeley.edu/~necula/cil/attributes.html
You cannot use "struct s" directly, you need to use "struct %c:ID". For
instance:
let myType = Formatcil.cType
"struct %c:s [%d:bbs]"
[("bbs",Fd !num_bbs); ("s", Fc struct_s) ] in
where struct_s is the compinfo which defines your struct.
http://www.cs.berkeley.edu/~necula/cil/api/Cil.html#TYPEcompinfo
Best regards,
--
Gabriel
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
