Language-generic workbench for building static analysis - View it on GitHub