Static code analysis using graph-theoretic techniques.