svf-tools 1.0.296 → 1.0.300

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 (64) hide show
  1. package/README.md +1 -0
  2. package/SVF-doxygen/html/html/PathCondAllocator_8cpp.html +3 -3
  3. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +11 -11
  4. package/SVF-doxygen/html/html/PathCondAllocator_8h.html +2 -2
  5. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +10 -10
  6. package/SVF-doxygen/html/html/ProgSlice_8h.html +1 -1
  7. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
  8. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  9. package/SVF-doxygen/html/html/classSVF_1_1DPItem.html +1 -1
  10. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +33 -28
  11. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
  12. package/SVF-doxygen/html/html/dir_862d3276083eaac55caed79b9120bf29.html +0 -2
  13. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +0 -2
  14. package/SVF-doxygen/html/html/dir_f64ba85ee2ef09a6a63396483e9e686d.html +2 -0
  15. package/SVF-doxygen/html/html/dir_fdb79cd259bf25322a80ea604c9317b5.html +2 -0
  16. package/SVF-doxygen/html/html/files.html +25 -25
  17. package/SVF-doxygen/html/html/functions_c.html +10 -12
  18. package/SVF-doxygen/html/html/functions_f.html +9 -9
  19. package/SVF-doxygen/html/html/functions_func_c.html +5 -5
  20. package/SVF-doxygen/html/html/functions_func_g.html +4 -4
  21. package/SVF-doxygen/html/html/functions_func_i.html +2 -2
  22. package/SVF-doxygen/html/html/functions_g.html +4 -4
  23. package/SVF-doxygen/html/html/functions_i.html +2 -2
  24. package/SVF-doxygen/html/html/functions_l.html +3 -3
  25. package/SVF-doxygen/html/html/functions_n.html +3 -3
  26. package/SVF-doxygen/html/html/functions_o.html +3 -3
  27. package/SVF-doxygen/html/html/functions_p.html +3 -3
  28. package/SVF-doxygen/html/html/functions_r.html +5 -3
  29. package/SVF-doxygen/html/html/functions_s.html +12 -10
  30. package/SVF-doxygen/html/html/functions_t.html +7 -7
  31. package/SVF-doxygen/html/html/functions_v.html +3 -3
  32. package/SVF-doxygen/html/html/functions_w.html +6 -8
  33. package/SVF-doxygen/html/html/search/all_10.js +3 -3
  34. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  35. package/SVF-doxygen/html/html/search/all_13.js +9 -9
  36. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  37. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  38. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  39. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  40. package/SVF-doxygen/html/html/search/all_3.js +11 -11
  41. package/SVF-doxygen/html/html/search/all_4.js +2 -2
  42. package/SVF-doxygen/html/html/search/all_6.js +3 -3
  43. package/SVF-doxygen/html/html/search/all_7.js +9 -9
  44. package/SVF-doxygen/html/html/search/all_9.js +3 -3
  45. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  46. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  47. package/SVF-doxygen/html/html/search/all_e.js +4 -4
  48. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  49. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  50. package/SVF-doxygen/html/html/search/functions_2.js +7 -7
  51. package/SVF-doxygen/html/html/search/functions_3.js +2 -2
  52. package/SVF-doxygen/html/html/search/functions_6.js +9 -9
  53. package/SVF-doxygen/html/html/search/functions_8.js +3 -3
  54. package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
  55. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  56. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  57. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  58. package/SVF-doxygen/html/html/search/variables_6.js +1 -1
  59. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  60. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  61. package/include/{Util → SABER}/PathCondAllocator.h +0 -0
  62. package/include/SABER/ProgSlice.h +1 -1
  63. package/lib/{Util → SABER}/PathCondAllocator.cpp +26 -27
  64. package/package.json +1 -1
package/SVF-doxygen/html/html/search/all_3.js CHANGED
@@ -61,7 +61,7 @@ var searchData=
61
61
  ['callpes',['callPEs',['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode']]],
62
62
  ['callpeset',['CallPESet',['../classSVF_1_1ICFGNode.html#ab1a4b4a8dc600ca375d9f5adbd2a5b59',1,'SVF::ICFGNode::CallPESet()'],['../classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874',1,'SVF::VFG::CallPESet()'],['../classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f',1,'SVF::VFGNode::CallPESet()']]],
63
63
  ['callretedge',['CallRetEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69',1,'SVF::PTACallGraphEdge']]],
