[web page] (Berkeley, CA: University of California).
George C.. Necula, et al. (University of California at Berkeley), CCured: Type-Safe Retrofitting of Legacy
Software, ACM Transactions on Programming Languages and Systems 27, no.3 (May 2005): 477–526.
253 Originally developed by Michael Hicks, University of Maryland. For more information see: “CYCLONE