Analyses and Tools (2 lectures)

• Static analyses

  • Type checkers
  • Extended type checkers

• Dynamic analyses

  • Profiling
  • Memory tools
  • Inferring invariants
    • Some cool research we’ve just started — I’d love your feedback on this (and love an alpha-tester even more — maybe a term project?)

Previous slide

Next slide

Back to first slide

View graphic version