64
- ['callsite',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF::CallSite'],['../classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d',1,'SVF::CallCHI::callsite()'],['../classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df',1,'SVF::CallSite::CallSite(Instruction *I)'],['../classSVF_1_1CallSite.html#afb7abd481e9e7c88c203738514a02c98',1,'SVF::CallSite::CallSite(Value *I)']]],
64
+ ['callsite',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF::CallSite'],['../classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df',1,'SVF::CallSite::CallSite(Instruction *I)'],['../classSVF_1_1CallSite.html#afb7abd481e9e7c88c203738514a02c98',1,'SVF::CallSite::CallSite(Value *I)'],['../classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d',1,'SVF::CallCHI::callsite()']]],
65
65
  ['callsite2dummyvalpn',['CallSite2DummyValPN',['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541',1,'SVF::Andersen::callsite2DummyValPN()']]],
66
66
  ['callsiteargslistmap',['callSiteArgsListMap',['../classSVF_1_1PAG.html#acc5e6a8469badb11c8f56738be4deb63',1,'SVF::PAG']]],
67
67
  ['callsitehasret',['callsiteHasRet',['../classSVF_1_1PAG.html#a0ed3da89d9cba90888e04969dc43f5a3',1,'SVF::PAG']]],
@@ -126,7 +126,7 @@ var searchData=
126
126
  ['cflsolver',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF::CFLSolver< GraphType, DPIm >'],['../classSVF_1_1CFLSolver.html#ab339e69dd2f2aa2f98fb549e979838af',1,'SVF::CFLSolver::CFLSolver()']]],
127
127
  ['cflsolver_2eh',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
128
128
  ['cflsrcsnksolver',['CFLSrcSnkSolver',['../namespaceSVF.html#a6144ebf5a46ac5e8899044864caf92ba',1,'SVF']]],
129
- ['cfworklist',['CFWorkList',['../classSVF_1_1ProgSlice.html#ab13cc8f64fed5f06b11f7ca67cbc0dc5',1,'SVF::ProgSlice::CFWorkList()'],['../classSVF_1_1PathCondAllocator.html#ac578894f959845164e1343384d60def1',1,'SVF::PathCondAllocator::CFWorkList()']]],
129
+ ['cfworklist',['CFWorkList',['../classSVF_1_1PathCondAllocator.html#ac578894f959845164e1343384d60def1',1,'SVF::PathCondAllocator::CFWorkList()'],['../classSVF_1_1ProgSlice.html#ab13cc8f64fed5f06b11f7ca67cbc0dc5',1,'SVF::ProgSlice::CFWorkList()']]],
130
130
  ['cgek',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
131
131
  ['cgscc',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
132
132
  ['cha',['cha',['../classSVF_1_1DCHGraph.html#a0a3dfe1f2757eabd75082e2c4caec47a',1,'SVF::DCHGraph']]],
@@ -179,7 +179,7 @@ var searchData=
179
179
  ['clearalldfoutvarflag',['clearAllDFOutVarFlag',['../classSVF_1_1FlowSensitive.html#a9622f0b7b16694b0c74b07834f598e67',1,'SVF::FlowSensitive']]],
180
180
  ['clearallpts',['clearAllPts',['../classSVF_1_1BVDataPTAImpl.html#a4426df37aeabeb94d301373b55a53c20',1,'SVF::BVDataPTAImpl']]],
181
181
  ['clearbkvisited',['clearbkVisited',['../classSVF_1_1DDAVFSolver.html#aa7e5839c5bc6f913561de10bce61e74b',1,'SVF::DDAVFSolver']]],
182
- ['clearcfcond',['clearCFCond',['../classSVF_1_1ProgSlice.html#ab514f387ae2122e919030c5006f1bbce',1,'SVF::ProgSlice::clearCFCond()'],['../classSVF_1_1PathCondAllocator.html#a3462dbe3d0f8df08e3b6a6c6ef0b065c',1,'SVF::PathCondAllocator::clearCFCond()']]],
182
+ ['clearcfcond',['clearCFCond',['../classSVF_1_1PathCondAllocator.html#a3462dbe3d0f8df08e3b6a6c6ef0b065c',1,'SVF::PathCondAllocator::clearCFCond()'],['../classSVF_1_1ProgSlice.html#ab514f387ae2122e919030c5006f1bbce',1,'SVF::ProgSlice::clearCFCond()']]],
183
183
  ['clearflagmap',['clearFlagMap',['../classSVF_1_1LockAnalysis.html#adffd808458057544e3492c7afffeeebe',1,'SVF::LockAnalysis::clearFlagMap()'],['../classSVF_1_1ForkJoinAnalysis.html#a7965a276a3a12d532c9967de13d4cc8a',1,'SVF::ForkJoinAnalysis::clearFlagMap()']]],
184
184
  ['clearfullpts',['clearFullPts',['../classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac',1,'SVF::PTData::clearFullPts()'],['../classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9',1,'SVF::VersionedPTData::clearFullPts()'],['../classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77',1,'SVF::MutablePTData::clearFullPts()'],['../classSVF_1_1MutableDiffPTData.html#a8b6e2e5e016a5ae00ae440e3f383bb16',1,'SVF::MutableDiffPTData::clearFullPts()'],['../classSVF_1_1MutableDFPTData.html#ab345e148997b9e1c6e4c2c76267880b7',1,'SVF::MutableDFPTData::clearFullPts()'],['../classSVF_1_1MutableVersionedPTData.html#a9f985ff2daee53fb661e4b2bcfd17f05',1,'SVF::MutableVersionedPTData::clearFullPts(const Key &k) override'],['../classSVF_1_1MutableVersionedPTData.html#aaf3df7501f84233f6a687ef9f2f0ae90',1,'SVF::MutableVersionedPTData::clearFullPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6',1,'SVF::PersistentPTData::clearFullPts()'],['../classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87',1,'SVF::PersistentDiffPTData::clearFullPts()'],['../classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9',1,'SVF::PersistentDFPTData::clearFullPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185',1,'SVF::PersistentVersionedPTData::clearFullPts(const Key &k) override'],['../classSVF_1_1PersistentVersionedPTData.html#a78f2b0ee440ed5b358928ee775e95564',1,'SVF::PersistentVersionedPTData::clearFullPts(const VersionedKey &vk) override'],['../classSVF_1_1BVDataPTAImpl.html#afdb10c2cce4935156566ea1c2daf9ea9',1,'SVF::BVDataPTAImpl::clearFullPts()']]],
185
185
  ['clearmssa',['clearMSSA',['../classSVF_1_1SVFG.html#aeba803e60699f9d9422596d161d44241',1,'SVF::SVFG']]],
@@ -269,29 +269,29 @@ var searchData=
269
269
  ['computeddapts',['computeDDAPts',['../classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5',1,'SVF::ContextDDA::computeDDAPts(NodeID id) override'],['../classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864',1,'SVF::ContextDDA::computeDDAPts(const CxtVar &cxtVar)'],['../classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0',1,'SVF::FlowDDA::computeDDAPts()'],['../classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d',1,'SVF::PointerAnalysis::computeDDAPts()']]],
270
270
  ['computediffpts',['computeDiffPts',['../classSVF_1_1DiffPTData.html#a6eab8e1201083ed8705379e100cfb3b7',1,'SVF::DiffPTData::computeDiffPts()'],['../classSVF_1_1MutableDiffPTData.html#ac97bd53101f306c46ab4349a808f67c9',1,'SVF::MutableDiffPTData::computeDiffPts()'],['../classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3',1,'SVF::PersistentDiffPTData::computeDiffPts()'],['../classSVF_1_1Andersen.html#a7e26ac6fb40684694f7ff2aadfde8bc7',1,'SVF::Andersen::computeDiffPts()'],['../classSVF_1_1AndersenWaveDiffWithType.html#a96c316aff7fa595ddaca317f7a877398',1,'SVF::AndersenWaveDiffWithType::computeDiffPts()']]],
271
271
  ['computegepoffset',['computeGepOffset',['../classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2',1,'SVF::PAGBuilder::computeGepOffset()'],['../classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db',1,'SVF::SymbolTableInfo::computeGepOffset()'],['../classSVF_1_1LocSymTableInfo.html#a4aa6bf984692e879ad12806d35a6d2be',1,'SVF::LocSymTableInfo::computeGepOffset()']]],
272
- ['computeintercallvfgguard',['ComputeInterCallVFGGuard',['../classSVF_1_1ProgSlice.html#ae6ca91373bb2a5c2ddc3b20feb630fe6',1,'SVF::ProgSlice::ComputeInterCallVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a9c3361e3f37d640b177c3955f3c3667f',1,'SVF::PathCondAllocator::ComputeInterCallVFGGuard()']]],
273
- ['computeinterretvfgguard',['ComputeInterRetVFGGuard',['../classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5',1,'SVF::ProgSlice::ComputeInterRetVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a5015e36d00ac59ef2b832019b8f922f5',1,'SVF::PathCondAllocator::ComputeInterRetVFGGuard()']]],
272
+ ['computeintercallvfgguard',['ComputeInterCallVFGGuard',['../classSVF_1_1PathCondAllocator.html#a9c3361e3f37d640b177c3955f3c3667f',1,'SVF::PathCondAllocator::ComputeInterCallVFGGuard()'],['../classSVF_1_1ProgSlice.html#ae6ca91373bb2a5c2ddc3b20feb630fe6',1,'SVF::ProgSlice::ComputeInterCallVFGGuard()']]],
273
+ ['computeinterretvfgguard',['ComputeInterRetVFGGuard',['../classSVF_1_1PathCondAllocator.html#a5015e36d00ac59ef2b832019b8f922f5',1,'SVF::PathCondAllocator::ComputeInterRetVFGGuard()'],['../classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5',1,'SVF::ProgSlice::ComputeInterRetVFGGuard()']]],
274
274
  ['computeintersections',['computeIntersections',['../classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d',1,'SVF::IntraDisjointMRG']]],
275
- ['computeintravfgguard',['ComputeIntraVFGGuard',['../classSVF_1_1ProgSlice.html#ab945cc59c20bb4801f6e11120cc6940d',1,'SVF::ProgSlice::ComputeIntraVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a5ab573cce84584c44778611ba6f4d99c',1,'SVF::PathCondAllocator::ComputeIntraVFGGuard()']]],
275
+ ['computeintravfgguard',['ComputeIntraVFGGuard',['../classSVF_1_1PathCondAllocator.html#a5ab573cce84584c44778611ba6f4d99c',1,'SVF::PathCondAllocator::ComputeIntraVFGGuard()'],['../classSVF_1_1ProgSlice.html#ab945cc59c20bb4801f6e11120cc6940d',1,'SVF::ProgSlice::ComputeIntraVFGGuard()']]],
276
276
  ['computelb',['computeLB',['../cuddInt_8c.html#a5edd4a7f4fb8bb5aeef67e77b18b2bfe',1,'cuddInt.c']]],
277
277
  ['computelocksets',['computeLocksets',['../classSVF_1_1MTA.html#a0f4805f195ebd42d81127b1a79333c75',1,'SVF::MTA']]],
278
278
  ['computemhp',['computeMHP',['../classSVF_1_1MTA.html#a4f2f17975aabd2c4b9a3b2fbf3b1a487',1,'SVF::MTA']]],
279
279
  ['concretecxt',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
280
280
  ['cond',['cond',['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e',1,'SVF::CondPointsToSet::CondPtsSetIterator::cond()']]],
281
- ['condand',['condAnd',['../classSVF_1_1ProgSlice.html#a37d2e74fd977ebf9bfbe881bbe1c4a95',1,'SVF::ProgSlice::condAnd()'],['../classSVF_1_1PathCondAllocator.html#ab0e41d1eacfc6ee2cf42a9ce69cdcb61',1,'SVF::PathCondAllocator::condAnd()'],['../classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778',1,'SVF::VFPathCond::condAnd()']]],
281
+ ['condand',['condAnd',['../classSVF_1_1PathCondAllocator.html#ab0e41d1eacfc6ee2cf42a9ce69cdcb61',1,'SVF::PathCondAllocator::condAnd()'],['../classSVF_1_1ProgSlice.html#a37d2e74fd977ebf9bfbe881bbe1c4a95',1,'SVF::ProgSlice::condAnd()'],['../classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778',1,'SVF::VFPathCond::condAnd()']]],
282
282
  ['condensedindex',['condensedIndex',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac8c209af1d177cbc8fbbfe4526fe8ce2',1,'SVF::NodeIDAllocator::Clusterer']]],
283
283
  ['condexpr',['CondExpr',['../classSVF_1_1CondExpr.html',1,'SVF::CondExpr'],['../classSVF_1_1CondExpr.html#af925a6e646b64db7aacf301b37b89b05',1,'SVF::CondExpr::CondExpr()']]],
284
284
  ['condexprk',['condExprK',['../classSVF_1_1CondExpr.html#aa7cbd249e276b768b22677f5efd83dd1',1,'SVF::CondExpr']]],
285
285
  ['condexprkind',['CondExprKind',['../classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6',1,'SVF::CondExpr']]],
286
286
  ['condimpl',['CondImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292',1,'SVF::PointerAnalysis']]],
287
- ['condition',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1ProgSlice.html#a3dc89d666a0f369ca85e13632676e6aa',1,'SVF::ProgSlice::Condition()'],['../classSVF_1_1PathCondAllocator.html#aade2bc55c3882a6cacc3c4a891a1c4a3',1,'SVF::PathCondAllocator::Condition()']]],
287
+ ['condition',['Condition',['../classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5',1,'SVF::MemRegion::Condition()'],['../classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a',1,'SVF::MemSSA::Condition()'],['../classSVF_1_1PathCondAllocator.html#aade2bc55c3882a6cacc3c4a891a1c4a3',1,'SVF::PathCondAllocator::Condition()'],['../classSVF_1_1ProgSlice.html#a3dc89d666a0f369ca85e13632676e6aa',1,'SVF::ProgSlice::Condition()']]],
288
288
  ['conditionalpt_2eh',['ConditionalPT.h',['../ConditionalPT_8h.html',1,'']]],
289
289
  ['conditions_2ecpp',['Conditions.cpp',['../Conditions_8cpp.html',1,'']]],
290
290
  ['conditions_2eh',['Conditions.h',['../Conditions_8h.html',1,'']]],
291
291
  ['condmanager',['CondManager',['../classSVF_1_1CondManager.html',1,'SVF::CondManager'],['../classSVF_1_1CondManager.html#aa307bb05b92907ccf8859b4bac53b796',1,'SVF::CondManager::CondManager()']]],
292
- ['condmgr',['condMgr',['../classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f',1,'SVF::CondManager::condMgr()'],['../classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd',1,'SVF::PathCondAllocator::condMgr()']]],
293
- ['condneg',['condNeg',['../classSVF_1_1ProgSlice.html#af90dd6f54db7bef80cd7e5c97e8dd193',1,'SVF::ProgSlice::condNeg()'],['../classSVF_1_1PathCondAllocator.html#ac1ed60a8f59a55811c97c83def3bb739',1,'SVF::PathCondAllocator::condNeg()']]],
294
- ['condor',['condOr',['../classSVF_1_1ProgSlice.html#ac57638eaa2f656b8a7a5e3484c8e1265',1,'SVF::ProgSlice::condOr()'],['../classSVF_1_1PathCondAllocator.html#a5a8c25d74ffc2a8f8dbd20faab4d9803',1,'SVF::PathCondAllocator::condOr()'],['../classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203',1,'SVF::VFPathCond::condOr()']]],
292
+ ['condmgr',['condMgr',['../classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd',1,'SVF::PathCondAllocator::condMgr()'],['../classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f',1,'SVF::CondManager::condMgr()']]],
293
+ ['condneg',['condNeg',['../classSVF_1_1PathCondAllocator.html#ac1ed60a8f59a55811c97c83def3bb739',1,'SVF::PathCondAllocator::condNeg()'],['../classSVF_1_1ProgSlice.html#af90dd6f54db7bef80cd7e5c97e8dd193',1,'SVF::ProgSlice::condNeg()']]],
294
+ ['condor',['condOr',['../classSVF_1_1PathCondAllocator.html#a5a8c25d74ffc2a8f8dbd20faab4d9803',1,'SVF::PathCondAllocator::condOr()'],['../classSVF_1_1ProgSlice.html#ac57638eaa2f656b8a7a5e3484c8e1265',1,'SVF::ProgSlice::condOr()'],['../classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203',1,'SVF::VFPathCond::condOr()']]],
295
295
  ['condpointstoset',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF::CondPointsToSet< Cond >'],['../classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f',1,'SVF::CondPointsToSet::CondPointsToSet()'],['../classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f',1,'SVF::CondPointsToSet::CondPointsToSet(const Cond &cond, const PointsTo &pts)'],['../classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801',1,'SVF::CondPointsToSet::CondPointsToSet(const CondPointsToSet< Cond > &cptsSet)']]],
296
296
  ['condposmap',['CondPosMap',['../classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b',1,'SVF::PathCondAllocator']]],
297
297
  ['condptaimpl',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF::CondPTAImpl< Cond >'],['../classSVF_1_1CondPTAImpl.html#adc5d33698377dc22aa1ae1151da13675',1,'SVF::CondPTAImpl::CondPTAImpl()']]],
package/SVF-doxygen/html/html/search/all_4.js CHANGED
@@ -261,7 +261,7 @@ var searchData=
261
261
  ['deref_5fval',['deref_val',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a60846a619cccd2546bf53c8e2dd81c87',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
262
262
  ['dereffnname',['derefFnName',['../classSVF_1_1TypeBasedHeapCloning.html#a03ef2decb80ba07f4d98cae0a4497212',1,'SVF::TypeBasedHeapCloning']]],
263
263
  ['derefmdname',['derefMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a0cd5347bc8043d4306e66a4a96005ace',1,'SVF::cppUtil::ctir']]],
264
- ['destroy',['destroy',['../classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44',1,'SVF::ConstraintGraph::destroy()'],['../classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633',1,'SVF::GenericGraph::destroy()'],['../classSVF_1_1PAG.html#a5a6278a7244c926022288243007da790',1,'SVF::PAG::destroy()'],['../classSVF_1_1PTACallGraph.html#a6a794ee3e4b217a1a0c6edf4bcdbdb69',1,'SVF::PTACallGraph::destroy()'],['../classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e',1,'SVF::SVFG::destroy()'],['../classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69',1,'SVF::VFG::destroy()'],['../classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735',1,'SVF::MemObj::destroy()'],['../classSVF_1_1PointerAnalysis.html#a03dadb5429e2b84f88713a83153979a8',1,'SVF::PointerAnalysis::destroy()'],['../classSVF_1_1BVDataPTAImpl.html#af783769050ab663ad4bb93f901f01a6d',1,'SVF::BVDataPTAImpl::destroy()'],['../classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed',1,'SVF::CondPTAImpl::destroy()'],['../classSVF_1_1MRGenerator.html#ac253d88de2a0cb9624c70d2bcfdac36e',1,'SVF::MRGenerator::destroy()'],['../classSVF_1_1MemSSA.html#a3d6096aeb4155444b532b02bb8559113',1,'SVF::MemSSA::destroy()'],['../classSVF_1_1TCT.html#aa453e3b27ec5fa4782bd6b9adef66877',1,'SVF::TCT::destroy()'],['../classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be',1,'SVF::ProgSlice::destroy()'],['../classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e',1,'SVF::SymbolTableInfo::destroy()'],['../classSVF_1_1PathCondAllocator.html#ab89aa330234e363fa04892352da60561',1,'SVF::PathCondAllocator::destroy()']]],
264
+ ['destroy',['destroy',['../classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44',1,'SVF::ConstraintGraph::destroy()'],['../classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633',1,'SVF::GenericGraph::destroy()'],['../classSVF_1_1PAG.html#a5a6278a7244c926022288243007da790',1,'SVF::PAG::destroy()'],['../classSVF_1_1PTACallGraph.html#a6a794ee3e4b217a1a0c6edf4bcdbdb69',1,'SVF::PTACallGraph::destroy()'],['../classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e',1,'SVF::SVFG::destroy()'],['../classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69',1,'SVF::VFG::destroy()'],['../classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735',1,'SVF::MemObj::destroy()'],['../classSVF_1_1PointerAnalysis.html#a03dadb5429e2b84f88713a83153979a8',1,'SVF::PointerAnalysis::destroy()'],['../classSVF_1_1BVDataPTAImpl.html#af783769050ab663ad4bb93f901f01a6d',1,'SVF::BVDataPTAImpl::destroy()'],['../classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed',1,'SVF::CondPTAImpl::destroy()'],['../classSVF_1_1MRGenerator.html#ac253d88de2a0cb9624c70d2bcfdac36e',1,'SVF::MRGenerator::destroy()'],['../classSVF_1_1MemSSA.html#a3d6096aeb4155444b532b02bb8559113',1,'SVF::MemSSA::destroy()'],['../classSVF_1_1TCT.html#aa453e3b27ec5fa4782bd6b9adef66877',1,'SVF::TCT::destroy()'],['../classSVF_1_1PathCondAllocator.html#ab89aa330234e363fa04892352da60561',1,'SVF::PathCondAllocator::destroy()'],['../classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be',1,'SVF::ProgSlice::destroy()'],['../classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e',1,'SVF::SymbolTableInfo::destroy()']]],
265
265
  ['destructor',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
266
266
  ['detect',['detect',['../classSVF_1_1MTA.html#af9558955c068ce922872c259dde1786e',1,'SVF::MTA']]],
267
267
  ['determinebestmapping',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
@@ -384,7 +384,7 @@ var searchData=
384
384
  ['dumpalltypes',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
385
385
  ['dumpcha',['DumpCHA',['../classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456',1,'SVF::Options']]],
386
386
  ['dumpchastats',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
387
- ['dumpcond',['dumpCond',['../classSVF_1_1ProgSlice.html#a39381b290a1bc3cc7d7e6d706a7392cc',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1PathCondAllocator.html#aae773a674331bb80cc589835e0b16e4e',1,'SVF::PathCondAllocator::dumpCond()']]],
387
+ ['dumpcond',['dumpCond',['../classSVF_1_1PathCondAllocator.html#aae773a674331bb80cc589835e0b16e4e',1,'SVF::PathCondAllocator::dumpCond()'],['../classSVF_1_1ProgSlice.html#a39381b290a1bc3cc7d7e6d706a7392cc',1,'SVF::ProgSlice::dumpCond()']]],
388
388
  ['dumpcontexts',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
389
389
  ['dumpcpts',['dumpCPts',['../classSVF_1_1PointerAnalysis.html#ad409cbf61271743394b9e5868f3fd197',1,'SVF::PointerAnalysis::dumpCPts()'],['../classSVF_1_1BVDataPTAImpl.html#ae20bbb7991f585deb2e6d0d8115b1b93',1,'SVF::BVDataPTAImpl::dumpCPts()'],['../classSVF_1_1CondPTAImpl.html#aa260a3275fbec7061295306a58763d24',1,'SVF::CondPTAImpl::dumpCPts()']]],
390
390
  ['dumpcptset',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],
package/SVF-doxygen/html/html/search/all_6.js CHANGED
@@ -91,7 +91,7 @@ var searchData=
91
91
  ['formalret',['formalRet',['../classSVF_1_1FunExitBlockNode.html#a77c46d6089369ea040efa346e0b3de25',1,'SVF::FunExitBlockNode']]],
92
92
  ['formalretsvfgnode',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
93
93
  ['formalretvfgnode',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF::FormalRetVFGNode'],['../classSVF_1_1FormalRetVFGNode.html#a0155a71f08dfb1fb43f054084b2380c6',1,'SVF::FormalRetVFGNode::FormalRetVFGNode()'],['../classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(const FormalRetVFGNode &)'],['../classSVF_1_1FormalRetVFGNode.html#a732fe0036d307a1dace2631219de38ef',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(NodeID id, const PAGNode *n, const SVFFunction *f)']]],
94
- ['forwardslice',['forwardslice',['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()'],['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()']]],
94
+ ['forwardslice',['forwardSlice',['../classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8',1,'SVF::SVFGStat::forwardSlice()'],['../classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab',1,'SVF::ProgSlice::forwardslice()']]],
95
95
  ['forwardslicebegin',['forwardSliceBegin',['../classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895',1,'SVF::ProgSlice']]],
96
96
  ['forwardsliceend',['forwardSliceEnd',['../classSVF_1_1ProgSlice.html#add10d8fd041ac7e6eb611df8a6b1384b',1,'SVF::ProgSlice']]],
97
97
  ['forwardtraverse',['forwardTraverse',['../classSVF_1_1CFLSolver.html#ac9dc4e29fde45a19d42987360ee5f528',1,'SVF::CFLSolver']]],
@@ -179,11 +179,11 @@ var searchData=
179
179
  ['funtointermap',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
180
180
  ['funtoloopinfomap',['FunToLoopInfoMap',['../classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d',1,'SVF::MTA::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7',1,'SVF::PTACFInfoBuilder::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89',1,'SVF::PTACFInfoBuilder::funToLoopInfoMap()']]],
181
181
  ['funtomodsmap',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
182
- ['funtomrsmap',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()'],['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()']]],
182
+ ['funtomrsmap',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()'],['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()']]],
183
183
  ['funtonodebsmap',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
184
184
  ['funtopagedgesetmap',['FunToPAGEdgeSetMap',['../classSVF_1_1PAG.html#a369ea2832e74716757a7d4afa7cb5d60',1,'SVF::PAG']]],
185
185
  ['funtopdtmap',['funToPDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15',1,'SVF::PTACFInfoBuilder']]],
186
- ['funtopointstomap',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()']]],
186
+ ['funtopointstomap',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()'],['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()']]],
187
187
  ['funtopointstosmap',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
188
188
  ['funtopostdtmap',['FunToPostDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a8e4d95e3c98ad17b060844063a494946',1,'SVF::PTACFInfoBuilder']]],
189
189
  ['funtoptsmap',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
package/SVF-doxygen/html/html/search/all_7.js CHANGED
@@ -126,7 +126,7 @@ var searchData=
126
126
  ['getblkobj',['getBlkObj',['../classSVF_1_1SymbolTableInfo.html#aebf96274e1ad2a523981487839a3025e',1,'SVF::SymbolTableInfo']]],
127
127
  ['getblkptr',['getBlkPtr',['../classSVF_1_1PAG.html#a67dc43e25a29ff81f3e12c7b70061261',1,'SVF::PAG']]],
128
128
  ['getblockicfgnode',['getBlockICFGNode',['../classSVF_1_1ICFG.html#ab7b0b3088b46ad65451905cc4f567a7b',1,'SVF::ICFG']]],
129
- ['getbranchcond',['getBranchCond',['../classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c',1,'SVF::BranchCondExpr::getBranchCond()'],['../classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74',1,'SVF::PathCondAllocator::getBranchCond()']]],
129
+ ['getbranchcond',['getBranchCond',['../classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74',1,'SVF::PathCondAllocator::getBranchCond()'],['../classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c',1,'SVF::BranchCondExpr::getBranchCond()']]],
130
130
  ['getbranchcondtion',['getBranchCondtion',['../classSVF_1_1IntraCFGEdge.html#a52eb526a6066c4b909e250bd430c14ef',1,'SVF::IntraCFGEdge']]],
131
131
  ['getbvpointsto',['getBVPointsTo',['../classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43',1,'SVF::CondPTAImpl']]],
132
132
  ['getbyteoffset',['getByteOffset',['../classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d',1,'SVF::LocationSet']]],
@@ -186,8 +186,8 @@ var searchData=
186
186
  ['getcmppes',['getCmpPEs',['../classSVF_1_1PAG.html#a8154e4aef8e24147d9b945958aca8b18',1,'SVF::PAG']]],
187
187
  ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
188
188
  ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
189
- ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1CondManager.html#ac246b92ebdf6a9635ed79892b81b9ae8',1,'SVF::CondManager::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()'],['../classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2',1,'SVF::PathCondAllocator::getCond()'],['../classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816',1,'SVF::PathStmtDPItem::getCond() const'],['../classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28',1,'SVF::PathStmtDPItem::getCond()']]],
190
- ['getcondinst',['getCondInst',['../classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428',1,'SVF::CondManager::getCondInst()'],['../classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca',1,'SVF::PathCondAllocator::getCondInst()']]],
189
+ ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2',1,'SVF::PathCondAllocator::getCond()'],['../classSVF_1_1CondManager.html#ac246b92ebdf6a9635ed79892b81b9ae8',1,'SVF::CondManager::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()'],['../classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816',1,'SVF::PathStmtDPItem::getCond() const'],['../classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28',1,'SVF::PathStmtDPItem::getCond()']]],
190
+ ['getcondinst',['getCondInst',['../classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca',1,'SVF::PathCondAllocator::getCondInst()'],['../classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428',1,'SVF::CondManager::getCondInst()']]],
191
191
  ['getcondkind',['getCondKind',['../classSVF_1_1CondExpr.html#a2ae78bbef9ad2f3c61aafa23111a50ef',1,'SVF::CondExpr']]],
192
192
  ['getcondmgr',['getCondMgr',['../classSVF_1_1CondManager.html#a0128830b629c00d91dc78d348300e7c6',1,'SVF::CondManager']]],
193
193
  ['getcondnum',['getCondNum',['../classSVF_1_1PathCondAllocator.html#ae8f2447d33e2c638c1375f97ff3c3b40',1,'SVF::PathCondAllocator']]],
@@ -263,7 +263,7 @@ var searchData=
263
263
  ['getdpmsetatloc',['getDpmSetAtLoc',['../classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29',1,'SVF::DDAVFSolver']]],
264
264
  ['getdstid',['getDstID',['../classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e',1,'SVF::GenericEdge']]],
265
265
  ['getdstnode',['getDstNode',['../classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86',1,'SVF::GenericEdge']]],
266
- ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()']]],
266
+ ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()']]],
267
267
  ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
268
268
  ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
269
269
  ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a0cda5ff37828cb37d152c25878fa208d',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html#af1457fbb243e106e3940dcb7f5f8f274',1,'llvm::DOTGraphTraits< PAG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits< TCT * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()']]],
@@ -285,7 +285,7 @@ var searchData=
285
285
  ['getexpr',['getExpr',['../classSVF_1_1CondExpr.html#ac83903c62554c6f91812d79d23ec4e23',1,'SVF::CondExpr']]],
286
286
  ['getextapi',['getExtAPI',['../classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec',1,'SVF::ExtAPI']]],
287
287
  ['getexternalnode',['getExternalNode',['../classSVF_1_1PointsTo.html#a80a3caf74c138b3833c79622fef7b626',1,'SVF::PointsTo']]],
288
- ['getfalsecond',['getFalseCond',['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1BranchCondManager.html#a013eb66493beb2b1d004605c68894a95',1,'SVF::BranchCondManager::getFalseCond()'],['../classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade',1,'SVF::CondManager::getFalseCond()'],['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()']]],
288
+ ['getfalsecond',['getFalseCond',['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()'],['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1BranchCondManager.html#a013eb66493beb2b1d004605c68894a95',1,'SVF::BranchCondManager::getFalseCond()'],['../classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade',1,'SVF::CondManager::getFalseCond()']]],
289
289
  ['getfattenfieldidxvec',['getFattenFieldIdxVec',['../classSVF_1_1SymbolTableInfo.html#abfad1554a3803ff131f2a8682f329354',1,'SVF::SymbolTableInfo']]],
290
290
  ['getfattenfieldoffsetvec',['getFattenFieldOffsetVec',['../classSVF_1_1SymbolTableInfo.html#a5ff8a2f4afdb2cc26be0430f0310815b',1,'SVF::SymbolTableInfo']]],
291
291
  ['getfieldidx',['getFieldIdx',['../classSVF_1_1GepValPN.html#ab61c3b510838c4654e880e306f3af881',1,'SVF::GepValPN']]],
@@ -434,7 +434,7 @@ var searchData=
434
434
  ['getlockval',['getLockVal',['../classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29',1,'SVF::LockAnalysis::getLockVal()'],['../classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9',1,'SVF::ThreadAPI::getLockVal(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48',1,'SVF::ThreadAPI::getLockVal(CallSite cs) const']]],
435
435
  ['getloctodpmvecmap',['getLocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959',1,'SVF::DDAVFSolver']]],
436
436
  ['getloop',['getLoop',['../classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3',1,'SVF::TCT::getLoop(const Instruction *inst)'],['../classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021',1,'SVF::TCT::getLoop(const BasicBlock *bb)']]],
437
- ['getloopinfo',['getLoopInfo',['../classSVF_1_1PTACFInfoBuilder.html#a418e6009760a7c9a048d2ffd9cd29956',1,'SVF::PTACFInfoBuilder::getLoopInfo()'],['../classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f',1,'SVF::PathCondAllocator::getLoopInfo()']]],
437
+ ['getloopinfo',['getLoopInfo',['../classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f',1,'SVF::PathCondAllocator::getLoopInfo()'],['../classSVF_1_1PTACFInfoBuilder.html#a418e6009760a7c9a048d2ffd9cd29956',1,'SVF::PTACFInfoBuilder::getLoopInfo()']]],
438
438
  ['getmainllvmmodule',['getMainLLVMModule',['../classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e',1,'SVF::LLVMModuleSet']]],
439
439
  ['getmakredprocs',['getMakredProcs',['../classSVF_1_1TCT.html#a54cceb577b4fb89c1d84011ec4d2fe2c',1,'SVF::TCT']]],
440
440
  ['getmarkedflag',['getMarkedFlag',['../classSVF_1_1ForkJoinAnalysis.html#a149114898b13e1430c8fbb60978ca4f5',1,'SVF::ForkJoinAnalysis']]],
@@ -450,7 +450,7 @@ var searchData=
450
450
  ['getmemobj',['getMemObj',['../classSVF_1_1ObjPN.html#a63ee5624271a63c2dc4f7f3ed2dcefdf',1,'SVF::ObjPN']]],
451
451
  ['getmemoryusagekb',['getMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c',1,'SVF::SVFUtil']]],
452
452
  ['getmemtofieldsmap',['getMemToFieldsMap',['../classSVF_1_1PAG.html#af47bff6b90ad3ff83e2b4bb16c2d39b1',1,'SVF::PAG']]],
453
- ['getmemusage',['getMemUsage',['../classSVF_1_1BranchCondManager.html#ab728e3f0906854e94776ff0e6297c181',1,'SVF::BranchCondManager::getMemUsage()'],['../classSVF_1_1CondManager.html#a8a9d3d96c2c8cfef8b9d9c27c28871f6',1,'SVF::CondManager::getMemUsage()'],['../classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557',1,'SVF::PathCondAllocator::getMemUsage()']]],
453
+ ['getmemusage',['getMemUsage',['../classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557',1,'SVF::PathCondAllocator::getMemUsage()'],['../classSVF_1_1BranchCondManager.html#ab728e3f0906854e94776ff0e6297c181',1,'SVF::BranchCondManager::getMemUsage()'],['../classSVF_1_1CondManager.html#a8a9d3d96c2c8cfef8b9d9c27c28871f6',1,'SVF::CondManager::getMemUsage()']]],
454
454
  ['getmhp',['getMHP',['../classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2',1,'SVF::FSMPTA']]],
455
455
  ['getmhpfunctions',['getMHPFunctions',['../classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c',1,'SVF::PCG']]],
456
456
  ['getmodelconstants',['getModelConstants',['../classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5',1,'SVF::SymbolTableInfo']]],
@@ -561,7 +561,7 @@ var searchData=
561
561
  ['getphiset',['getPHISet',['../classSVF_1_1MemSSA.html#a964f3fe39ece9a7b8b2033428b75a274',1,'SVF::MemSSA']]],
562
562
  ['getpointsto',['getPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71',1,'SVF::IndirectSVFGEdge::getPointsTo()'],['../classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332',1,'SVF::MRSVFGNode::getPointsTo()'],['../classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1',1,'SVF::MemRegion::getPointsTo()']]],
563
563
  ['getpointstolist',['getPointsToList',['../classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e',1,'SVF::MRGenerator']]],
564
- ['getpostdt',['getPostDT',['../classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc',1,'SVF::TCT::getPostDT()'],['../classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1',1,'SVF::PTACFInfoBuilder::getPostDT()'],['../classSVF_1_1PathCondAllocator.html#a1295e2c2c0a9c1a3744ba3927b95363e',1,'SVF::PathCondAllocator::getPostDT()']]],
564
+ ['getpostdt',['getPostDT',['../classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc',1,'SVF::TCT::getPostDT()'],['../classSVF_1_1PathCondAllocator.html#a1295e2c2c0a9c1a3744ba3927b95363e',1,'SVF::PathCondAllocator::getPostDT()'],['../classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1',1,'SVF::PTACFInfoBuilder::getPostDT()']]],
565
565
  ['getprevinsts',['getPrevInsts',['../namespaceSVF_1_1SVFUtil.html#a7e3a8d6cb1715db9518579fb60181d5b',1,'SVF::SVFUtil']]],
566
566
  ['getpreviousmemoryaccessinst',['getPreviousMemoryAccessInst',['../classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6',1,'SVF::LockResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()']]],
567
567
  ['getprevnodes',['getPrevNodes',['../classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502',1,'SVF::MTASVFGBuilder']]],
@@ -671,7 +671,7 @@ var searchData=
671
671
  ['gettotaledgenum',['getTotalEdgeNum',['../classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0',1,'SVF::GenericGraph']]],
672
672
  ['gettotalnodenum',['getTotalNodeNum',['../classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858',1,'SVF::GenericGraph']]],
673
673
  ['gettotalsymnum',['getTotalSymNum',['../classSVF_1_1SymbolTableInfo.html#a7dda4943de0ed174a1d20fcdfde6c61c',1,'SVF::SymbolTableInfo']]],
674
- ['gettruecond',['getTrueCond',['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1BranchCondManager.html#ac6fb7493ceb44406a4bd6a62a60a6363',1,'SVF::BranchCondManager::getTrueCond()'],['../classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc',1,'SVF::CondManager::getTrueCond()'],['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()']]],
674
+ ['gettruecond',['getTrueCond',['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()'],['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1BranchCondManager.html#ac6fb7493ceb44406a4bd6a62a60a6363',1,'SVF::BranchCondManager::getTrueCond()'],['../classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc',1,'SVF::CondManager::getTrueCond()']]],
675
675
  ['gettype',['getType',['../classSVF_1_1PAGNode.html#ab7ff5a1cfd0701997b23bf7be781ecf3',1,'SVF::PAGNode::getType()'],['../classSVF_1_1ObjPN.html#ab414eff6a3057b570109081a93fa6539',1,'SVF::ObjPN::getType()'],['../classSVF_1_1GepValPN.html#aae597b40c984a5a0226d630f7564cefb',1,'SVF::GepValPN::getType()'],['../classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff',1,'SVF::GepObjPN::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
676
676
  ['gettypedefs',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
677
677
  ['gettypefromctirmetadata',['getTypeFromCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8',1,'SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7',1,'SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata()']]],
package/SVF-doxygen/html/html/search/all_9.js CHANGED
@@ -205,7 +205,7 @@ var searchData=
205
205
  ['isaliasedlocks',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#ab5a541fb1585d475a89590cce66ba3b4',1,'SVF::LockAnalysis::isAliasedLocks(const Instruction *i1, const Instruction *i2)']]],
206
206
  ['isaliasedmr',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
207
207
  ['isaliastestfunction',['isAliasTestFunction',['../TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06',1,'TypeBasedHeapCloning.cpp']]],
208
- ['isallpathreachable',['isAllPathReachable',['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()'],['../classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51',1,'SVF::CondManager::isAllPathReachable()'],['../classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887',1,'SVF::PathCondAllocator::isAllPathReachable()']]],
208
+ ['isallpathreachable',['isAllPathReachable',['../classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887',1,'SVF::PathCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()'],['../classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51',1,'SVF::CondManager::isAllPathReachable()']]],
209
209
  ['isallreachable',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
210
210
  ['isamergednode',['isaMergedNode',['../classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9',1,'SVF::AndersenHCD']]],
211
211
  ['isanallocationwraper',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#ab302ca3fcbde9bd1a7d9d5d837a69c23',1,'SVF::SVFUtil']]],
@@ -263,7 +263,7 @@ var searchData=
263
263
  ['isdirectvfgedge',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
264
264
  ['isedgeinrecursion',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
265
265
  ['iseqcmp',['isEQCmp',['../classSVF_1_1PathCondAllocator.html#af93358a02bf4ef8020091532e0c5b5af',1,'SVF::PathCondAllocator']]],
266
- ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1CondManager.html#adef2474c65a7f9d96b27ee670136a240',1,'SVF::CondManager::isEquivalentBranchCond()'],['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()']]],
266
+ ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()'],['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1CondManager.html#adef2474c65a7f9d96b27ee670136a240',1,'SVF::CondManager::isEquivalentBranchCond()']]],
267
267
  ['isext_5fcache',['isext_cache',['../classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5',1,'SVF::ExtAPI']]],
268
268
  ['isextcall',['isExtCall',['../namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400',1,'SVF::SVFUtil::isExtCall(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45',1,'SVF::SVFUtil::isExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af3e5fd7ffce966575ebf7c7e653b0919',1,'SVF::SVFUtil::isExtCall(const Instruction *inst)']]],
269
269
  ['isfclose',['isFClose',['../classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba',1,'SVF::SaberCheckerAPI::isFClose(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#ad029e2f347ee2aeb5b0abb928a552789',1,'SVF::SaberCheckerAPI::isFClose(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#ac176579c004a0bf210bbcc5bc7f0f250',1,'SVF::SaberCheckerAPI::isFClose(const CallBlockNode *cs) const']]],
@@ -403,7 +403,7 @@ var searchData=
403
403
  ['issamescev',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#a4d073da3e5266964dad7422033013219',1,'SVF::ForkJoinAnalysis']]],
404
404
  ['issamethisptrinconstructor',['isSameThisPtrInConstructor',['../namespaceSVF_1_1cppUtil.html#a5dd3230226002e126f6b0a877f9550ce',1,'SVF::cppUtil']]],
405
405
  ['issamevar',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
406
- ['issatisfiable',['isSatisfiable',['../classSVF_1_1CondManager.html#a725d9c0a3aad4ebea3f06edf433f04ea',1,'SVF::CondManager::isSatisfiable()'],['../classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7',1,'SVF::PathCondAllocator::isSatisfiable()']]],
406
+ ['issatisfiable',['isSatisfiable',['../classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7',1,'SVF::PathCondAllocator::isSatisfiable()'],['../classSVF_1_1CondManager.html#a725d9c0a3aad4ebea3f06edf433f04ea',1,'SVF::CondManager::isSatisfiable()']]],
407
407
  ['issatisfiableforall',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
408
408
  ['issatisfiableforpairs',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
409
409
  ['isscalar',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
package/SVF-doxygen/html/html/search/all_c.js CHANGED
@@ -37,7 +37,7 @@ var searchData=
37
37
  ['llvmfunend',['llvmFunEnd',['../classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519',1,'SVF::SVFModule::llvmFunEnd()'],['../classSVF_1_1SVFModule.html#a7662ba877691e7e337af54835c15c3c5',1,'SVF::SVFModule::llvmFunEnd() const']]],
38
38
  ['llvmmodule_2ecpp',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
39
39
  ['llvmmodule_2eh',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
40
- ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
40
+ ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
41
41
  ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
42
42
  ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
43
43
  ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a8fcebc849a231c3c87dddbf0ab5a2167',1,'SVF::PAGEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()']]],
package/SVF-doxygen/html/html/search/all_d.js CHANGED
@@ -36,7 +36,7 @@ var searchData=
36
36
  ['maxcachehard',['maxCacheHard',['../structDdManager.html#a1b53bee9cf86fc1131c420c2aef7e473',1,'DdManager']]],
37
37
  ['maxcontextlen',['MaxContextLen',['../classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8',1,'SVF::Options']]],
38
38
  ['maxcxtsize',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
39
- ['maxfieldlimit',['MaxFieldLimit',['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()'],['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()']]],
39
+ ['maxfieldlimit',['maxFieldLimit',['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()'],['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()']]],
40
40
  ['maxgen_5fratio',['MAXGEN_RATIO',['../cuddInt_8c.html#ad06617a840460570896838fbc917b0f2',1,'cuddInt.c']]],
41
41
  ['maxgrowth',['maxGrowth',['../structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7',1,'DdManager']]],
42
42
  ['maxgrowthalt',['maxGrowthAlt',['../structDdManager.html#a2926e48e488cec20a61e9b0dc6b91795',1,'DdManager']]],
package/SVF-doxygen/html/html/search/all_e.js CHANGED
@@ -4,7 +4,7 @@ var searchData=
4
4
  ['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
5
5
  ['nan',['nan',['../unionEpTypeUnion.html#a110c7a597a2ccf931b674e2338c64885',1,'EpTypeUnion']]],
6
6
  ['native_5fint_5fsize',['NATIVE_INT_SIZE',['../SVFBasicTypes_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFBasicTypes.h']]],
7
- ['neg',['neg',['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()'],['../classSVF_1_1BranchCondManager.html#ad7832b33b3b73fcaca5c8278ed4d3e7f',1,'SVF::BranchCondManager::NEG()'],['../classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7',1,'SVF::CondManager::NEG()']]],
7
+ ['neg',['NEG',['../classSVF_1_1BranchCondManager.html#ad7832b33b3b73fcaca5c8278ed4d3e7f',1,'SVF::BranchCondManager::NEG()'],['../classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7',1,'SVF::CondManager::NEG()'],['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()']]],
8
8
  ['never_5ffree_5fleak',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
9
9
  ['newbvnumwords',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
10
10
  ['newcond',['newCond',['../classSVF_1_1PathCondAllocator.html#a3cd08242b82129e6074b2f30a19b5c17',1,'SVF::PathCondAllocator']]],
@@ -20,7 +20,7 @@ var searchData=
20
20
  ['nextsetindex',['nextSetIndex',['../classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383',1,'SVF::CoreBitVector']]],
21
21
  ['nil',['NIL',['../util_8h.html#a31bfee01545b78af63301bf9e857218b',1,'util.h']]],
22
22
  ['no_5fstruct_5falloc',['no_struct_alloc',['../classSVF_1_1ExtAPI.html#a235ef40373e36583004eb6d289ce63f9',1,'SVF::ExtAPI']]],
23
- ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()'],['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()']]],
23
+ ['node',['node',['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
24
24
  ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
25
25
  ['node_5fiterator',['node_iterator',['../classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624',1,'SVF::CFLSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
26
26
  ['nodeallocstrat',['NodeAllocStrat',['../classSVF_1_1Options.html#a2537be131132830c63d408133619a065',1,'SVF::Options']]],
@@ -61,7 +61,7 @@ var searchData=
61
61
  ['nodetonodemap',['NodeToNodeMap',['../classSVF_1_1PAG.html#a8974543192816d31127076f5f7292825',1,'SVF::PAG::NodeToNodeMap()'],['../classSVF_1_1SCCDetection.html#a7e9a12e188a93ea8e571bac4e49e2a6b',1,'SVF::SCCDetection::NodeToNodeMap()'],['../classSVF_1_1AndersenSCD.html#a88ab40d553f49e173f9c53b32575ccda',1,'SVF::AndersenSCD::NodeToNodeMap()']]],
62
62
  ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
63
63
  ['nodetorefmap',['nodeToRefMap',['../classSVF_1_1OfflineConsG.html#aebeb8a44fcfbb677a738fa04c8e9c5e1',1,'SVF::OfflineConsG']]],
64
- ['nodetorepmap',['NodeToRepMap',['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()']]],
64
+ ['nodetorepmap',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()']]],
65
65
  ['nodetosubsmap',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()']]],
66
66
  ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::NodeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da',1,'llvm::DOTGraphTraits< ConstraintGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562',1,'llvm::DOTGraphTraits< ICFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a4de1b76db4f60446aa2db97535fff54f',1,'llvm::DOTGraphTraits< OfflineConsG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html#a79ab044136b3eb04258c92dc41c62140',1,'llvm::DOTGraphTraits< PAG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c',1,'llvm::DOTGraphTraits< PTACallGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b',1,'llvm::DOTGraphTraits< SVFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520',1,'llvm::DOTGraphTraits< VFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949',1,'llvm::DOTGraphTraits< TCT * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e',1,'llvm::DOTGraphTraits< CHGraph * >::NodeType()']]],
67
67
  ['nodevector',['NodeVector',['../namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676',1,'SVF']]],
@@ -192,7 +192,7 @@ var searchData=
192
192
  ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
193
193
  ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
194
194
  ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f',1,'SVF::FlowSensitive']]],
195
- ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
195
+ ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
196
196
  ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
197
197
  ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12',1,'SVF::AndersenBase']]],
198
198
  ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],
package/SVF-doxygen/html/html/search/all_f.js CHANGED
@@ -47,7 +47,7 @@ var searchData=
47
47
  ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond']]],
48
48
  ['operator_7c',['operator|',['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF']]],
49
49
  ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()'],['../classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade',1,'SVF::PointsTo::operator|=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871',1,'SVF::PointsTo::operator|=(const NodeBS &rhs)'],['../classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d',1,'SVF::CoreBitVector::operator|=()']]],
50
- ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
50
+ ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
51
51
  ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
52
52
  ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
53
53
  ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
package/SVF-doxygen/html/html/search/functions_10.js CHANGED
@@ -23,7 +23,7 @@ var searchData=
23
23
  ['setcallgraph',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
24
24
  ['setcallgraphscc',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
25
25
  ['setcfcond',['setCFCond',['../classSVF_1_1PathCondAllocator.html#a4cb61914dff693e284091e97ab8c8878',1,'SVF::PathCondAllocator']]],
26
- ['setcondinst',['setCondInst',['../classSVF_1_1CondManager.html#a1fbf7dd446309e13671d838c91da26bf',1,'SVF::CondManager::setCondInst()'],['../classSVF_1_1PathCondAllocator.html#ab85a1ab3580958361ea5ec29efc75874',1,'SVF::PathCondAllocator::setCondInst()']]],
26
+ ['setcondinst',['setCondInst',['../classSVF_1_1PathCondAllocator.html#ab85a1ab3580958361ea5ec29efc75874',1,'SVF::PathCondAllocator::setCondInst()'],['../classSVF_1_1CondManager.html#a1fbf7dd446309e13671d838c91da26bf',1,'SVF::CondManager::setCondInst()']]],
27
27
  ['setconsume',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
28
28
  ['setcurevalsvfgnode',['setCurEvalSVFGNode',['../classSVF_1_1PathCondAllocator.html#a68f93a9271efcbb4728066a8d5639628',1,'SVF::PathCondAllocator']]],
29
29
  ['setcurnodeid',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
@@ -198,7 +198,7 @@ var searchData=
198
198
  ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
199
199
  ['svfgopt',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350',1,'SVF::SVFGOPT']]],
200
200
  ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
201
- ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
201
+ ['svfgstat',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
202
202
  ['svfinstruction',['SVFInstruction',['../classSVF_1_1SVFInstruction.html#aadf4790ce7be8e1a95803e25cd4af424',1,'SVF::SVFInstruction']]],
203
203
  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule']]],
204
204
  ['svfvalue',['SVFValue',['../classSVF_1_1SVFValue.html#a2a85562586efde20be8ac1ccbd1a5ee6',1,'SVF::SVFValue']]],
package/SVF-doxygen/html/html/search/functions_2.js CHANGED
@@ -42,7 +42,7 @@ var searchData=
42
42
  ['clearalldfoutvarflag',['clearAllDFOutVarFlag',['../classSVF_1_1FlowSensitive.html#a9622f0b7b16694b0c74b07834f598e67',1,'SVF::FlowSensitive']]],
43
43
  ['clearallpts',['clearAllPts',['../classSVF_1_1BVDataPTAImpl.html#a4426df37aeabeb94d301373b55a53c20',1,'SVF::BVDataPTAImpl']]],
44
44
  ['clearbkvisited',['clearbkVisited',['../classSVF_1_1DDAVFSolver.html#aa7e5839c5bc6f913561de10bce61e74b',1,'SVF::DDAVFSolver']]],
45
- ['clearcfcond',['clearCFCond',['../classSVF_1_1ProgSlice.html#ab514f387ae2122e919030c5006f1bbce',1,'SVF::ProgSlice::clearCFCond()'],['../classSVF_1_1PathCondAllocator.html#a3462dbe3d0f8df08e3b6a6c6ef0b065c',1,'SVF::PathCondAllocator::clearCFCond()']]],
45
+ ['clearcfcond',['clearCFCond',['../classSVF_1_1PathCondAllocator.html#a3462dbe3d0f8df08e3b6a6c6ef0b065c',1,'SVF::PathCondAllocator::clearCFCond()'],['../classSVF_1_1ProgSlice.html#ab514f387ae2122e919030c5006f1bbce',1,'SVF::ProgSlice::clearCFCond()']]],
46
46
  ['clearflagmap',['clearFlagMap',['../classSVF_1_1LockAnalysis.html#adffd808458057544e3492c7afffeeebe',1,'SVF::LockAnalysis::clearFlagMap()'],['../classSVF_1_1ForkJoinAnalysis.html#a7965a276a3a12d532c9967de13d4cc8a',1,'SVF::ForkJoinAnalysis::clearFlagMap()']]],
47
47
  ['clearfullpts',['clearFullPts',['../classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac',1,'SVF::PTData::clearFullPts()'],['../classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9',1,'SVF::VersionedPTData::clearFullPts()'],['../classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77',1,'SVF::MutablePTData::clearFullPts()'],['../classSVF_1_1MutableDiffPTData.html#a8b6e2e5e016a5ae00ae440e3f383bb16',1,'SVF::MutableDiffPTData::clearFullPts()'],['../classSVF_1_1MutableDFPTData.html#ab345e148997b9e1c6e4c2c76267880b7',1,'SVF::MutableDFPTData::clearFullPts()'],['../classSVF_1_1MutableVersionedPTData.html#a9f985ff2daee53fb661e4b2bcfd17f05',1,'SVF::MutableVersionedPTData::clearFullPts(const Key &k) override'],['../classSVF_1_1MutableVersionedPTData.html#aaf3df7501f84233f6a687ef9f2f0ae90',1,'SVF::MutableVersionedPTData::clearFullPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6',1,'SVF::PersistentPTData::clearFullPts()'],['../classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87',1,'SVF::PersistentDiffPTData::clearFullPts()'],['../classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9',1,'SVF::PersistentDFPTData::clearFullPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185',1,'SVF::PersistentVersionedPTData::clearFullPts(const Key &k) override'],['../classSVF_1_1PersistentVersionedPTData.html#a78f2b0ee440ed5b358928ee775e95564',1,'SVF::PersistentVersionedPTData::clearFullPts(const VersionedKey &vk) override'],['../classSVF_1_1BVDataPTAImpl.html#afdb10c2cce4935156566ea1c2daf9ea9',1,'SVF::BVDataPTAImpl::clearFullPts()']]],
48
48
  ['clearmssa',['clearMSSA',['../classSVF_1_1SVFG.html#aeba803e60699f9d9422596d161d44241',1,'SVF::SVFG']]],
@@ -110,20 +110,20 @@ var searchData=
110
110
  ['computeddapts',['computeDDAPts',['../classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5',1,'SVF::ContextDDA::computeDDAPts(NodeID id) override'],['../classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864',1,'SVF::ContextDDA::computeDDAPts(const CxtVar &cxtVar)'],['../classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0',1,'SVF::FlowDDA::computeDDAPts()'],['../classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d',1,'SVF::PointerAnalysis::computeDDAPts()']]],
111
111
  ['computediffpts',['computeDiffPts',['../classSVF_1_1DiffPTData.html#a6eab8e1201083ed8705379e100cfb3b7',1,'SVF::DiffPTData::computeDiffPts()'],['../classSVF_1_1MutableDiffPTData.html#ac97bd53101f306c46ab4349a808f67c9',1,'SVF::MutableDiffPTData::computeDiffPts()'],['../classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3',1,'SVF::PersistentDiffPTData::computeDiffPts()'],['../classSVF_1_1Andersen.html#a7e26ac6fb40684694f7ff2aadfde8bc7',1,'SVF::Andersen::computeDiffPts()'],['../classSVF_1_1AndersenWaveDiffWithType.html#a96c316aff7fa595ddaca317f7a877398',1,'SVF::AndersenWaveDiffWithType::computeDiffPts()']]],
112
112
  ['computegepoffset',['computeGepOffset',['../classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2',1,'SVF::PAGBuilder::computeGepOffset()'],['../classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db',1,'SVF::SymbolTableInfo::computeGepOffset()'],['../classSVF_1_1LocSymTableInfo.html#a4aa6bf984692e879ad12806d35a6d2be',1,'SVF::LocSymTableInfo::computeGepOffset()']]],
113
- ['computeintercallvfgguard',['ComputeInterCallVFGGuard',['../classSVF_1_1ProgSlice.html#ae6ca91373bb2a5c2ddc3b20feb630fe6',1,'SVF::ProgSlice::ComputeInterCallVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a9c3361e3f37d640b177c3955f3c3667f',1,'SVF::PathCondAllocator::ComputeInterCallVFGGuard()']]],
114
- ['computeinterretvfgguard',['ComputeInterRetVFGGuard',['../classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5',1,'SVF::ProgSlice::ComputeInterRetVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a5015e36d00ac59ef2b832019b8f922f5',1,'SVF::PathCondAllocator::ComputeInterRetVFGGuard()']]],
113
+ ['computeintercallvfgguard',['ComputeInterCallVFGGuard',['../classSVF_1_1PathCondAllocator.html#a9c3361e3f37d640b177c3955f3c3667f',1,'SVF::PathCondAllocator::ComputeInterCallVFGGuard()'],['../classSVF_1_1ProgSlice.html#ae6ca91373bb2a5c2ddc3b20feb630fe6',1,'SVF::ProgSlice::ComputeInterCallVFGGuard()']]],
114
+ ['computeinterretvfgguard',['ComputeInterRetVFGGuard',['../classSVF_1_1PathCondAllocator.html#a5015e36d00ac59ef2b832019b8f922f5',1,'SVF::PathCondAllocator::ComputeInterRetVFGGuard()'],['../classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5',1,'SVF::ProgSlice::ComputeInterRetVFGGuard()']]],
115
115
  ['computeintersections',['computeIntersections',['../classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d',1,'SVF::IntraDisjointMRG']]],
116
- ['computeintravfgguard',['ComputeIntraVFGGuard',['../classSVF_1_1ProgSlice.html#ab945cc59c20bb4801f6e11120cc6940d',1,'SVF::ProgSlice::ComputeIntraVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a5ab573cce84584c44778611ba6f4d99c',1,'SVF::PathCondAllocator::ComputeIntraVFGGuard()']]],
116
+ ['computeintravfgguard',['ComputeIntraVFGGuard',['../classSVF_1_1PathCondAllocator.html#a5ab573cce84584c44778611ba6f4d99c',1,'SVF::PathCondAllocator::ComputeIntraVFGGuard()'],['../classSVF_1_1ProgSlice.html#ab945cc59c20bb4801f6e11120cc6940d',1,'SVF::ProgSlice::ComputeIntraVFGGuard()']]],
117
117
  ['computelb',['computeLB',['../cuddInt_8c.html#a5edd4a7f4fb8bb5aeef67e77b18b2bfe',1,'cuddInt.c']]],
118
118
  ['computelocksets',['computeLocksets',['../classSVF_1_1MTA.html#a0f4805f195ebd42d81127b1a79333c75',1,'SVF::MTA']]],
119
119
  ['computemhp',['computeMHP',['../classSVF_1_1MTA.html#a4f2f17975aabd2c4b9a3b2fbf3b1a487',1,'SVF::MTA']]],
120
120
  ['cond',['cond',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
121
- ['condand',['condAnd',['../classSVF_1_1ProgSlice.html#a37d2e74fd977ebf9bfbe881bbe1c4a95',1,'SVF::ProgSlice::condAnd()'],['../classSVF_1_1PathCondAllocator.html#ab0e41d1eacfc6ee2cf42a9ce69cdcb61',1,'SVF::PathCondAllocator::condAnd()'],['../classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778',1,'SVF::VFPathCond::condAnd()']]],
121
+ ['condand',['condAnd',['../classSVF_1_1PathCondAllocator.html#ab0e41d1eacfc6ee2cf42a9ce69cdcb61',1,'SVF::PathCondAllocator::condAnd()'],['../classSVF_1_1ProgSlice.html#a37d2e74fd977ebf9bfbe881bbe1c4a95',1,'SVF::ProgSlice::condAnd()'],['../classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778',1,'SVF::VFPathCond::condAnd()']]],
122
122
  ['condensedindex',['condensedIndex',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac8c209af1d177cbc8fbbfe4526fe8ce2',1,'SVF::NodeIDAllocator::Clusterer']]],
123
123
  ['condexpr',['CondExpr',['../classSVF_1_1CondExpr.html#af925a6e646b64db7aacf301b37b89b05',1,'SVF::CondExpr']]],
124
124
  ['condmanager',['CondManager',['../classSVF_1_1CondManager.html#aa307bb05b92907ccf8859b4bac53b796',1,'SVF::CondManager']]],
125
- ['condneg',['condNeg',['../classSVF_1_1ProgSlice.html#af90dd6f54db7bef80cd7e5c97e8dd193',1,'SVF::ProgSlice::condNeg()'],['../classSVF_1_1PathCondAllocator.html#ac1ed60a8f59a55811c97c83def3bb739',1,'SVF::PathCondAllocator::condNeg()']]],
126
- ['condor',['condOr',['../classSVF_1_1ProgSlice.html#ac57638eaa2f656b8a7a5e3484c8e1265',1,'SVF::ProgSlice::condOr()'],['../classSVF_1_1PathCondAllocator.html#a5a8c25d74ffc2a8f8dbd20faab4d9803',1,'SVF::PathCondAllocator::condOr()'],['../classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203',1,'SVF::VFPathCond::condOr()']]],
125
+ ['condneg',['condNeg',['../classSVF_1_1PathCondAllocator.html#ac1ed60a8f59a55811c97c83def3bb739',1,'SVF::PathCondAllocator::condNeg()'],['../classSVF_1_1ProgSlice.html#af90dd6f54db7bef80cd7e5c97e8dd193',1,'SVF::ProgSlice::condNeg()']]],
126
+ ['condor',['condOr',['../classSVF_1_1PathCondAllocator.html#a5a8c25d74ffc2a8f8dbd20faab4d9803',1,'SVF::PathCondAllocator::condOr()'],['../classSVF_1_1ProgSlice.html#ac57638eaa2f656b8a7a5e3484c8e1265',1,'SVF::ProgSlice::condOr()'],['../classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203',1,'SVF::VFPathCond::condOr()']]],
127
127
  ['condpointstoset',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f',1,'SVF::CondPointsToSet::CondPointsToSet()'],['../classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f',1,'SVF::CondPointsToSet::CondPointsToSet(const Cond &cond, const PointsTo &pts)'],['../classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801',1,'SVF::CondPointsToSet::CondPointsToSet(const CondPointsToSet< Cond > &cptsSet)']]],
128
128
  ['condptaimpl',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html#adc5d33698377dc22aa1ae1151da13675',1,'SVF::CondPTAImpl']]],
129
129
  ['condptssetiterator',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
package/SVF-doxygen/html/html/search/functions_3.js CHANGED
@@ -100,7 +100,7 @@ var searchData=
100
100
  ['delta',['delta',['../classSVF_1_1VersionedFlowSensitive.html#acf23b9ce8d07431adf1799dc64c68271',1,'SVF::VersionedFlowSensitive']]],
101
101
  ['demangle',['demangle',['../namespaceSVF_1_1cppUtil.html#a1007c092efaeae41002efd91b803a7f6',1,'SVF::cppUtil']]],
102
102
  ['deref_5fval',['deref_val',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a60846a619cccd2546bf53c8e2dd81c87',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
103
- ['destroy',['destroy',['../classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44',1,'SVF::ConstraintGraph::destroy()'],['../classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633',1,'SVF::GenericGraph::destroy()'],['../classSVF_1_1PAG.html#a5a6278a7244c926022288243007da790',1,'SVF::PAG::destroy()'],['../classSVF_1_1PTACallGraph.html#a6a794ee3e4b217a1a0c6edf4bcdbdb69',1,'SVF::PTACallGraph::destroy()'],['../classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e',1,'SVF::SVFG::destroy()'],['../classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69',1,'SVF::VFG::destroy()'],['../classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735',1,'SVF::MemObj::destroy()'],['../classSVF_1_1PointerAnalysis.html#a03dadb5429e2b84f88713a83153979a8',1,'SVF::PointerAnalysis::destroy()'],['../classSVF_1_1BVDataPTAImpl.html#af783769050ab663ad4bb93f901f01a6d',1,'SVF::BVDataPTAImpl::destroy()'],['../classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed',1,'SVF::CondPTAImpl::destroy()'],['../classSVF_1_1MRGenerator.html#ac253d88de2a0cb9624c70d2bcfdac36e',1,'SVF::MRGenerator::destroy()'],['../classSVF_1_1MemSSA.html#a3d6096aeb4155444b532b02bb8559113',1,'SVF::MemSSA::destroy()'],['../classSVF_1_1TCT.html#aa453e3b27ec5fa4782bd6b9adef66877',1,'SVF::TCT::destroy()'],['../classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be',1,'SVF::ProgSlice::destroy()'],['../classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e',1,'SVF::SymbolTableInfo::destroy()'],['../classSVF_1_1PathCondAllocator.html#ab89aa330234e363fa04892352da60561',1,'SVF::PathCondAllocator::destroy()']]],
103
+ ['destroy',['destroy',['../classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44',1,'SVF::ConstraintGraph::destroy()'],['../classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633',1,'SVF::GenericGraph::destroy()'],['../classSVF_1_1PAG.html#a5a6278a7244c926022288243007da790',1,'SVF::PAG::destroy()'],['../classSVF_1_1PTACallGraph.html#a6a794ee3e4b217a1a0c6edf4bcdbdb69',1,'SVF::PTACallGraph::destroy()'],['../classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e',1,'SVF::SVFG::destroy()'],['../classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69',1,'SVF::VFG::destroy()'],['../classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735',1,'SVF::MemObj::destroy()'],['../classSVF_1_1PointerAnalysis.html#a03dadb5429e2b84f88713a83153979a8',1,'SVF::PointerAnalysis::destroy()'],['../classSVF_1_1BVDataPTAImpl.html#af783769050ab663ad4bb93f901f01a6d',1,'SVF::BVDataPTAImpl::destroy()'],['../classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed',1,'SVF::CondPTAImpl::destroy()'],['../classSVF_1_1MRGenerator.html#ac253d88de2a0cb9624c70d2bcfdac36e',1,'SVF::MRGenerator::destroy()'],['../classSVF_1_1MemSSA.html#a3d6096aeb4155444b532b02bb8559113',1,'SVF::MemSSA::destroy()'],['../classSVF_1_1TCT.html#aa453e3b27ec5fa4782bd6b9adef66877',1,'SVF::TCT::destroy()'],['../classSVF_1_1PathCondAllocator.html#ab89aa330234e363fa04892352da60561',1,'SVF::PathCondAllocator::destroy()'],['../classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be',1,'SVF::ProgSlice::destroy()'],['../classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e',1,'SVF::SymbolTableInfo::destroy()']]],
104
104
  ['detect',['detect',['../classSVF_1_1MTA.html#af9558955c068ce922872c259dde1786e',1,'SVF::MTA']]],
105
105
  ['determinebestmapping',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
106
106
  ['determinereliance',['determineReliance',['../classSVF_1_1VersionedFlowSensitive.html#a25d9b2fb94c17edca9ccff220c0247b8',1,'SVF::VersionedFlowSensitive']]],
@@ -135,7 +135,7 @@ var searchData=
135
135
  ['dumpallpts',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a97705b60d294b87ee075a69f04a35d22',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
136
136
  ['dumpalltypes',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],
137
137
  ['dumpchastats',['dumpCHAStats',['../classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2',1,'SVF::TypeAnalysis']]],
138
- ['dumpcond',['dumpCond',['../classSVF_1_1ProgSlice.html#a39381b290a1bc3cc7d7e6d706a7392cc',1,'SVF::ProgSlice::dumpCond()'],['../classSVF_1_1PathCondAllocator.html#aae773a674331bb80cc589835e0b16e4e',1,'SVF::PathCondAllocator::dumpCond()']]],
138
+ ['dumpcond',['dumpCond',['../classSVF_1_1PathCondAllocator.html#aae773a674331bb80cc589835e0b16e4e',1,'SVF::PathCondAllocator::dumpCond()'],['../classSVF_1_1ProgSlice.html#a39381b290a1bc3cc7d7e6d706a7392cc',1,'SVF::ProgSlice::dumpCond()']]],
139
139
  ['dumpcontexts',['dumpContexts',['../classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c',1,'SVF::ContextDDA']]],
140
140
  ['dumpcpts',['dumpCPts',['../classSVF_1_1PointerAnalysis.html#ad409cbf61271743394b9e5868f3fd197',1,'SVF::PointerAnalysis::dumpCPts()'],['../classSVF_1_1BVDataPTAImpl.html#ae20bbb7991f585deb2e6d0d8115b1b93',1,'SVF::BVDataPTAImpl::dumpCPts()'],['../classSVF_1_1CondPTAImpl.html#aa260a3275fbec7061295306a58763d24',1,'SVF::CondPTAImpl::dumpCPts()']]],
141
141
  ['dumpcptset',['dumpCPtSet',['../classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5',1,'SVF::DDAVFSolver']]],