COMS W4117
Compilers and Translators:
Software Verification Tools
Lecture 13: Applications of Interprocedural Analysis
October 18, 2007

Lecture Outline

  1. Review
  2. Context-sensitive vs. context-insensitive analysis
  3. Call strings
  4. Cloning-based context-sensitive analysis
  5. Summary-based context-sensitive analysis
  6. Pointer alias analysis
  7. SQL injections
  8. Buffer overflows


1. Review



2. Context-sensitive vs. Context-insensitive Analysis



3. Call Strings



4. Cloning-based Context-sensitive Analysis



5. Summary-based Context-sensitive Analysis



6. Pointer Alias Analysis



7. SQL Injection



8. Reading



aho@cs.columbia.edu