tml">TaintSpecification</a> : <a href="../TaintSpec/module-type-S/index.html">TaintSpec.S</a>) : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Create a taint analysis from a specification</p></div></div></div></body></html>