dex.html">infer</a> &#x00BB; <a href="../index.html">Quandary</a> &#x00BB; TaintAnalysis</nav><h1>Module <code>Quandary.TaintAnalysis</code></h1></header><div class="spec module" id="module-F"><a href="#module-F" class="anchor"></a><code><span class="keyword">module</span> F = Stdlib.Format</code></div><div class="spec module" id="module-L"><a href="#module-L" class="anchor"></a><code><span class="keyword">module</span> L = <a href="../../IBase/index.html#module-Logging">IBase.Logging</a></code></div><dl><d