Minaduki's C-- Compiler
ICSTP Assignment 1., using Compiler code
Tool for differentially testing soundness and precision of program analyzers