CIL: Intermediate language and tools for analysis and transformation of C programs (2002)

by George C. Necula , Scott Mcpeak , Shree P. Rahul , Westley Weimer
Venue:In International Conference on Compiler Construction
Citations:408 - 11 self

Active Bibliography

483 Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software – James Newsome, Dawn Song - 2005
1495 The C++ Programming Language – Bjarne Stroustrup - 1995
702 The nesC language: A holistic approach to networked embedded systems – David Gay, Matt Welsh, Philip Levis, Eric Brewer, Robert Von Behren, David Culler - 2003
517 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
523 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
321 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
359 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
246 Vigilante: End-to-End Containment of Internet Worm Epidemics – Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham - 2008
264 Secure Execution Via Program Shepherding – Vladimir Kiriansky , Derek Bruening, Saman Amarasinghe - 2002