Analysis using Constraints, CSC530, Spring 2021

Here’s the paper we’ll be reading this week:

Gulwani, Sumit, Saurabh Srivastava, and Ramarathnam Venkatesan. "Program analysis as constraint solving." Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2008.

Your goal, as it was in the second week, is to "get the idea working" to the degree that’s possible in three to four hours of work.

1 Deliverable

Do your work in the corresponding GitHub repo.

Be sure to include a README that functions as a lab report: it should describe what you did, how it works, and examples of its results. If it makes sense to analyze its functionality, do that!

2 Handin

Here’s a Github Classroom link: https://classroom.github.com/g/U6OhXFuN

You can work with a partner, if you like. (I’ve reset to allow a new set of teams.)