Random Interpretation Sumit Gulwani UC-Berkeley � Program Analysis Applications in all aspects of software development, e.g. Program correctness Compiler optimizations…