npm - svf-tools - Versions diffs - 1.0.618 → 1.0.620 - Mend

svf-tools 1.0.618 → 1.0.620

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (385) hide show

package/SVF-doxygen/html/html/functions_s.html CHANGED Viewed

@@ -71,7 +71,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44">SVF::SrcSnkDDA</a>
 </li>
 <li>SABERFULLSVFG
-: <a class="el" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options</a>
 </li>
 <li>SaberSVFGBuilder()
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#aa66cd30067d39f2083fb671fdc43beb4">SVF::SaberSVFGBuilder</a>
@@ -101,12 +101,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#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</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>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -167,7 +167,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SelectStmt.html#a995baa18cc36d0671be3e98761f9879a">SVF::SelectStmt</a>
 </li>
 <li>SelfCycle
-: <a class="el" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SVF::Options</a>
 </li>
 <li>SEQ
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f">SVF::NodeIDAllocator</a>
@@ -523,7 +523,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1AddressValue.html#a0fed06401997d4259d7ef183343f1949">SVF::AddressValue</a>
 </li>
 <li>setValue()
-: <a class="el" href="classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a">SVF::IntervalValue</a>
+: <a class="el" href="classOption.html#ab40684f5ece904e9b81180ca1012b0b6">Option&lt; T &gt;</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a6ae58a22d43361904c7033f5c790da38">SVF::SVFStmt</a>
 </li>
 <li>setValueAttr()
@@ -579,10 +580,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#a7b6e7cd3b0b8681a4f4885e658632dce">SVF::Z3Expr</a>
 </li>
 <li>ShowHiddenNode
-: <a class="el" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">SVF::Options</a>
 </li>
 <li>ShowSVFIRValue
-: <a class="el" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options</a>
 </li>
 <li>SimpleType
 : <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SVF::SVFUtil::simplify_type&lt; From &gt;</a>
@@ -595,13 +596,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>SingleLoad
-: <a class="el" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SVF::Options</a>
 </li>
 <li>singleRHS2Prods
 : <a class="el" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar</a>
 </li>
 <li>SingleStride
-: <a class="el" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SVF::Options</a>
 </li>
 <li>sinks
 : <a class="el" href="classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80">SVF::ProgSlice</a>
@@ -766,7 +767,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a81785227a688389c68171a1fbd55fa9b">SVF::FlowSensitiveStat</a>
 </li>
 <li>StatBudget
-: <a class="el" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">SVF::Options</a>
 </li>
 <li>STATIC_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a4e7606afe2dabdef9c9836ae798a9d98">SVF::ObjTypeInfo</a>
