svf-tools 1.0.619 → 1.0.621

package/SVF-doxygen/html/html/functions_p.html

@@ -75,7 +75,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">SVF::SVFIR</a>
 </li>
 <li>PAGDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">SVF::Options</a>
 </li>
 <li>pagEdge
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49">SVF::StmtVFGNode</a>
@@ -170,7 +170,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474">SVF::VFG</a>
 </li>
 <li>PAGPrint
-: <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options</a>
 </li>
 <li>pagReadFromTXT()
 : <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
@@ -206,9 +206,18 @@ $(function() {
 <li>parForSitesEnd()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728">SVF::ThreadCallGraph</a>
 </li>
+<li>parseAndSetValue()
+: <a class="el" href="classOption.html#a4bce0f38bb5ae80e3ce435e736df6f50">Option&lt; T &gt;</a>
+, <a class="el" href="classOptionBase.html#af20460d3ee3bcfbb036120339996efd8">OptionBase</a>
+, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#af175c4dde2e877dbf52eb20bd836615e">OptionMultiple&lt; T &gt;</a>
+</li>
 <li>parseOperations()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad8a2b261ce86d6aa45f90095db2b2a94">SVF::SVFIRBuilder</a>
 </li>
+<li>parseOptions()
+: <a class="el" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase</a>
+</li>
 <li>parseProductionsString()
 : <a class="el" href="classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc">SVF::GrammarBuilder</a>
 </li>
@@ -228,7 +237,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#ac0b966ee2065607a24920dd9067b40e9">SVF::MRGenerator</a>
 </li>
 <li>PASelected
-: <a class="el" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">SVF::Options</a>
 </li>
 <li>PATH_LEAK
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda">SVF::LeakChecker</a>
@@ -249,7 +258,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVF::SVFStmt</a>
 </li>
 <li>PEGTransfer
-: <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">SVF::Options</a>
 </li>
 <li>performAddingMHPEdges()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3">SVF::MTASVFGBuilder</a>
@@ -378,7 +387,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
 </li>
 <li>PhiStmt()
-: <a class="el" href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">SVF::PhiStmt</a>
+: <a class="el" href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">SVF::PhiStmt</a>
 </li>
 <li>phiTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
@@ -390,7 +399,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b">SVF::FlowSensitive</a>
 </li>
 <li>PlainMappingFs
-: <a class="el" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">SVF::Options</a>
 </li>
 <li>plus_infinity()
 : <a class="el" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">SVF::IntervalValue</a>
@@ -399,6 +408,10 @@ $(function() {
 <li>PNODEK
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">SVF::SVFVar</a>
 </li>
+<li>POCRAlias
+: <a class="el" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options</a>
+, <a class="el" href="classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9">SVF::POCRAlias</a>
+</li>
 <li>pointee_iter()
 : <a class="el" href="structSVF_1_1pointee__iter.html#a99d911b02890643ba8680b140999b59e">SVF::pointee_iter&lt; WrappedIteratorT, T &gt;</a>
 </li>
@@ -456,6 +469,19 @@ $(function() {
 <li>position
 : <a class="el" href="structerror.html#a24de70a4d517ab351d80c18582cadb66">error</a>
 </li>
+<li>possibilities
+: <a class="el" href="classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">OptionMultiple&lt; T &gt;</a>
+</li>
+<li>PossibilityDescription
+: <a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase</a>
+</li>
+<li>possibilityDescriptions
+: <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
+</li>
+<li>PossibilityDescriptions
+: <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
+</li>
 <li>postDominate()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313">SVF::SaberCondAllocator</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#acc4af12afb0bc14982060d2e3baa1929">SVF::SVFFunction</a>
@@ -474,11 +500,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
 </li>
 <li>PredictPtOcc
-: <a class="el" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options</a>
 </li>
 <li>predInsts
 : <a class="el" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction</a>
 </li>
+<li>predMap
+: <a class="el" href="classSVF_1_1CFLData.html#a2b4400347283831800ccd3db50230e2c">SVF::CFLData</a>
+</li>
 <li>preemptiveComplements
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
@@ -525,25 +554,25 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d">SVF::PointerAnalysis</a>
 </li>
 <li>PrintAliases
-: <a class="el" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options</a>
 </li>
 <li>PrintAliasPairs()
 : <a class="el" href="classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752">SVF::WPAPass</a>
 </li>
 <li>PrintCFL
-: <a class="el" href="classSVF_1_1Options.html#a0beb2da0f9ab691c0b7729bb42f8354c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options</a>
 </li>
 <li>PrintCGGraph
-: <a class="el" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">SVF::Options</a>
 </li>
 <li>printCH()
 : <a class="el" href="classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140">SVF::CHGraph</a>
 </li>
 <li>PrintCPts
-: <a class="el" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">SVF::Options</a>
 </li>
 <li>PrintDCHG
-: <a class="el" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options</a>
 </li>
 <li>printExprValues()
 : <a class="el" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">SVF::ExeState</a>
@@ -563,16 +592,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415">SVF::MHP</a>
 </li>
 <li>PrintInterLev
-: <a class="el" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">SVF::Options</a>
 </li>
 <li>printLocks()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a">SVF::LockAnalysis</a>
 </li>
 <li>PrintLockSpan
-: <a class="el" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options</a>
 </li>
 <li>PrintPathCond
-: <a class="el" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">SVF::Options</a>
 </li>
 <li>printPathCond()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03">SVF::SaberCondAllocator</a>
@@ -581,7 +610,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f">SVF::DDAPass</a>
 </li>
 <li>PrintQueryPts
-: <a class="el" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">SVF::Options</a>
 </li>
 <li>printResults()
 : <a class="el" href="classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0">SVF::PCG</a>
@@ -604,13 +633,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>printTable()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#adbfb716c41fdc758f792e8ffb81a17fa">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">SVF::IntervalExeState</a>
 </li>
 <li>printTDFuns()
 : <a class="el" href="classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e">SVF::PCG</a>
 </li>
 <li>PrintValidRes
-: <a class="el" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">SVF::Options</a>
 </li>
 <li>printZ3Stat()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a8aa11629166b76a7b6555dee85e512b2">SVF::SrcSnkDDA</a>
@@ -763,7 +792,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e">SVF::MTAAnnotator</a>
 </li>
 <li>PStat
-: <a class="el" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">SVF::Options</a>
 </li>
 <li>pt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5">SVF::PointsTo::PointsToIterator</a>
@@ -796,12 +825,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>ptaImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
-</li>
 <li>PTAImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
 </li>
+<li>ptaImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -813,19 +842,21 @@ $(function() {
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>ptaTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
-</li>
 <li>PTATY
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
 </li>
+<li>ptaTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
+</li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
 </li>
 <li>ptaVector
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
+<li>PTAVector
+: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
+</li>
 <li>PTBackingType
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
@@ -843,7 +874,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptDataBacking
-: <a class="el" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">SVF::Options</a>
 </li>
 <li>PTDataTy
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acfdb43f20bbcababc928cc4df93a8483">SVF::BVDataPTAImpl</a>
@@ -896,17 +927,17 @@ $(function() {
 <li>PtrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>PtrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToNSMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>PTSAllPrint
-: <a class="el" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">SVF::Options</a>
 </li>
 <li>PtsMap
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291">SVF::FlowSensitive</a>
@@ -931,7 +962,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PTSPrint
-: <a class="el" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">SVF::Options</a>
 </li>
 <li>ptsSizeStat()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5">SVF::VersionedFlowSensitiveStat</a>
@@ -949,7 +980,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">SVF::IntraDisjointMRG</a>
 </li>
 <li>PtType
-: <a class="el" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">SVF::Options</a>
 </li>
 <li>PURE_ABSTRACT
 : <a class="el" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode</a>
@@ -971,7 +1002,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a028734f4520172aa5abed48628b44dc3">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ac5993b55304d38e077d19c4ac2d680f0">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">SVF::CFLSolver</a>

package/SVF-doxygen/html/html/functions_r.html

@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5">SVF::ProgSlice</a>
 </li>
 <li>ReadAnder
-: <a class="el" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">SVF::Options</a>
 </li>
 <li>readFile()
 : <a class="el" href="classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858">SVF::SVFG</a>
@@ -110,10 +110,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
 </li>
 <li>ReadPrecisionTDEdge
-: <a class="el" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">SVF::Options</a>
 </li>
 <li>ReadSVFG
-: <a class="el" href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">SVF::Options</a>
 </li>
 <li>realDefFun
 : <a class="el" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction</a>
@@ -163,10 +163,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121">SVF::MemSSA</a>
 </li>
 <li>RegionAlign
-: <a class="el" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">SVF::Options</a>
 </li>
 <li>RegionedClustering
-: <a class="el" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">SVF::Options</a>
 </li>
 <li>RegioningTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a">SVF::NodeIDAllocator::Clusterer</a>
@@ -566,14 +566,12 @@ $(function() {
 <li>reverseNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <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

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

@@ -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>
@@ -115,13 +115,11 @@ $(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>
@@ -167,7 +165,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 +521,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 +578,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 +594,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 +765,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 +796,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 +825,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,18 +863,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#a357e1654e30b2f91f6ea30ea5a52e91d">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#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
+<li>StoresToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -949,6 +948,9 @@ $(function() {
 <li>succInsts
 : <a class="el" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction</a>
 </li>
+<li>succMap
+: <a class="el" href="classSVF_1_1CFLData.html#a58bc39506945e1c7eaaf542c9e93aefa">SVF::CFLData</a>
+</li>
 <li>succset
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262">SVF::MTASVFGBuilder</a>
 </li>
@@ -965,7 +967,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,13 +991,13 @@ $(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>
@@ -1004,7 +1006,7 @@ $(function() {
 : <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>
@@ -1147,7 +1149,7 @@ $(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>
@@ -1188,13 +1190,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 +1224,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>
@@ -1262,7 +1264,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#ae8c4023976117479f77b9d09edff13b9">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
 </li>
 <li>svfTypes
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9">SVF::SymbolTableInfo</a>
@@ -1335,7 +1337,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>