svf-tools 1.0.633 → 1.0.635

package/SVF-doxygen/html/html/search/classes_1.js

@@ -1,10 +1,4 @@
 var searchData=
 [
-  ['binaryopstmt',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
-  ['binaryopvfgnode',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
-  ['bitvector',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
-  ['branchstmt',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
-  ['branchvfgnode',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
-  ['breakconstantgeps',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
-  ['bvdataptaimpl',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
+  ['lockresultvalidator',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/html/search/classes_2.js

@@ -1,72 +1,6 @@
 var searchData=
 [
-  ['callcfgedge',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
-  ['callchi',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
-  ['calldirsvfgedge',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
-  ['callgraphbuilder',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
-  ['callicfgnode',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
-  ['callindsvfgedge',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
-  ['callmu',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
-  ['callpe',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
-  ['callsite',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
-  ['cast_5fconvert_5fval',['cast_convert_val',['../structSVF_1_1SVFUtil_1_1cast__convert__val.html',1,'SVF::SVFUtil']]],
-  ['cast_5fconvert_5fval_3c_20to_2c_20fromty_2c_20fromty_20_3e',['cast_convert_val< To, FromTy, FromTy >',['../structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl',['cast_retty_impl',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_3c_20to_2c_20const_20from_20_2a_20_3e',['cast_retty_impl< To, const From * >',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_3c_20to_2c_20const_20from_20_2aconst_20_3e',['cast_retty_impl< To, const From *const >',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_3c_20to_2c_20const_20from_20_3e',['cast_retty_impl< To, const From >',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_3c_20to_2c_20from_20_2a_20_3e',['cast_retty_impl< To, From * >',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_3c_20to_2c_20std_3a_3aunique_5fptr_3c_20from_20_3e_20_3e',['cast_retty_impl< To, std::unique_ptr< From > >',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fwrap',['cast_retty_wrap',['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fwrap_3c_20to_2c_20fromty_2c_20fromty_20_3e',['cast_retty_wrap< To, FromTy, FromTy >',['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html',1,'SVF::SVFUtil']]],
-  ['cfgnormalizer',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
-  ['cflalias',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
-  ['cflbase',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
-  ['cfldata',['CFLData',['../classSVF_1_1CFLData.html',1,'SVF']]],
-  ['cfldatabuilder',['CFLDataBuilder',['../classSVF_1_1CFLDataBuilder.html',1,'SVF']]],
-  ['cfledge',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
-  ['cflfifoworklist',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
-  ['cflgramgraphchecker',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
-  ['cflgrammar',['CFLGrammar',['../classSVF_1_1CFLGrammar.html',1,'SVF']]],
-  ['cflgraph',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
-  ['cflgraphbuilder',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
-  ['cflnode',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
-  ['cflsolver',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
-  ['cflstat',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
-  ['cflvf',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
-  ['chedge',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
-  ['chgbuilder',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
-  ['chgraph',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
-  ['chnode',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
-  ['cjson',['cJSON',['../structcJSON.html',1,'']]],
-  ['cjson_5fhooks',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
-  ['clusterer',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
-  ['cmpstmt',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
-  ['cmpvfgnode',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
-  ['commonchgraph',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
-  ['condpointstoset',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
-  ['condptaimpl',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptaimpl_3c_20contextcond_20_3e',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptssetiterator',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
-  ['condstdset',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
-  ['condvar',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
-  ['constraintedge',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
-  ['constraintgraph',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
-  ['constraintnode',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
-  ['contextcond',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
-  ['contextdda',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
-  ['copycgedge',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
-  ['copystmt',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
-  ['copyvfgnode',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
-  ['corebitvector',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
-  ['corebitvectoriterator',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
-  ['csc',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
-  ['cxtdpitem',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
-  ['cxtproc',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
-  ['cxtstmt',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
-  ['cxtstmtdpitem',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
-  ['cxtthread',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
-  ['cxtthreadproc',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
-  ['cxtthreadstmt',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
+  ['mhpvalidator',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF']]],
+  ['mtaannotator',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF']]],
+  ['mtaresultvalidator',['MTAResultValidator',['../classSVF_1_1MTAResultValidator.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/html/search/classes_3.js

@@ -1,35 +1,5 @@
 var searchData=
 [
-  ['dchedge',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF']]],
-  ['dchgraph',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF']]],
-  ['dchnode',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF']]],
-  ['ddaclient',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF']]],
-  ['ddapass',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF']]],
-  ['ddastat',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF']]],
-  ['ddavfsolver',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['defaultdotgraphtraits',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF']]],
-  ['demangledname',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
-  ['dfptdata',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF']]],
-  ['diffptdata',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF']]],
-  ['directsvfgedge',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF']]],
-  ['distinctmrg',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF']]],
-  ['dotgraphtraits',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20graphtype_20_3e',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20icfg_20_2a_20_3e',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfg_20_2a_20_3e',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfir_20_2a_3e',['DOTGraphTraits< SVFIR *>',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20tct_20_2a_20_3e',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20vfg_20_2a_20_3e',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
-  ['doublefreechecker',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF']]],
-  ['dpitem',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF']]],
-  ['dummyobjvar',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF']]],
-  ['dummyvalvar',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF']]],
-  ['dummyversionpropsvfgnode',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF']]]
+  ['raceresultvalidator',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
+  ['racevalidator',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/html/search/files_0.js

@@ -1,14 +1,5 @@
 var searchData=
 [
-  ['abstractpointstods_2eh',['AbstractPointsToDS.h',['../AbstractPointsToDS_8h.html',1,'']]],
-  ['abstractvalue_2eh',['AbstractValue.h',['../AbstractValue_8h.html',1,'']]],
-  ['addressvalue_2eh',['AddressValue.h',['../AddressValue_8h.html',1,'']]],
-  ['andersen_2ecpp',['Andersen.cpp',['../Andersen_8cpp.html',1,'']]],
-  ['andersen_2eh',['Andersen.h',['../Andersen_8h.html',1,'']]],
-  ['andersenpwc_2eh',['AndersenPWC.h',['../AndersenPWC_8h.html',1,'']]],
-  ['andersenscd_2ecpp',['AndersenSCD.cpp',['../AndersenSCD_8cpp.html',1,'']]],
-  ['andersensfr_2ecpp',['AndersenSFR.cpp',['../AndersenSFR_8cpp.html',1,'']]],
-  ['andersenstat_2ecpp',['AndersenStat.cpp',['../AndersenStat_8cpp.html',1,'']]],
-  ['andersenwavediff_2ecpp',['AndersenWaveDiff.cpp',['../AndersenWaveDiff_8cpp.html',1,'']]],
-  ['annotator_2eh',['Annotator.h',['../Annotator_8h.html',1,'']]]
+  ['cfl_2ecpp',['cfl.cpp',['../cfl_8cpp.html',1,'']]],
+  ['cmakelists_2etxt',['CMakeLists.txt',['../CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../CMakeLists_8txt.html',1,'(Global Namespace)'],['../DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]]
 ];

package/SVF-doxygen/html/html/search/files_1.js

@@ -1,8 +1,4 @@
 var searchData=
 [
-  ['basictypes_2eh',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
-  ['bitvector_2ecpp',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
-  ['bitvector_2eh',['BitVector.h',['../BitVector_8h.html',1,'']]],
-  ['breakconstantexpr_2ecpp',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
-  ['breakconstantexpr_2eh',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]]
+  ['dda_2ecpp',['dda.cpp',['../dda_8cpp.html',1,'']]]
 ];

package/SVF-doxygen/html/html/search/files_2.js

@@ -1,51 +1,5 @@
 var searchData=
 [
-  ['callgraphbuilder_2ecpp',['CallGraphBuilder.cpp',['../CallGraphBuilder_8cpp.html',1,'']]],
-  ['callgraphbuilder_2eh',['CallGraphBuilder.h',['../CallGraphBuilder_8h.html',1,'']]],
-  ['casting_2eh',['Casting.h',['../Casting_8h.html',1,'']]],
-  ['cfgnormalizer_2ecpp',['CFGNormalizer.cpp',['../CFGNormalizer_8cpp.html',1,'']]],
-  ['cfgnormalizer_2eh',['CFGNormalizer.h',['../CFGNormalizer_8h.html',1,'']]],
-  ['cfl_2ecpp',['cfl.cpp',['../cfl_8cpp.html',1,'']]],
-  ['cflalias_2ecpp',['CFLAlias.cpp',['../CFLAlias_8cpp.html',1,'']]],
-  ['cflalias_2eh',['CFLAlias.h',['../CFLAlias_8h.html',1,'']]],
-  ['cflbase_2ecpp',['CFLBase.cpp',['../CFLBase_8cpp.html',1,'']]],
-  ['cflbase_2eh',['CFLBase.h',['../CFLBase_8h.html',1,'']]],
-  ['cfldata_2eh',['CFLData.h',['../CFLData_8h.html',1,'']]],
-  ['cfldatabuilder_2eh',['CFLDataBuilder.h',['../CFLDataBuilder_8h.html',1,'']]],
-  ['cflgramgraphchecker_2eh',['CFLGramGraphChecker.h',['../CFLGramGraphChecker_8h.html',1,'']]],
-  ['cflgrammar_2ecpp',['CFLGrammar.cpp',['../CFLGrammar_8cpp.html',1,'']]],
-  ['cflgrammar_2eh',['CFLGrammar.h',['../CFLGrammar_8h.html',1,'']]],
-  ['cflgrammar_2etxt',['CFLGrammar.txt',['../CFLGrammar_8txt.html',1,'']]],
-  ['cflgraph_2ecpp',['CFLGraph.cpp',['../CFLGraph_8cpp.html',1,'']]],
-  ['cflgraph_2eh',['CFLGraph.h',['../CFLGraph_8h.html',1,'']]],
-  ['cflgraphbuilder_2ecpp',['CFLGraphBuilder.cpp',['../CFLGraphBuilder_8cpp.html',1,'']]],
-  ['cflgraphbuilder_2eh',['CFLGraphBuilder.h',['../CFLGraphBuilder_8h.html',1,'']]],
-  ['cflsolver_2ecpp',['CFLSolver.cpp',['../CFLSolver_8cpp.html',1,'']]],
-  ['cflsolver_2eh',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
-  ['cflstat_2ecpp',['CFLStat.cpp',['../CFLStat_8cpp.html',1,'']]],
-  ['cflstat_2eh',['CFLStat.h',['../CFLStat_8h.html',1,'']]],
-  ['cflvf_2ecpp',['CFLVF.cpp',['../CFLVF_8cpp.html',1,'']]],
-  ['cflvf_2eh',['CFLVF.h',['../CFLVF_8h.html',1,'']]],
-  ['chg_2ecpp',['CHG.cpp',['../CHG_8cpp.html',1,'']]],
-  ['chg_2eh',['CHG.h',['../CHG_8h.html',1,'']]],
-  ['chgbuilder_2ecpp',['CHGBuilder.cpp',['../CHGBuilder_8cpp.html',1,'']]],
-  ['chgbuilder_2eh',['CHGBuilder.h',['../CHGBuilder_8h.html',1,'']]],
-  ['cjson_2ecpp',['cJSON.cpp',['../cJSON_8cpp.html',1,'']]],
-  ['cjson_2eh',['cJSON.h',['../cJSON_8h.html',1,'']]],
-  ['cmakelists_2etxt',['CMakeLists.txt',['../lib_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
-  ['commandline_2eh',['CommandLine.h',['../CommandLine_8h.html',1,'']]],
-  ['conditionalpt_2eh',['ConditionalPT.h',['../ConditionalPT_8h.html',1,'']]],
-  ['consg_2ecpp',['ConsG.cpp',['../ConsG_8cpp.html',1,'']]],
-  ['consg_2eh',['ConsG.h',['../ConsG_8h.html',1,'']]],
-  ['consgedge_2eh',['ConsGEdge.h',['../ConsGEdge_8h.html',1,'']]],
-  ['consgnode_2eh',['ConsGNode.h',['../ConsGNode_8h.html',1,'']]],
-  ['contextdda_2ecpp',['ContextDDA.cpp',['../ContextDDA_8cpp.html',1,'']]],
-  ['contextdda_2eh',['ContextDDA.h',['../ContextDDA_8h.html',1,'']]],
-  ['corebitvector_2ecpp',['CoreBitVector.cpp',['../CoreBitVector_8cpp.html',1,'']]],
-  ['corebitvector_2eh',['CoreBitVector.h',['../CoreBitVector_8h.html',1,'']]],
-  ['cpputil_2ecpp',['CppUtil.cpp',['../CppUtil_8cpp.html',1,'']]],
-  ['cpputil_2eh',['CppUtil.h',['../CppUtil_8h.html',1,'']]],
-  ['csc_2ecpp',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
-  ['csc_2eh',['CSC.h',['../CSC_8h.html',1,'']]],
-  ['cxtstmt_2eh',['CxtStmt.h',['../CxtStmt_8h.html',1,'']]]
+  ['lockresultvalidator_2ecpp',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
+  ['lockresultvalidator_2eh',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]]
 ];

package/SVF-doxygen/html/html/search/files_3.js

@@ -1,17 +1,8 @@
 var searchData=
 [
-  ['dchg_2ecpp',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
-  ['dchg_2eh',['DCHG.h',['../DCHG_8h.html',1,'']]],
-  ['dda_2ecpp',['dda.cpp',['../dda_8cpp.html',1,'']]],
-  ['ddaclient_2ecpp',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
-  ['ddaclient_2eh',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
-  ['ddapass_2ecpp',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
-  ['ddapass_2eh',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
-  ['ddastat_2ecpp',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
-  ['ddastat_2eh',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
-  ['ddavfsolver_2eh',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
-  ['dotgraphtraits_2eh',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
-  ['doublefreechecker_2ecpp',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
-  ['doublefreechecker_2eh',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
-  ['dpitem_2eh',['DPItem.h',['../DPItem_8h.html',1,'']]]
+  ['mta_2ecpp',['mta.cpp',['../mta_8cpp.html',1,'']]],
+  ['mtaannotator_2ecpp',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
+  ['mtaannotator_2eh',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
+  ['mtaresultvalidator_2ecpp',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
+  ['mtaresultvalidator_2eh',['MTAResultValidator.h',['../MTAResultValidator_8h.html',1,'']]]
 ];

package/SVF-doxygen/html/html/search/files_4.js

@@ -1,7 +1,5 @@
 var searchData=
 [
-  ['exestate_2ecpp',['ExeState.cpp',['../ExeState_8cpp.html',1,'']]],
-  ['exestate_2eh',['ExeState.h',['../ExeState_8h.html',1,'']]],
-  ['extapi_2ecpp',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
-  ['extapi_2eh',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]]
+  ['saber_2ecpp',['saber.cpp',['../saber_8cpp.html',1,'']]],
+  ['svf_2dex_2ecpp',['svf-ex.cpp',['../svf-ex_8cpp.html',1,'']]]
 ];

package/SVF-doxygen/html/html/search/files_5.js

@@ -1,16 +1,4 @@
 var searchData=
 [
-  ['fastcluster_2ecpp',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
-  ['fastcluster_2eh',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
-  ['fastcluster_5fdm_2ecpp_2einc',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
-  ['fastcluster_5fr_5fdm_2ecpp_2einc',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
-  ['filechecker_2ecpp',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
-  ['filechecker_2eh',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
-  ['flowdda_2ecpp',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
-  ['flowdda_2eh',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
-  ['flowsensitive_2ecpp',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
-  ['flowsensitive_2eh',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
-  ['flowsensitivestat_2ecpp',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
-  ['fsmpta_2ecpp',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
-  ['fsmpta_2eh',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]]
+  ['wpa_2ecpp',['wpa.cpp',['../wpa_8cpp.html',1,'']]]
 ];