Static code analysis using graph-theoretic techniques - ivan-m/SourceGraph