Hi, Are the CIL semantics formally defined anywhere? I am aware of http://www.cs.berkeley.edu/~necula/Papers/cil_cc02.pdf but it seems incomplete. Alternatively, is there a concrete evaluator for CIL? I am particularly interested in the semantics of casts, and how expressions can be created that use the Ptr type.
Also, is the CCured source code available anywhere? There are a few references to it in the CIL source code, but that is all. Thanks for the help, Edward ------------------------------------------------------------------------------ LIMITED TIME SALE - Full Year of Microsoft Training For Just $49.99! 1,500+ hours of tutorials including VisualStudio 2012, Windows 8, SharePoint 2013, SQL 2012, MVC 4, more. BEST VALUE: New Multi-Library Power Pack includes Mobile, Cloud, Java, and UX Design. Lowest price ever! Ends 9/20/13. http://pubads.g.doubleclick.net/gampad/clk?id=58041151&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
