Program analysis
Links
- Program Analysis Resources
- Formal Methods and Program Analysis in Industry
- Coz - Finding Code that Counts with Causal Profiling.
- Survey of program analysis research with a focus on machine code
- Program Analysis Reading List