Homework 2: Abstract interpretation for divide-by-zero errors

When you submit your completed assignment, please indicate how long it took to complete. This will not factor into your grade; we just want to assess student workload. For anything that you submit in this class, place your name and UW ID (and those of your partner, if you worked with one) on the top of the first page.

Instructions

This homework has two parts, each with a dedicated submission deadline.

Part 1:

Complete exercise 29 (design an abstract interpretation) of Notes on Program Analysis.

Submit your design writeup to Canvas, as a PDF file.

Part 2:

Complete exercise 30 (implement an abstract interpretation) of Notes on Program Analysis.

Submit to Canvas the URL of your forked repository.