A training asbtract interpretation engine for a subset of the C programming language - View it on GitHub