isSummary.t</a> option</span>)</span> <a href="../../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <span><a href="../BufferOverrunCheckerSummary/index.html#type-t">BufferOverrunCheckerSummary.t</a> option</span></code></dt></dl></div></body></html>