oo-analyzer A static analyzer for a simple imp language inspired by java. The analyzer has been used for the evaluation of Tarsis