While Language Abstract (and Concrete) Interpreter

The While language is a very simple C-like imperative language where the possible operations are assignments, compositions, if and while control structures and both arithmetic and boolean operations. This tools offers a basic static analyzer for such a language.