Lecture preparation

Before lecture, read the paper assigned below, and submit two items to the submission website:

Also keep in mind that you will need to write a paper summary for your choice of papers throughout the semester.


Read the papers Lessons from Building Static Analysis Tools at Google and Scaling Static Analyses at Facebook.

Why are we reading these papers?

What to learn from these papers?

Answer this question

What are the specifications that the Google and Facebook static analysis tools are checking for? What makes it viable for Google and Facebook to check those specs at large scale, in contrast to more heavy-weight examples we have seen, such as the Amazon use of formal methods, or the CompCert compiler?