Static source code analyzer that extracts an interprocedural dataflow graph from Java source code. - View it on GitHub