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