GitHub repository: tianhliu/div-by-zero-checker
Primary language: Java
Description: UW CSE P 504 - Abstract Interpretation: Part 2