Analyses and Tools (2 lectures)
Static analyses
Type checkers
Extended type checkers
Dynamic analyses
Profiling
Memory tools
Inferring invariants
Previous slide
Next slide
Back to first slide
View graphic version