./index.html">infer</a> &#x00BB; <a href="../index.html">BO</a> &#x00BB; BufferOverrunUtils</nav><h1>Module <code>BO.BufferOverrunUtils</code></h1></header><div class="spec module" id="module-Dom"><a href="#module-Dom" class="anchor"></a><code><span class="keyword">module</span> Dom = <a href="../index.html#module-BufferOverrunDomain">BufferOverrunDomain</a></code></div><div class="spec module" id="module-PO"><a href="#module-PO" class="anchor"></a><code><span class="keyword">module</span> PO = <a href="../