Recap

• Helps find relationships among variables in a C program

  • Exploits type inference to understand values flowing to locations and thus names

• Approximate, although safe under many (most?) conditions

• Reasonably efficient

  • Although I didn’t show the numbers, they are now better than reported in the ICSE paper

Previous slide

Next slide

Back to first slide

View graphic version