svf-tools 1.0.819 → 1.0.821

package/SVF-doxygen/html/functions_r.html

@@ -122,7 +122,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options</a>
 </li>
 <li>readJson()
-: <a class="el" href="classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147">SVF::SVFIRReader</a>
+: <a class="el" href="classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6">SVF::SVFIRReader</a>
 </li>
 <li>readPrecision()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
@@ -573,7 +573,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#aa6378c78b2cc253ab036d54aaca11f85">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -590,7 +590,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">SVF::VFGNode</a>
 </li>
 <li>RetPN()
-: <a class="el" href="classSVF_1_1RetPN.html#abeb65c2fe30da157e63dc43f628bab23">SVF::RetPN</a>
+: <a class="el" href="classSVF_1_1RetPN.html#ac551c1aaf9ec3cb77814aa4664d61a23">SVF::RetPN</a>
 </li>
 <li>RetSymbol
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35">SVF::SymbolTableInfo</a>
@@ -622,13 +622,11 @@ $(function() {
 <li>RevPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>rid
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>

package/SVF-doxygen/html/functions_s.html

@@ -116,12 +116,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>sbv
-: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
-</li>
 <li>SBV
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
 </li>
+<li>sbv
+: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -130,11 +130,13 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>SCC
+: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -547,6 +549,9 @@ $(function() {
 <li>setStartKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase</a>
 </li>
+<li>setStat()
+: <a class="el" href="classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747">SVF::SVFBugReport</a>
+</li>
 <li>setSubs()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a148235bd1355a700d3ce187702e89bc8">SVF::ConstraintGraph</a>
 </li>
@@ -974,18 +979,18 @@ $(function() {
 <li>StoreStmt()
 : <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
 </li>
-<li>storesToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
-</li>
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
-<li>storesToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+<li>storesToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
 </li>
 <li>StoresToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
 </li>
+<li>storesToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -1078,7 +1083,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue</a>
 </li>
 <li>SVFArgument()
-: <a class="el" href="classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123">SVF::SVFArgument</a>
+: <a class="el" href="classSVF_1_1SVFArgument.html#aeeed6b5a59c5bf4eb4af77ec2345dccf">SVF::SVFArgument</a>
 </li>
 <li>SVFArrayTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType</a>
@@ -1087,7 +1092,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a0bd51b8ae0f3601da2dc6d31757c01a3">SVF::SVFArrayType</a>
 </li>
 <li>SVFBasicBlock()
-: <a class="el" href="classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3">SVF::SVFBasicBlock</a>
+: <a class="el" href="classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFBB
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVF::SVFValue</a>
@@ -1114,13 +1119,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVF::SVFValue</a>
 </li>
 <li>SVFConstant()
-: <a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant</a>
+: <a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
 : <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
-: <a class="el" href="classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e">SVF::SVFConstantFP</a>
+: <a class="el" href="classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
@@ -1142,7 +1147,7 @@ $(function() {
 </li>
 <li>SVFFunction
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#afcfae770b6ed1235cc1aa6c123b3a048">SVF::SVFBasicBlock</a>
-, <a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVF::SVFFunction</a>
+, <a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVF::SVFFunction</a>
 </li>
 <li>SVFFunctionTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType</a>
@@ -1274,7 +1279,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntegerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType</a>
@@ -1506,7 +1511,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue</a>
 </li>
 <li>SVFMetadataAsValue()
-: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf">SVF::SVFMetadataAsValue</a>
+: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
 </li>
 <li>svfMod
 : <a class="el" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">SVF::CHGraph</a>
@@ -1549,7 +1554,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a4811e1d34753e19e27d552a254f0d0af">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
+: <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType</a>
@@ -1561,7 +1566,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
 </li>
 <li>SVFStmt()
-: <a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
 </li>
 <li>SVFStmtList
 : <a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVF::ICFGNode</a>
@@ -1589,7 +1594,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType</a>
 </li>
 <li>SVFType()
-: <a class="el" href="classSVF_1_1SVFType.html#a3afd7c9a47ab7cd96d9bfc5fc8c473a4">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
 </li>
 <li>SVFTypeLocSetsPair
 : <a class="el" href="classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674">SVF::SVFIR</a>
@@ -1624,7 +1629,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter</a>
 </li>
 <li>SVFVar()
-: <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
 </li>
 <li>SVFVarList
 : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
@@ -1670,7 +1675,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
 </li>
 <li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#a92acf30a884f531f7bdba2b4d4528085">SVF::SymState</a>
 </li>
 <li>symTabFieldJson
 : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c">SVF::SymbolTableInfoReader</a>

package/SVF-doxygen/html/functions_t.html

@@ -325,6 +325,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">SVF::CxtThreadStmt</a>
 </li>
+<li>time
+: <a class="el" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">SVF::SVFBugReport</a>
+</li>
 <li>timeOfBuildCFLGrammar
 : <a class="el" href="classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2">SVF::CFLBase</a>
 </li>
@@ -388,12 +391,12 @@ $(function() {
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
 </li>
-<li>TIMEStatMap
-: <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
-</li>
 <li>timeStatMap
 : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
 </li>
+<li>TIMEStatMap
+: <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
+</li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
 </li>
@@ -695,13 +698,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
 <li>type
-: <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
+, <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>

package/SVF-doxygen/html/functions_v.html

@@ -132,24 +132,24 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5">SVF::ValVar</a>
 </li>
-<li>Var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
-</li>
 <li>var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
 </li>
+<li>Var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>

package/SVF-doxygen/html/functions_vars_c.html

@@ -360,6 +360,9 @@ $(function() {
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
+<li>coverage
+: <a class="el" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">SVF::SVFBugReport</a>
+</li>
 <li>cpts
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">SVF::IndirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>

package/SVF-doxygen/html/functions_vars_m.html

@@ -147,6 +147,7 @@ $(function() {
 </li>
 <li>mem
 : <a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar</a>
+, <a class="el" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">SVF::SVFBugReport</a>
 </li>
 <li>memObjMap
 : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9">SVF::SymbolTableInfoReader</a>

package/SVF-doxygen/html/functions_vars_t.html

@@ -138,6 +138,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">SVF::CxtThreadStmt</a>
 </li>
+<li>time
+: <a class="el" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">SVF::SVFBugReport</a>
+</li>
 <li>timeOfBuildCFLGrammar
 : <a class="el" href="classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2">SVF::CFLBase</a>
 </li>

package/SVF-doxygen/html/functions_w.html

@@ -222,7 +222,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300">SVF::CFBasicBlockGWTOComp</a>
 </li>
 <li>WTOCycleDepth()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
 </li>
 <li>WTOCycleDepthBuilder()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>