Hi, These kind of transformations of Cil are quite invasive. We have added support for ACSL annotations in Frama-C which is based on Cil. You can download the latest version from Frama-c.com and have a look in cil/src/* to understand how we did it. Regards,
Benjamin Monate CEA LIST Head of Software Safety Laboratory ------------------------------------------------------------------------------ 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 CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
