Extensions and improvements
Improve precision - regions, paths, names
Compute data flow facts in parallel
Integrate architectural features
Exploit dynamic information in analysis
Handle programming languages features
- pointers
- object oriented features
- multiple threads/parallel tasks