@@ -797,10 +798,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a">SVF::PointerAnalysis</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>stmtReliance
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438">SVF::VersionedFlowSensitive</a>
@@ -826,7 +827,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a">SVF::MemSSA</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">SVF::ConstraintGraph</a>
@@ -864,12 +865,12 @@ $(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>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>
@@ -965,7 +966,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#ad3ba761e7f2d872e52d60e621546a5b0">SVF::SVFArgument</a>
+: <a class="el" href="classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123">SVF::SVFArgument</a>
 </li>
 <li>SVFArrayTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType</a>
@@ -989,22 +990,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVF::SVFValue</a>
 </li>
 <li>SVFCallInst()
-: <a class="el" href="classSVF_1_1SVFCallInst.html#a8216a845734b0f363a82fd9190702633">SVF::SVFCallInst</a>
+: <a class="el" href="classSVF_1_1SVFCallInst.html#a3b714200f55163d11e40d1bec10148bb">SVF::SVFCallInst</a>
 </li>
 <li>SVFConst
 : <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#a8981bda3ca80a7eb07285138d8218ffa">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
-: <a class="el" href="classSVF_1_1SVFConstantData.html#af2abe8e7f6d994677f4c93e2be11afac">SVF::SVFConstantData</a>
+: <a class="el" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#a815feae0cca159fb0f3f74731c2cea1f">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
-: <a class="el" href="classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2">SVF::SVFConstantInt</a>
+: <a class="el" href="classSVF_1_1SVFConstantInt.html#adf494cdb9fc8a4e0241f81c4fc3133c1">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
 : <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
@@ -1072,7 +1073,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVF::SVFValue</a>
 </li>
 <li>SVFGlobalValue()
-: <a class="el" href="classSVF_1_1SVFGlobalValue.html#aec81144051355d04775807130d22356f">SVF::SVFGlobalValue</a>
+: <a class="el" href="classSVF_1_1SVFGlobalValue.html#aaa876cccdd46e7ef2e094ac4a2a29b04">SVF::SVFGlobalValue</a>
 </li>
 <li>SVFGNode
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7">SVF::SVFGNodeLockSpan</a>
@@ -1147,13 +1148,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9">SVF::SVFGBuilder</a>
 </li>
 <li>SVFGWithIndirectCall
-: <a class="el" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVF::Options</a>
 </li>
 <li>SVFInst
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a245c052c318899d236654d629b855851">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntergerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca880833d3b6778a897bc24d15e58cf021">SVF::SVFType</a>
@@ -1188,13 +1189,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ad15daca24c91c5abe4bbb962979efbde">SVF::ICFG</a>
 </li>
 <li>SVFMain
-: <a class="el" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVF::Options</a>
 </li>
 <li>SVFMetaAsValue
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue</a>
 </li>
 <li>SVFMetadataAsValue()
-: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
+: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a971ae595fc62da1e4fc49b675c54dee4">SVF::SVFMetadataAsValue</a>
 </li>
 <li>svfMod
 : <a class="el" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">SVF::CHGraph</a>
@@ -1222,7 +1223,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a7e8f5d6d9389e3dc14e2ea606d5b0e1a">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>
@@ -1335,7 +1336,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
 </li>
 <li>SymTabPrint
-: <a class="el" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SVF::Options</a>
 </li>
 <li>SYMTYPE
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_t.html CHANGED Viewed

@@ -74,10 +74,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445">SVF::SVFG</a>
 </li>
 <li>TaintUninitHeap
-: <a class="el" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">SVF::Options</a>
 </li>
 <li>TaintUninitStack
-: <a class="el" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">SVF::Options</a>
 </li>
 <li>tcg
 : <a class="el" href="classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799">SVF::MHP</a>
@@ -101,7 +101,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ac8f933e04f7633cfb56b3e33ee2d6808">SVF::MTAResultValidator</a>
 </li>
 <li>TCTDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">SVF::Options</a>
 </li>
 <li>TCTEdge()
 : <a class="el" href="classSVF_1_1TCTEdge.html#a2e0ee6eeade83aee75d65080e976fca4">SVF::TCTEdge</a>
@@ -709,7 +709,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">SVF::DCHNode</a>
 </li>
 <li>TypePrint
-: <a class="el" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">SVF::Options</a>
 </li>
 <li>typeSystem
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed">SVF::PointerAnalysis</a>

package/SVF-doxygen/html/html/functions_type_o.html CHANGED Viewed

@@ -76,6 +76,13 @@ $(function() {
 <li>OPIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OptionPossibilities
+: <a class="el" href="classOptionMap.html#a6a91ecc488c6cc5e82e9faf674258644">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionMultiple&lt; T &gt;</a>
+</li>
+<li>OptionPossibility
+: <a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionBase</a>
+</li>
 <li>OPVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
 </li>

package/SVF-doxygen/html/html/functions_type_p.html CHANGED Viewed

@@ -154,6 +154,12 @@ $(function() {
 <li>PointsToList
 : <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator</a>
 </li>
+<li>PossibilityDescription
+: <a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase</a>
+</li>
+<li>PossibilityDescriptions
+: <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
+</li>
 <li>Production
 : <a class="el" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">SVF::CFLSolver</a>
 , <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase</a>

package/SVF-doxygen/html/html/functions_u.html CHANGED Viewed

@@ -265,6 +265,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>usageAndExit()
+: <a class="el" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">OptionBase</a>
+</li>
 <li>usedMRVers
 : <a class="el" href="classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71">SVF::MemSSA</a>
 </li>
@@ -272,16 +275,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa">SVF::MemSSA</a>
 </li>
 <li>UsePCG
-: <a class="el" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">SVF::Options</a>
 </li>
 <li>UsePreCompFieldSensitive
-: <a class="el" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">SVF::Options</a>
 </li>
 <li>userInput
 : <a class="el" href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">SVF::DDAClient</a>
 </li>
 <li>UserInputQuery
-: <a class="el" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">SVF::Options</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_v.html CHANGED Viewed

@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be">SVF::MTAResultValidator</a>
 </li>
 <li>ValidateTests
-: <a class="el" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">SVF::Options</a>
 </li>
 <li>validateTests()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df">SVF::PointerAnalysis</a>
@@ -113,7 +113,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf">SVF::SymbolTableInfo</a>
 </li>
 <li>value
-: <a class="el" href="classSVF_1_1SVFStmt.html#a629c2be49658085b1209823f00a97ec3">SVF::SVFStmt</a>
+: <a class="el" href="classOption.html#a067413be0c747358947c539a4179d489">Option&lt; T &gt;</a>
+, <a class="el" href="classOptionMap.html#a76d2f6244b1d77932e07ca0c2a3afb57">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classSVF_1_1SVFStmt.html#a629c2be49658085b1209823f00a97ec3">SVF::SVFStmt</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f">SVF::SVFUtil::is_simple_type&lt; X &gt;</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar</a>
 </li>
@@ -143,12 +145,12 @@ $(function() {
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#a4f01c7de5795f85a5f70bbf4f15c70df">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>
@@ -251,7 +253,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb">SVF::VersionedFlowSensitive</a>
 </li>
 <li>VersioningThreads
-: <a class="el" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">SVF::Options</a>
 </li>
 <li>versionPropTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451">SVF::VersionedFlowSensitive</a>
@@ -390,7 +392,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">SVF::SVFIRBuilder</a>
 </li>
 <li>visited()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>visitedCTPs
@@ -487,7 +489,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">SVF::DCHNode</a>
 </li>
 <li>VtableInSVFIR
-: <a class="el" href="classSVF_1_1Options.html#a2a9fe90fae25f3de780f91b7e296b49a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">SVF::Options</a>
 </li>
 <li>VTablePtrToCallSiteMap
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2">SVF::AliasDDAClient</a>

package/SVF-doxygen/html/html/functions_vars_a.html CHANGED Viewed

@@ -98,7 +98,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b">SVF::MTASVFGBuilder</a>
 </li>
 <li>AddModelFlag
-: <a class="el" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">SVF::Options</a>
 </li>
 <li>AddrCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
@@ -128,7 +128,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e">SVF::PointerAnalysis</a>
 </li>
 <li>AliasRule
-: <a class="el" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">SVF::Options</a>
 </li>
 <li>AliasSet
 : <a class="el" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">SVF::SVFModule</a>
@@ -185,19 +185,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64">SVF::NodeIDAllocator</a>
 </li>
 <li>AllPairMHP
-: <a class="el" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options</a>
 </li>
 <li>ander
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d">SVF::FlowSensitive</a>
 </li>
 <li>AndersenAnno
-: <a class="el" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">SVF::Options</a>
 </li>
 <li>AnderSVFG
-: <a class="el" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">SVF::Options</a>
 </li>
 <li>AnderTimeLimit
-: <a class="el" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1">SVF::Options</a>
 </li>
 <li>ANNO_ALIAS
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a27f54c50256fc4a2f96fa2305ad04eb1">SVF::MTAAnnotator</a>
@@ -209,7 +209,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a4e10dbbb742125ebcbdc079ad647b87b">SVF::MTAAnnotator</a>
 </li>
 <li>AnnoFlag
-: <a class="el" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">SVF::Options</a>
 </li>
 <li>AnnotationTime
 : <a class="el" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">SVF::MTAStat</a>

package/SVF-doxygen/html/html/functions_vars_b.html CHANGED Viewed

@@ -130,7 +130,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10">SVF::IntraCFGEdge</a>
 </li>
 <li>BriefConsCGDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">SVF::Options</a>
 </li>
 <li>brInst
 : <a class="el" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt</a>

package/SVF-doxygen/html/html/functions_vars_c.html CHANGED Viewed

@@ -88,7 +88,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a0c8cf98b652b5eb97d22e2636576f92f">SVF::VFG</a>
 </li>
 <li>CallGraphDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567">SVF::Options</a>
 </li>
 <li>callGraphNodeNum
 : <a class="el" href="classSVF_1_1PTACallGraph.html#af0e1a940677fb7f6c4aaef2f9c46c3e5">SVF::PTACallGraph</a>
@@ -194,10 +194,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">SVF::CFLGraph</a>
 </li>
 <li>CFLGraph
-: <a class="el" href="classSVF_1_1Options.html#a87b63f1f8f4f65cdf6647f9f056ffc53">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">SVF::Options</a>
 </li>
 <li>CFLSVFG
-: <a class="el" href="classSVF_1_1Options.html#a13ff50def26bcf8f79d3222c6948cbfe">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options</a>
 </li>
 <li>chaFFMap
 : <a class="el" href="classSVF_1_1DCHGraph.html#abe8d313b501182ab62f2276a19d670a4">SVF::DCHGraph</a>
@@ -241,19 +241,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0">SVF::CHGraph</a>
 </li>
 <li>ClockType
-: <a class="el" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options</a>
 </li>
 <li>clpList
 : <a class="el" href="classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e">SVF::LockAnalysis</a>
 </li>
 <li>ClusterAnder
-: <a class="el" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16">SVF::Options</a>
 </li>
 <li>ClusterFs
-: <a class="el" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f">SVF::Options</a>
 </li>
 <li>ClusterMethod
-: <a class="el" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">SVF::Options</a>
 </li>
 <li>CollapseTime
 : <a class="el" href="classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15">SVF::AndersenStat</a>
@@ -292,13 +292,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0">SVF::SVFGStat</a>
 </li>
 <li>ConnectVCallOnCHA
-: <a class="el" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">SVF::Options</a>
 </li>
 <li>consCG
 : <a class="el" href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">SVF::AndersenBase</a>
 </li>
 <li>ConsCGDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95">SVF::Options</a>
 </li>
 <li>constantObjectId
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a6a300a5b455fe4b8bace2f1d66fb5f9d">SVF::NodeIDAllocator</a>
@@ -327,7 +327,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">SVF::DDAStat</a>
 </li>
 <li>ContextInsensitive
-: <a class="el" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">SVF::Options</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -465,13 +465,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#aaab9574a6688d2d47d155eb5e79938c3">SVF::MTAResultValidator</a>
 </li>
 <li>CxtBudget
-: <a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
 </li>
 <li>CxtLimit
-: <a class="el" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5">SVF::Options</a>
 </li>
 <li>cxtLockset
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_vars_d.html CHANGED Viewed

@@ -75,7 +75,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">SVF::FILOWorkList&lt; Data &gt;</a>
 </li>
 <li>DDASelected
-: <a class="el" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">SVF::Options</a>
 </li>
 <li>ddaStat
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ae40c7bad663e0fa07dee4be3d1794ff2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -99,8 +99,11 @@ $(function() {
 : <a class="el" href="structparse__buffer.html#af613c4ed7d73f76c60c50d1bcf4c67a0">parse_buffer</a>
 , <a class="el" href="structprintbuffer.html#aa7311b5da38ff8d1737824c611b48732">printbuffer</a>
 </li>
+<li>description
+: <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">OptionBase</a>
+</li>
 <li>DetectPWC
-: <a class="el" href="classSVF_1_1Options.html#a1d299e736ee653759d340508fd30c6ab">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">SVF::Options</a>
 </li>
 <li>dfBBsMap
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723">SVF::SVFLoopAndDomInfo</a>
@@ -114,7 +117,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>DiffPts
-: <a class="el" href="classSVF_1_1Options.html#a3e311bdcdaf0e39fd7d8566dc7866a44">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">SVF::Options</a>
 </li>
 <li>diffPtsMap
 : <a class="el" href="classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -145,7 +148,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ae086de68233375be42185f0af706687a">SVF::FlowSensitive</a>
 </li>
 <li>DisableWarn
-: <a class="el" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">SVF::Options</a>
 </li>
 <li>DistanceMatrixTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8">SVF::NodeIDAllocator::Clusterer</a>
@@ -157,7 +160,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a581ce71cbc7994f71c9a6b9b145d3b9f">SVF::DCHGraph</a>
 </li>
 <li>DoLockAnalysis
-: <a class="el" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666">SVF::Options</a>
 </li>
 <li>dpmToADCPtSetMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -184,34 +187,34 @@ $(function() {
 : <a class="el" href="classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>DumpCHA
-: <a class="el" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">SVF::Options</a>
 </li>
 <li>DumpFree
-: <a class="el" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4">SVF::Options</a>
 </li>
 <li>DumpICFG
-: <a class="el" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options</a>
 </li>
 <li>DumpMSSA
-: <a class="el" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">SVF::Options</a>
 </li>
 <li>DumpSlice
-: <a class="el" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db">SVF::Options</a>
 </li>
 <li>DumpSUPts
-: <a class="el" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">SVF::Options</a>
 </li>
 <li>DumpSUStore
-: <a class="el" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">SVF::Options</a>
 </li>
 <li>DumpUninitPtr
-: <a class="el" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">SVF::Options</a>
 </li>
 <li>DumpUninitVar
-: <a class="el" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025">SVF::Options</a>
 </li>
 <li>DumpVFG
-: <a class="el" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options</a>
 </li>
 <li>dval
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">SVF::SVFConstantFP</a>

package/SVF-doxygen/html/html/functions_vars_e.html CHANGED Viewed

@@ -110,10 +110,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d">SVF::ObjTypeInfo</a>
 </li>
 <li>EnableAliasCheck
-: <a class="el" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">SVF::Options</a>
 </li>
 <li>EnableThreadCallGraph
-: <a class="el" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">SVF::Options</a>
 </li>
 <li>end_iterator
 : <a class="el" href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">SVF::iter_range&lt; IteratorT &gt;</a>