Homework 8: Abstract Interpretation Design Due Wednesday, April 10, 2024, 11:59PM AoE

Complete Exercise 29 from the reading.

The text of the exercise is copied below for your convenience:

Give an abstract interpretation that catches possible divide-by-zero errors statically. You do not need to give transfer functions for every integer operation; addition, multiplication, and division will suffice. Think carefully about your choices; the design space is quite large! You may assume that (1) we only care about integers (not floating-point values), and (2) overflow does not happen. Briefly contrast your design to an alternative you chose. Describe one way in which your design is better than the alternative, and one way in which it is worse.

Submit a single PDF which answers this prompt to the HW8 assignment on Canvas. As usual, cite any outside sources that you used in your work.

Unlike prior homework assignments, this assignment is explicitly individual: you may not work with a partner.

HW9 builds on this assignment: you will not be able to complete HW9 unless you have completed HW8. Therefore, you will automatically receive a zero on HW9 if you have not had your HW8 submission graded. For this reason, we will accept late submissions for HW8 until the HW9 deadline (you will receive feedback but not credit if you turn in HW8 late). We will try to provide feedback within 24 hours on late HW8 submissions, but you should really submit it on-time instead :)