On Wed, May 30, 2012 at 11:52:58PM -0500, Roberto Lublinerman wrote: > I have been experimenting with cil for a while and I would like your > opinion on what is the best way to have source code annotations. > What I need is to attach annotations to particular program > statements, in particular the Loop statement. > Any suggestions?
This is not easily solved without modifying CIL deeply. You could have a look at Frama-C, which is based on CIL (although they forked a while ago) and provides logical annotations that might suit your purpose. Best regards, -- Gabriel Kerneis ------------------------------------------------------------------------------ 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
