S. McPeak, G. C. Necula, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for C program analysis and transformation. In Conference on Compiler Construction, pages 213--228, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Evolving an OS Kernel using Temporal Logic and.. - Åberg, Lawall.. (2003) (1 citation) (Correct)
....out the instrumentation of the Linux 2.4 kernel that we previously performed by hand. Preliminary inspection of the remaining Linux code does not reveal any issues that these rules do not address. We are currently implementing our approach using the CIL infrastructure, developed by Necula et al. [13]. This implementation will both transform code that satisfies the rules and warn the user about unanticipated patterns of scheduling points. In the longer term, we plan to port Bossa to other OSes, such as BSD and Windows, and to apply the Bossa approach to other system services. We anticipate ....
S. McPeak, (3. Necula, S. Rahul, and W. Weimer. CIL: Intermediate language and tools for C program analysis and transformation. In Intl. Cony. on Compiler Construction (CC), volume 2304 of Lecture Notes in Computer Science, pages 213 228, (3renoble, France, Mar. 2002.
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
No context found.
S. McPeak, G. C. Necula, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for C program analysis and transformation. In Conference on Compiler Construction, pages 213--228, 2002.
Efficient Techniques for Comprehensive Protection from.. - Bhatkar, Sekar, DuVarney (2005) (2 citations) (Correct)
No context found.
S. McPeak, G. C. Necula, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for C program analysis and transformation. In Conference on Compiler Construction, 2002.
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
No context found.
S. McPeak, G. C. Necula, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for C program analysis and transformation. In Conference on Compiler Construction, pages 213--228, 2002.
A Unified Approach for Preventing Attacks Exploiting a.. - Xu, Bhatkar, Sekar (Correct)
No context found.
Scott McPeak, George C. Necula, S. P. Rahul, and Westley Weimer. CIL: Intermediate language and tools for C program analysis and transformation. In Conference on Compiler Construction, pages 213--228, 2002.
Abstraction-carrying Code: a New Method to Certify Temporal.. - Xia, Hook (2003) (Correct)
No context found.
S. McPeak, G. C. Necula, S. P. Rahul, and W. Weimer. Cil: Intermediate languages and tools for c program analysis and transformation. In Proceedings of Conference on Compiler Construction (CC'02), March 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC