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