svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/SVFBugReport_8h_source.html

@@ -467,12 +467,12 @@ $(function() {
 <div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;<span class="preprocessor">#endif</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a05f395eff23619ed10c31c0acda949e2"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport::addAbsExecBug</a></div><div class="ttdeci">void addAbsExecBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00357">SVFBugReport.h:357</a></div></div>
-<div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_a8f057178ee7182d691dbb3103d0d0d43"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">SVF::FullNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00255">SVFBugReport.cpp:255</a></div></div>
-<div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_ac20c926cb9a72c5913afcf6877d04791"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791">SVF::NeverFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00124">SVFBugReport.cpp:124</a></div></div>
-<div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ae3d9bb5952fa858780ec50148e474388"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388">SVF::FileNeverCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00211">SVFBugReport.cpp:211</a></div></div>
+<div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_a8f057178ee7182d691dbb3103d0d0d43"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">SVF::FullNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00253">SVFBugReport.cpp:253</a></div></div>
+<div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_ac20c926cb9a72c5913afcf6877d04791"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791">SVF::NeverFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00122">SVFBugReport.cpp:122</a></div></div>
+<div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ae3d9bb5952fa858780ec50148e474388"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388">SVF::FileNeverCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00209">SVFBugReport.cpp:209</a></div></div>
 <div class="ttc" id="aICFGNode_8h_html"><div class="ttname"><a href="ICFGNode_8h.html">ICFGNode.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html">SVF::FileNeverCloseBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00224">SVFBugReport.h:224</a></div></div>
-<div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a0e52a0f35ff4d536f2de27a22139e59c"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">SVF::NeverFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00118">SVFBugReport.cpp:118</a></div></div>
+<div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a0e52a0f35ff4d536f2de27a22139e59c"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">SVF::NeverFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00116">SVFBugReport.cpp:116</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_ad3f9af5c317048ada0a8d6a25402a9db"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db">SVF::PartialNullPtrDereferenceBug::PartialNullPtrDereferenceBug</a></div><div class="ttdeci">PartialNullPtrDereferenceBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00275">SVFBugReport.h:275</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_acacf8d5aa4aab95be34a5a1cb21838b3"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport::bugSet</a></div><div class="ttdeci">BugSet bugSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00296">SVFBugReport.h:296</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_aa63e1b3fb32d0383a57ab5c503673d18"><div class="ttname"><a href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">SVF::GenericBug::getEventStack</a></div><div class="ttdeci">const EventStack &amp; getEventStack() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00112">SVFBugReport.h:112</a></div></div>
@@ -484,38 +484,38 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">SVF::GenericBug::FILEPARTIALCLOSE</a></div><div class="ttdeci">@ FILEPARTIALCLOSE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_aea90778c71659c87a6139d19b896bdb8"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8">SVF::DoubleFreeBug::DoubleFreeBug</a></div><div class="ttdeci">DoubleFreeBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00211">SVFBugReport.h:211</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ac550e02b8d1d7713c53a29dab5a78c6d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">SVF::SVFBugEvent::eventInst</a></div><div class="ttdeci">const SVFInstruction * eventInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00065">SVFBugReport.h:65</a></div></div>
-<div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_a80257bc6a9cf4eecfa402def59993e6e"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#a80257bc6a9cf4eecfa402def59993e6e">SVF::FileNeverCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00205">SVFBugReport.cpp:205</a></div></div>
+<div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_a80257bc6a9cf4eecfa402def59993e6e"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#a80257bc6a9cf4eecfa402def59993e6e">SVF::FileNeverCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00203">SVFBugReport.cpp:203</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a6e4a91344c5e4fa7b22e03dd3a1bada2"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">SVF::BufferOverflowBug::allocLowerBound</a></div><div class="ttdeci">s64_t allocLowerBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_ad1327aa541ec4eb8c2fd4029e693870f"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#ad1327aa541ec4eb8c2fd4029e693870f">SVF::PartialLeakBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00202">SVFBugReport.h:202</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a33496918c5f2adaf48a64f39d9c49567"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">SVF::SVFBugEvent::typeAndInfoFlag</a></div><div class="ttdeci">u32_t typeAndInfoFlag</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00064">SVFBugReport.h:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PartialBufferOverflowBug_html"><div class="ttname"><a href="classSVF_1_1PartialBufferOverflowBug.html">SVF::PartialBufferOverflowBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00160">SVFBugReport.h:160</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugReport_html"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00288">SVFBugReport.h:288</a></div></div>
-<div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_ae269f1b62e89f8fcca783865d6ce8723"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">SVF::FullNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00261">SVFBugReport.cpp:261</a></div></div>
+<div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_ae269f1b62e89f8fcca783865d6ce8723"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">SVF::FullNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00259">SVFBugReport.cpp:259</a></div></div>
 <div class="ttc" id="aSVFVariables_8h_html"><div class="ttname"><a href="SVFVariables_8h.html">SVFVariables.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">SVF::GenericBug::PARTIALLEAK</a></div><div class="ttdeci">@ PARTIALLEAK</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html">SVF::PartialLeakBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00192">SVFBugReport.h:192</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FullBufferOverflowBug_html_a87e463d4e7af1a3421da2ad73e01eb7d"><div class="ttname"><a href="classSVF_1_1FullBufferOverflowBug.html#a87e463d4e7af1a3421da2ad73e01eb7d">SVF::FullBufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00154">SVFBugReport.h:154</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVF::SVFBugEvent::SourceInst</a></div><div class="ttdeci">@ SourceInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00060">SVFBugReport.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_acc65b033bfd61257d5b6fdbf932dfafe"><div class="ttname"><a href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">SVF::GenericBug::EventStack</a></div><div class="ttdeci">std::vector&lt; SVFBugEvent &gt; EventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00083">SVFBugReport.h:83</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a4e243c7297791b306d970c19abc87ca9"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">SVF::SVFBugReport::~SVFBugReport</a></div><div class="ttdeci">~SVFBugReport()</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00332">SVFBugReport.cpp:332</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a4e243c7297791b306d970c19abc87ca9"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">SVF::SVFBugReport::~SVFBugReport</a></div><div class="ttdeci">~SVFBugReport()</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00330">SVFBugReport.cpp:330</a></div></div>
 <div class="ttc" id="acJSON_8h_html"><div class="ttname"><a href="cJSON_8h.html">cJSON.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_ab0b8fccb4d800443de3399084f379d9a"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a">SVF::FullNullPtrDereferenceBug::FullNullPtrDereferenceBug</a></div><div class="ttdeci">FullNullPtrDereferenceBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00259">SVFBugReport.h:259</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7a468e626e081190e4f0e5a4bda0a579"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">SVF::GenericBug::~GenericBug</a></div><div class="ttdeci">virtual ~GenericBug()=default</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6">SVF::SVFBugEvent::Caller</a></div><div class="ttdeci">@ Caller</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00057">SVFBugReport.h:57</a></div></div>
-<div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_acf0d2ffb52d0b322421a5556d41a1d63"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63">SVF::DoubleFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00168">SVFBugReport.cpp:168</a></div></div>
+<div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_acf0d2ffb52d0b322421a5556d41a1d63"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63">SVF::DoubleFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00166">SVFBugReport.cpp:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">SVF::GenericBug::FULLBUFOVERFLOW</a></div><div class="ttdeci">@ FULLBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aa119593331403f73867fddcb6ec26989"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">SVF::SVFBugReport::dumpToJsonFile</a></div><div class="ttdeci">void dumpToJsonFile(const std::string &amp;filePath) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00340">SVFBugReport.cpp:340</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aa119593331403f73867fddcb6ec26989"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">SVF::SVFBugReport::dumpToJsonFile</a></div><div class="ttdeci">void dumpToJsonFile(const std::string &amp;filePath) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00338">SVFBugReport.cpp:338</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aca243a30fa7f65f3d21cddd18a8fbf45"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport::addSaberBug</a></div><div class="ttdeci">void addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00305">SVFBugReport.h:305</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a236e3cf3e81ec4248547b3011323e45f"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">SVF::BufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00138">SVFBugReport.h:138</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ad3bcb02563f952edd43ab5a7276bd57d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ad3bcb02563f952edd43ab5a7276bd57d">SVF::SVFBugEvent::getFuncName</a></div><div class="ttdeci">virtual const std::string getFuncName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00279">SVFBugReport.cpp:279</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ad3bcb02563f952edd43ab5a7276bd57d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ad3bcb02563f952edd43ab5a7276bd57d">SVF::SVFBugEvent::getFuncName</a></div><div class="ttdeci">virtual const std::string getFuncName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00277">SVFBugReport.cpp:277</a></div></div>
 <div class="ttc" id="acJSON_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="aclassSVF_1_1GenericBug_html"><div class="ttname"><a href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00080">SVFBugReport.h:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html">SVF::FullNullPtrDereferenceBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00256">SVFBugReport.h:256</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a2fcc321d3132c56423a0d3cfc21b8b80"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a2fcc321d3132c56423a0d3cfc21b8b80">SVF::NeverFreeBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00186">SVFBugReport.h:186</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_af012270169f767655456ae0e09add06a"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a">SVF::SVFBugEvent::SVFBugEvent</a></div><div class="ttdeci">SVFBugEvent(u32_t typeAndInfoFlag, const SVFInstruction *eventInst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00068">SVFBugReport.h:68</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_a61c7ebeeb916dd223d2279b7b6ba6571"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#a61c7ebeeb916dd223d2279b7b6ba6571">SVF::DoubleFreeBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00218">SVFBugReport.h:218</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_acc860880d548ea2cf5b63f0f7ad11456"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456">SVF::PartialNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00273">SVFBugReport.cpp:273</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_ac985d855e598175618b517259b6d3212"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">SVF::BufferOverflowBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00081">SVFBugReport.cpp:81</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_acc860880d548ea2cf5b63f0f7ad11456"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456">SVF::PartialNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00271">SVFBugReport.cpp:271</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_ac985d855e598175618b517259b6d3212"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">SVF::BufferOverflowBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00079">SVFBugReport.cpp:79</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html">SVF::FilePartialCloseBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00240">SVFBugReport.h:240</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3">SVF::SVFBugEvent::EventType</a></div><div class="ttdeci">EventType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00054">SVFBugReport.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a07fa3b9bf041ade658526fd3bc9d361c"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">SVF::BufferOverflowBug::accessLowerBound</a></div><div class="ttdeci">s64_t accessLowerBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
@@ -525,48 +525,48 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">SVF::GenericBug::FILENEVERCLOSE</a></div><div class="ttdeci">@ FILENEVERCLOSE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
 <div class="ttc" id="astructcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PartialBufferOverflowBug_html_a561e055af483e825d095a89d7e7ed39b"><div class="ttname"><a href="classSVF_1_1PartialBufferOverflowBug.html#a561e055af483e825d095a89d7e7ed39b">SVF::PartialBufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00170">SVFBugReport.h:170</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7c5d28996f9715d0f90d664b93477a23"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7c5d28996f9715d0f90d664b93477a23">SVF::SVFBugEvent::getEventDescription</a></div><div class="ttdeci">virtual const std::string getEventDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00289">SVFBugReport.cpp:289</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7c5d28996f9715d0f90d664b93477a23"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7c5d28996f9715d0f90d664b93477a23">SVF::SVFBugEvent::getEventDescription</a></div><div class="ttdeci">virtual const std::string getEventDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00287">SVFBugReport.cpp:287</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_a07bdac10dd87c669358220ac36acbf20"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#a07bdac10dd87c669358220ac36acbf20">SVF::FullNullPtrDereferenceBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00266">SVFBugReport.h:266</a></div></div>
 <div class="ttc" id="aSVFStatements_8h_html"><div class="ttname"><a href="SVFStatements_8h.html">SVFStatements.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ac1ded32b2cdae3e0a74bf767b5ca96cb"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ac1ded32b2cdae3e0a74bf767b5ca96cb">SVF::FileNeverCloseBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00234">SVFBugReport.h:234</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_aa3acf06e90939896a86c449260c2e4b4"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4">SVF::PartialLeakBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00154">SVFBugReport.cpp:154</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_aa3acf06e90939896a86c449260c2e4b4"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4">SVF::PartialLeakBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00152">SVFBugReport.cpp:152</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FullBufferOverflowBug_html_a88e4cda1be82ab32e25eff74eec39a54"><div class="ttname"><a href="classSVF_1_1FullBufferOverflowBug.html#a88e4cda1be82ab32e25eff74eec39a54">SVF::FullBufferOverflowBug::FullBufferOverflowBug</a></div><div class="ttdeci">FullBufferOverflowBug(const EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00147">SVFBugReport.h:147</a></div></div>
-<div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_af67320d8ebd56aec6ecddc3f44ec09b9"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9">SVF::DoubleFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00191">SVFBugReport.cpp:191</a></div></div>
+<div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_af67320d8ebd56aec6ecddc3f44ec09b9"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9">SVF::DoubleFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00189">SVFBugReport.cpp:189</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a2366068e0e1813c47003e3c072c1ad85"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a2366068e0e1813c47003e3c072c1ad85">SVF::NeverFreeBug::NeverFreeBug</a></div><div class="ttdeci">NeverFreeBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00179">SVFBugReport.h:179</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a3f62d1f1307b9e6771d7449d0855d7e4"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">SVF::GenericBug::GenericBug</a></div><div class="ttdeci">GenericBug(BugType bugType, const EventStack &amp;bugEventStack)</div><div class="ttdoc">note: should be initialized with a bugEventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00095">SVFBugReport.h:95</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_af6dbde88c3f92ed43027d1c9518c6c83"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#af6dbde88c3f92ed43027d1c9518c6c83">SVF::SVFBugEvent::~SVFBugEvent</a></div><div class="ttdeci">virtual ~SVFBugEvent()=default</div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">SVF::GenericBug::DOUBLEFREE</a></div><div class="ttdeci">@ DOUBLEFREE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a5cfadd60fc90ea6cb7b51aa1f292b6a3"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">SVF::GenericBug::BugType2Str</a></div><div class="ttdeci">static const std::map&lt; GenericBug::BugType, std::string &gt; BugType2Str</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00087">SVFBugReport.h:87</a></div></div>
-<div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a32576eee4de3b4c094c3f8a5501c7b99"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99">SVF::FilePartialCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00241">SVFBugReport.cpp:241</a></div></div>
+<div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a32576eee4de3b4c094c3f8a5501c7b99"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99">SVF::FilePartialCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00239">SVFBugReport.cpp:239</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_ac0b91adaf9df0d57dc2e179d962ca490"><div class="ttname"><a href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug::bugEventStack</a></div><div class="ttdeci">const EventStack bugEventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00091">SVFBugReport.h:91</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">SVF::GenericBug::FULLNULLPTRDEREFERENCE</a></div><div class="ttdeci">@ FULLNULLPTRDEREFERENCE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a143c39c6a120e0ea1371bc309bf05d51"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">SVF::GenericBug::bugType</a></div><div class="ttdeci">BugType bugType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00090">SVFBugReport.h:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_abbc86875488c27e53e5c36e95c472b20"><div class="ttname"><a href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug::getLoc</a></div><div class="ttdeci">const std::string getLoc() const</div><div class="ttdoc">returns bug location as json format string</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00051">SVFBugReport.cpp:51</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecac"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug::BugType</a></div><div class="ttdeci">BugType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a7dbf4adc013615567b33b6e293b61c8e"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">SVF::SVFBugReport::getBugSet</a></div><div class="ttdeci">const BugSet &amp; getBugSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00409">SVFBugReport.h:409</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01069">SVFValue.h:1069</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01075">SVFValue.h:1075</a></div></div>
 <div class="ttc" id="aSVFBugReport_8h_html_aae8a01dec6f65eaf27a03f4e063d92f8"><div class="ttname"><a href="SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8">EVENTTYPEMASK</a></div><div class="ttdeci">#define EVENTTYPEMASK</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00041">SVFBugReport.h:41</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GenericBug_html_afad49e3f62083345138932ffadf567dd"><div class="ttname"><a href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">SVF::GenericBug::getFuncName</a></div><div class="ttdeci">const std::string getFuncName() const</div><div class="ttdoc">return bug source function name</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00058">SVFBugReport.cpp:58</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GenericBug_html_afad49e3f62083345138932ffadf567dd"><div class="ttname"><a href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">SVF::GenericBug::getFuncName</a></div><div class="ttdeci">const std::string getFuncName() const</div><div class="ttdoc">return bug source function name</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00057">SVFBugReport.cpp:57</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_abf85e29310b2e4df8925d00a5c081314"><div class="ttname"><a href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">SVF::Loop</a></div><div class="ttdeci">llvm::Loop Loop</div><div class="ttdoc">LLVM Loop.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00138">BasicTypes.h:138</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html">SVF::DoubleFreeBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00208">SVFBugReport.h:208</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_aabf06cd1094ddbf7ee419c635f29a948"><div class="ttname"><a href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">SVF::GenericBug::printBugToTerminal</a></div><div class="ttdeci">virtual void printBugToTerminal() const =0</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVF::SVFBugEvent::Branch</a></div><div class="ttdeci">@ Branch</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00056">SVFBugReport.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PartialBufferOverflowBug_html_a3cc46863f2968a12943e5a08979e0919"><div class="ttname"><a href="classSVF_1_1PartialBufferOverflowBug.html#a3cc46863f2968a12943e5a08979e0919">SVF::PartialBufferOverflowBug::PartialBufferOverflowBug</a></div><div class="ttdeci">PartialBufferOverflowBug(const EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00163">SVFBugReport.h:163</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a693839b33e167cd0688be2e1738198f2"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">SVF::GenericBug::getBugType</a></div><div class="ttdeci">BugType getBugType() const</div><div class="ttdoc">returns bug type</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00103">SVFBugReport.h:103</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a192bb246ed947f33cf7b02493c8fded8"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8">SVF::BufferOverflowBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00065">SVFBugReport.cpp:65</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a192bb246ed947f33cf7b02493c8fded8"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8">SVF::BufferOverflowBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00063">SVFBugReport.cpp:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_acefb231e5905fa6deb4a8c242ac62c89"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#acefb231e5905fa6deb4a8c242ac62c89">SVF::PartialLeakBug::PartialLeakBug</a></div><div class="ttdeci">PartialLeakBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00195">SVFBugReport.h:195</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_aed9feb57ffb0860cbdd13698fd4dbf6c"><div class="ttname"><a href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">SVF::GenericBug::getBugDescription</a></div><div class="ttdeci">virtual cJSON * getBugDescription() const =0</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7ded0022f3852a08a05c67aeae77162f"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7ded0022f3852a08a05c67aeae77162f">SVF::SVFBugEvent::getEventType</a></div><div class="ttdeci">u32_t getEventType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00071">SVFBugReport.h:71</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_abd956a30bc4f8b1e25826149d20ea2b5"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#abd956a30bc4f8b1e25826149d20ea2b5">SVF::PartialLeakBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00130">SVFBugReport.cpp:130</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a5b3fcd366e5275927eb66a02dc6040f8"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a5b3fcd366e5275927eb66a02dc6040f8">SVF::SVFBugEvent::getEventLoc</a></div><div class="ttdeci">virtual const std::string getEventLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00284">SVFBugReport.cpp:284</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_abd956a30bc4f8b1e25826149d20ea2b5"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#abd956a30bc4f8b1e25826149d20ea2b5">SVF::PartialLeakBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00128">SVFBugReport.cpp:128</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a5b3fcd366e5275927eb66a02dc6040f8"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a5b3fcd366e5275927eb66a02dc6040f8">SVF::SVFBugEvent::getEventLoc</a></div><div class="ttdeci">virtual const std::string getEventLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00282">SVFBugReport.cpp:282</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_af163790aa2065d72be8c31c281abee20"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVF::SVFBugReport::SVFBugReport</a></div><div class="ttdeci">SVFBugReport()=default</div></div>
 <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a04cb8d2b008019cf48e2d70ba20c3098"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">SVF::BufferOverflowBug::accessUpperBound</a></div><div class="ttdeci">s64_t accessUpperBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
-<div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a16b96f3c79cf5edae0f0f02e52344283"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">SVF::FilePartialCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00217">SVFBugReport.cpp:217</a></div></div>
+<div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a16b96f3c79cf5edae0f0f02e52344283"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">SVF::FilePartialCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00215">SVFBugReport.cpp:215</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html">SVF::SVFBugEvent</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00051">SVFBugReport.h:51</a></div></div>
 <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00587">SVFValue.h:587</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00593">SVFValue.h:593</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_a910f2e839e1e722655fbb2266c15f136"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">SVF::PartialNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00267">SVFBugReport.cpp:267</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_a910f2e839e1e722655fbb2266c15f136"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">SVF::PartialNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00265">SVFBugReport.cpp:265</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">SVF::GenericBug::PARTIALBUFOVERFLOW</a></div><div class="ttdeci">@ PARTIALBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a608644b6a751669f7e0130a00c28d7ca"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">SVF::BufferOverflowBug::allocUpperBound</a></div><div class="ttdeci">s64_t allocUpperBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html">SVF::PartialNullPtrDereferenceBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00272">SVFBugReport.h:272</a></div></div>