Searching for "CIL Intermediate Language and Tools for Analysis and Transformation of C Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

CIL: Intermediate language and tools for analysis and transformation of C programs
by George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer — 2002 — In International Conference on Compiler Construction
…CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs ⋆ George C…
Cited by 191 (8 self) – Add To MetaCart

D.2.4 Software/Program Verification Format String Attacks
by Saravanan Sinnadurai
… is passed on without detection. White listing makes use of CIL – intermediate language and tools…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB