../../index.html">infer</a> &#x00BB; <a href="../index.html">BO</a> &#x00BB; BufferOverrunChecker</nav><h1>Module <code>BO.BufferOverrunChecker</code></h1></header><dl><dt class="spec value" id="val-checker"><a href="#val-checker" class="anchor"></a><code><span class="keyword">val</span> checker : <span><span>(<span><a href="../BufferOverrunCheckerSummary/index.html#type-t">BufferOverrunCheckerSummary.t</a> option</span> * <span><a href="../BufferOverrunAnalysisSummary/index.html#type-t">BufferOverrunAnalys