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