Homework 9: Abstract Interpretation Implementation Due Wednesday, April 17, 2024, 11:59PM AoE

Complete Exercise 30 from the reading.

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

Implement your design (or a simplified version of it, as stated above) for integer division in Java. You can find skeleton code and detailed instructions here: https://github.com/kelloggm/div-by-zero-checker/blob/master/INSTRUCTIONS.md. Please fork this repository, and submit a link to your forked repository, which contains your implemented analysis.

Submit a text file with the link to your fork of the repository. We will grade the last commit that you make before the deadline, so you can upload this file even before you’re done. In your submitted text file, cite any sources that you used (as usual). You may (but are not required to) make your fork a private repository. If you do, invite both members of the course staff to the repository; our GitHub usernames are @kelloggm and @thoriumrobot.

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

This assignment builds on HW8: 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 :)