Derived analyses
Specification of code properties
Reporting
Code transformation
Browsing unfamiliar code
Front-ends for other languages
Concurrent/multi-threaded programs