CIL tool [Google Scholar] [Wikipedia] Notes: Papers: necula:cc:2002 Papers related to CIL tool CIL: Intermediate language and tools for analysis and transformation of C programs [necula:cc:2002]
