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