On Fri, May 17, 2013 at 10:30:03AM +0300, Alex Susu wrote: > A few weeks ago I looked a bit and wrote down a list with projects using it > at: https://sites.google.com/site/alexsusu/home/cil .
Please note that the CIL tutorial is by Zachary Anderson; you should link directly to his page: https://bitbucket.org/zanderso/cil-template Many papers citing the original one about CIL are probably relevant: http://scholar.google.com/scholar?cites=2618699998908611709&as_sdt=2005&sciodt=0,5&hl=fr My own project (CPC): http://www.pps.univ-paris-diderot.fr/~kerneis/software/cpc/ Frama-C uses a fork of CIL: http://frama-c.com/ Best, -- Gabriel ------------------------------------------------------------------------------ AlienVault Unified Security Management (USM) platform delivers complete security visibility with the essential security capabilities. Easily and efficiently configure, manage, and operate all of your security controls from a single console and one unified framework. Download a free trial. http://p.sf.net/sfu/alienvault_d2d _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
