COMS W4117
Compilers and Translators:
Software Verification Tools
Lecture 12: Interprocedural Analysis
October 16, 2007

Lecture Outline

  1. Review
  2. Intraprocedural vs. interprocedural analysis
  3. Call graphs
  4. Context-sensitive vs. context-insensitive analysis
  5. Call strings
  6. Cloning-based context-sensitive analysis
  7. Summary-based context-sensitive analysis


1. Review



2. Intraprocedural vs. interprocedural analysis



3. Call Graphs



4. Context-sensitive vs. Context-insensitive Analysis



5. Call Strings



6. Cloning-based Context-sensitive Analysis



7. Summary-based Context-sensitive Analysis



8. Reading



aho@cs.columbia.edu