The Software Analysis Workbench - View it on GitHub