svf-tools 1.0.625 → 1.0.627

package/SVF-doxygen/html/html/Annotator_8h_source.html

@@ -75,12 +75,12 @@ $(function() {
 <div class="ttc" id="classSVF_1_1Annotator_html_acbb2e202ab3fb864e70eac6b41c3899e"><div class="ttname"><a href="classSVF_1_1Annotator.html#acbb2e202ab3fb864e70eac6b41c3899e">SVF::Annotator::hasSBSinkFlag</a></div><div class="ttdeci">bool hasSBSinkFlag(Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00049">Annotator.h:49</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_a3fb284999931900d92e60104980648ef"><div class="ttname"><a href="classSVF_1_1Annotator.html#a3fb284999931900d92e60104980648ef">SVF::Annotator::hasSBSourceFlag</a></div><div class="ttdeci">bool hasSBSourceFlag(Instruction *inst) const</div><div class="ttdoc">SB Has flag methods. </div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00044">Annotator.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_af220da6fe6fc879d15cc34ab397c5ba1"><div class="ttname"><a href="classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1">SVF::Annotator::DR_NOT_CHECK</a></div><div class="ttdeci">const char * DR_NOT_CHECK</div><div class="ttdoc">Race Detection annotations. </div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00182">Annotator.h:182</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00061">BasicTypes.h:61</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00063">BasicTypes.h:63</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_a556138c152d52921d6f0a709a826a93a"><div class="ttname"><a href="classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a">SVF::Annotator::SB_INFESIBLE</a></div><div class="ttdeci">const char * SB_INFESIBLE</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00177">Annotator.h:177</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_a11d7bfcb525e4fb74e3031dd9a2635fe"><div class="ttname"><a href="classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe">SVF::Annotator::hasDRNotCheckFlag</a></div><div class="ttdeci">bool hasDRNotCheckFlag(const Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00067">Annotator.h:67</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_a77ae10cccf9eeece8adf7dd00821e836"><div class="ttname"><a href="classSVF_1_1Annotator.html#a77ae10cccf9eeece8adf7dd00821e836">SVF::Annotator::~Annotator</a></div><div class="ttdeci">virtual ~Annotator()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00037">Annotator.h:37</a></div></div>
 <div class="ttc" id="SVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00086">BasicTypes.h:86</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00088">BasicTypes.h:88</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_abc2d4a40ac8a0d70428b5066266f861c"><div class="ttname"><a href="classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c">SVF::Annotator::hasDRCheckFlag</a></div><div class="ttdeci">bool hasDRCheckFlag(const Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00086">Annotator.h:86</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00037">AbstractValue.h:37</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_ad1424270d91f70dee1461b6301ce8091"><div class="ttname"><a href="classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091">SVF::Annotator::addMDTag</a></div><div class="ttdeci">void addMDTag(Instruction *inst, std::string str)</div><div class="ttdoc">Simple add/remove meta data information. </div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00099">Annotator.h:99</a></div></div>
@@ -88,7 +88,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1Annotator_html_a3edacb8703c74abf42c4a29761a3437f"><div class="ttname"><a href="classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f">SVF::Annotator::SB_SLICESINK</a></div><div class="ttdeci">const char * SB_SLICESINK</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00175">Annotator.h:175</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_aa72e6952df50b5b36f0e0fed4024055f"><div class="ttname"><a href="classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f">SVF::Annotator::Annotator</a></div><div class="ttdeci">Annotator()</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00025">Annotator.h:25</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes. </div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00056">BasicTypes.h:56</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes. </div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00058">BasicTypes.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_ad78f6de28e5474614f16707e1c599f48"><div class="ttname"><a href="classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48">SVF::Annotator::hasDRNotCheckFlag</a></div><div class="ttdeci">bool hasDRNotCheckFlag(Instruction *inst) const</div><div class="ttdoc">Race Detection Has flag methods. </div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00058">Annotator.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1Annotator_html_a676a5c9b425e13f17fa73879c72787a6"><div class="ttname"><a href="classSVF_1_1Annotator.html#a676a5c9b425e13f17fa73879c72787a6">SVF::Annotator::removeMDTag</a></div><div class="ttdeci">void removeMDTag(Instruction *inst, Value *val, std::string str)</div><div class="ttdoc">remove flag from llvm metadata </div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00130">Annotator.h:130</a></div></div>
 </div><!-- fragment --></div><!-- contents -->

package/SVF-doxygen/html/html/BasicTypes_8h.html

@@ -95,6 +95,7 @@ $(function() {
 <code>#include &lt;llvm/Bitcode/BitcodeReader.h&gt;</code><br />
 <code>#include &lt;llvm/IRReader/IRReader.h&gt;</code><br />
 <code>#include &lt;llvm/IR/InstVisitor.h&gt;</code><br />
+<code>#include &lt;llvm/BinaryFormat/Dwarf.h&gt;</code><br />
 <code>#include &lt;llvm/Analysis/LoopInfo.h&gt;</code><br />
 </div>
 <p><a href="BasicTypes_8h_source.html">Go to the source code of this file.</a></p>