svf-tools 1.0.837 → 1.0.839

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

@@ -1,76 +1,76 @@
 var searchData=
 [
-  ['sabercheckerapi_6893',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
-  ['sabercondallocator_6894',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
-  ['sabersvfgbuilder_6895',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
-  ['scc_6896',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
-  ['sccdetection_6897',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
-  ['selectstmt_6898',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
-  ['simplify_5ftype_6899',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
-  ['simplify_5ftype_3c_20const_20from_20_3e_6900',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
-  ['singleabsvalue_6901',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
-  ['sparsebitvector_6902',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
-  ['sparsebitvectorelement_6903',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
-  ['sparsebitvectoriterator_6904',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
-  ['srcsnkdda_6905',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
-  ['srcsnksolver_6906',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
-  ['steensgaard_6907',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
-  ['stinfo_6908',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
-  ['stmtdpitem_6909',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
-  ['stmtvfgnode_6910',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
-  ['storecgedge_6911',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
-  ['storechi_6912',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
-  ['storestmt_6913',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
-  ['storevfgnode_6914',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
-  ['svfargument_6915',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
-  ['svfarraytype_6916',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
-  ['svfbasicblock_6917',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
-  ['svfblackholevalue_6918',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
-  ['svfbugevent_6919',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
-  ['svfbugreport_6920',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
-  ['svfcallinst_6921',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
-  ['svfconstant_6922',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
-  ['svfconstantdata_6923',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
-  ['svfconstantfp_6924',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
-  ['svfconstantint_6925',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
-  ['svfconstantnullptr_6926',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
-  ['svffunction_6927',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
-  ['svffunctiontype_6928',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
-  ['svfg_6929',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
-  ['svfgbuilder_6930',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
-  ['svfglobalvalue_6931',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
-  ['svfgnodelockspan_6932',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
-  ['svfgopt_6933',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
-  ['svfgstat_6934',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
-  ['svfinstruction_6935',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
-  ['svfintegertype_6936',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
-  ['svfir_6937',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
-  ['svfir2consexestate_6938',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
-  ['svfir2itvexestate_6939',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
-  ['svfirbuilder_6940',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
-  ['svfirreader_6941',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
-  ['svfirwriter_6942',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
-  ['svfloop_6943',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
-  ['svfloopanddominfo_6944',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
-  ['svfmetadataasvalue_6945',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
-  ['svfmodule_6946',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
-  ['svfmodulereader_6947',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
-  ['svfmodulewriter_6948',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
-  ['svfothertype_6949',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
-  ['svfothervalue_6950',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
-  ['svfpointertype_6951',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
-  ['svfstat_6952',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
-  ['svfstmt_6953',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
-  ['svfstructtype_6954',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
-  ['svftype_6955',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
-  ['svfvalue_6956',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
-  ['svfvar_6957',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
-  ['svfvirtualcallinst_6958',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
-  ['symbol_6959',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
-  ['symbolhash_6960',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
-  ['symboltablebuilder_6961',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
-  ['symboltableinfo_6962',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
-  ['symboltableinforeader_6963',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
-  ['symbolvectorhash_6964',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
-  ['symstate_6965',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
+  ['sabercheckerapi_6894',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
+  ['sabercondallocator_6895',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
+  ['sabersvfgbuilder_6896',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
+  ['scc_6897',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
+  ['sccdetection_6898',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
+  ['selectstmt_6899',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
+  ['simplify_5ftype_6900',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
+  ['simplify_5ftype_3c_20const_20from_20_3e_6901',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
+  ['singleabsvalue_6902',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
+  ['sparsebitvector_6903',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
+  ['sparsebitvectorelement_6904',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
+  ['sparsebitvectoriterator_6905',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
+  ['srcsnkdda_6906',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
+  ['srcsnksolver_6907',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
+  ['steensgaard_6908',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
+  ['stinfo_6909',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
+  ['stmtdpitem_6910',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
+  ['stmtvfgnode_6911',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
+  ['storecgedge_6912',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
+  ['storechi_6913',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
+  ['storestmt_6914',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
+  ['storevfgnode_6915',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
+  ['svfargument_6916',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
+  ['svfarraytype_6917',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
+  ['svfbasicblock_6918',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
+  ['svfblackholevalue_6919',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
+  ['svfbugevent_6920',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
+  ['svfbugreport_6921',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
+  ['svfcallinst_6922',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
+  ['svfconstant_6923',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
+  ['svfconstantdata_6924',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
+  ['svfconstantfp_6925',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
+  ['svfconstantint_6926',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
+  ['svfconstantnullptr_6927',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
+  ['svffunction_6928',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
+  ['svffunctiontype_6929',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
+  ['svfg_6930',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
+  ['svfgbuilder_6931',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
+  ['svfglobalvalue_6932',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
+  ['svfgnodelockspan_6933',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
+  ['svfgopt_6934',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
+  ['svfgstat_6935',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
+  ['svfinstruction_6936',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
+  ['svfintegertype_6937',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
+  ['svfir_6938',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
+  ['svfir2consexestate_6939',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
+  ['svfir2itvexestate_6940',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
+  ['svfirbuilder_6941',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
+  ['svfirreader_6942',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
+  ['svfirwriter_6943',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
+  ['svfloop_6944',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
+  ['svfloopanddominfo_6945',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
+  ['svfmetadataasvalue_6946',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
+  ['svfmodule_6947',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
+  ['svfmodulereader_6948',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
+  ['svfmodulewriter_6949',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
+  ['svfothertype_6950',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
+  ['svfothervalue_6951',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
+  ['svfpointertype_6952',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
+  ['svfstat_6953',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
+  ['svfstmt_6954',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
+  ['svfstructtype_6955',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
+  ['svftype_6956',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
+  ['svfvalue_6957',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
+  ['svfvar_6958',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
+  ['svfvirtualcallinst_6959',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
+  ['symbol_6960',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
+  ['symbolhash_6961',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
+  ['symboltablebuilder_6962',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
+  ['symboltableinfo_6963',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
+  ['symboltableinforeader_6964',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
+  ['symbolvectorhash_6965',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
+  ['symstate_6966',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
 ];

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

@@ -1,18 +1,18 @@
 var searchData=
 [
-  ['tailbuilder_6966',['TailBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
-  ['tct_6967',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
-  ['tctedge_6968',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
-  ['tctnode_6969',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
-  ['tdforkpe_6970',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
-  ['tdjoinpe_6971',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
-  ['threadapi_6972',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
-  ['threadcallgraph_6973',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
-  ['threadcallgraphbuilder_6974',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
-  ['threadforkedge_6975',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
-  ['threadjoinedge_6976',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
-  ['threadmhpindsvfgedge_6977',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
-  ['trailingzeroscounter_6978',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['treenode_6979',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
-  ['typeanalysis_6980',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
+  ['tailbuilder_6967',['TailBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
+  ['tct_6968',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
+  ['tctedge_6969',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
+  ['tctnode_6970',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
+  ['tdforkpe_6971',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
+  ['tdjoinpe_6972',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
+  ['threadapi_6973',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
+  ['threadcallgraph_6974',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
+  ['threadcallgraphbuilder_6975',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
+  ['threadforkedge_6976',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
+  ['threadjoinedge_6977',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
+  ['threadmhpindsvfgedge_6978',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
+  ['trailingzeroscounter_6979',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['treenode_6980',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
+  ['typeanalysis_6981',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['unaryopstmt_6981',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
-  ['unaryopvfgnode_6982',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
+  ['unaryopstmt_6982',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
+  ['unaryopvfgnode_6983',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['valvar_6983',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
-  ['varargpn_6984',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
-  ['variantgepcgedge_6985',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
-  ['versionedflowsensitive_6986',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
-  ['versionedflowsensitivestat_6987',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
-  ['versionedptdata_6988',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
-  ['vfcflgraphbuilder_6989',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
-  ['vfg_6990',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
-  ['vfgedge_6991',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
-  ['vfgnode_6992',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
+  ['valvar_6984',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
+  ['varargpn_6985',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
+  ['variantgepcgedge_6986',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
+  ['versionedflowsensitive_6987',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
+  ['versionedflowsensitivestat_6988',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
+  ['versionedptdata_6989',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
+  ['vfcflgraphbuilder_6990',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
+  ['vfg_6991',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
+  ['vfgedge_6992',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
+  ['vfgnode_6993',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['wpafssolver_6993',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
-  ['wpaminimumsolver_6994',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
-  ['wpapass_6995',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
-  ['wpasccsolver_6996',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
-  ['wpasolver_6997',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
-  ['writerptrpool_6998',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_6999',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7000',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7001',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7002',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7003',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['wtocycledepth_7004',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
-  ['wtocycledepthbuilder_7005',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
-  ['wtovisitor_7006',['WTOVisitor',['../classSVF_1_1WTOVisitor.html',1,'SVF']]]
+  ['wpafssolver_6994',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
+  ['wpaminimumsolver_6995',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
+  ['wpapass_6996',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
+  ['wpasccsolver_6997',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
+  ['wpasolver_6998',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
+  ['writerptrpool_6999',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_7000',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7001',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7002',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7003',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7004',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['wtocycledepth_7005',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
+  ['wtocycledepthbuilder_7006',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
+  ['wtovisitor_7007',['WTOVisitor',['../classSVF_1_1WTOVisitor.html',1,'SVF']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['z3expr_7007',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF']]]
+  ['z3expr_7008',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF']]]
 ];

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

@@ -44,40 +44,41 @@ var searchData=
   ['cflnode_6459',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
   ['cflsolver_6460',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
   ['cflstat_6461',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
-  ['cflvf_6462',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
-  ['chedge_6463',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
-  ['chgbuilder_6464',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
-  ['chgraph_6465',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
-  ['chnode_6466',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
-  ['cjson_6467',['cJSON',['../structcJSON.html',1,'']]],
-  ['cjson_5fhooks_6468',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
-  ['clusterer_6469',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
-  ['cmpstmt_6470',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
-  ['cmpvfgnode_6471',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
-  ['commonchgraph_6472',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
-  ['condpointstoset_6473',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
-  ['condptaimpl_6474',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptaimpl_3c_20contextcond_20_3e_6475',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptssetiterator_6476',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
-  ['condstdset_6477',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
-  ['condvar_6478',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
-  ['consexestate_6479',['ConsExeState',['../classSVF_1_1ConsExeState.html',1,'SVF']]],
-  ['constraintedge_6480',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
-  ['constraintgraph_6481',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
-  ['constraintnode_6482',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
-  ['contextcond_6483',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
-  ['contextdda_6484',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
-  ['copycgedge_6485',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
-  ['copystmt_6486',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
-  ['copyvfgnode_6487',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
-  ['corebitvector_6488',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
-  ['corebitvectoriterator_6489',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
-  ['csc_6490',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
-  ['cxtdpitem_6491',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
-  ['cxtproc_6492',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
-  ['cxtstmt_6493',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
-  ['cxtstmtdpitem_6494',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
-  ['cxtthread_6495',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
-  ['cxtthreadproc_6496',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
-  ['cxtthreadstmt_6497',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
+  ['cflsvfgbuilder_6462',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
+  ['cflvf_6463',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
+  ['chedge_6464',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
+  ['chgbuilder_6465',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
+  ['chgraph_6466',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
+  ['chnode_6467',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
+  ['cjson_6468',['cJSON',['../structcJSON.html',1,'']]],
+  ['cjson_5fhooks_6469',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
+  ['clusterer_6470',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
+  ['cmpstmt_6471',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
+  ['cmpvfgnode_6472',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
+  ['commonchgraph_6473',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
+  ['condpointstoset_6474',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
+  ['condptaimpl_6475',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptaimpl_3c_20contextcond_20_3e_6476',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptssetiterator_6477',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
+  ['condstdset_6478',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
+  ['condvar_6479',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
+  ['consexestate_6480',['ConsExeState',['../classSVF_1_1ConsExeState.html',1,'SVF']]],
+  ['constraintedge_6481',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
+  ['constraintgraph_6482',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
+  ['constraintnode_6483',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
+  ['contextcond_6484',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
+  ['contextdda_6485',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
+  ['copycgedge_6486',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
+  ['copystmt_6487',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
+  ['copyvfgnode_6488',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
+  ['corebitvector_6489',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
+  ['corebitvectoriterator_6490',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
+  ['csc_6491',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
+  ['cxtdpitem_6492',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
+  ['cxtproc_6493',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
+  ['cxtstmt_6494',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
+  ['cxtstmtdpitem_6495',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
+  ['cxtthread_6496',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
+  ['cxtthreadproc_6497',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
+  ['cxtthreadstmt_6498',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
 ];

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

@@ -1,40 +1,40 @@
 var searchData=
 [
-  ['dchedge_6498',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF']]],
-  ['dchgraph_6499',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF']]],
-  ['dchnode_6500',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF']]],
-  ['ddaclient_6501',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF']]],
-  ['ddapass_6502',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF']]],
-  ['ddastat_6503',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF']]],
-  ['ddavfsolver_6504',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_6505',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_6506',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['defaultdotgraphtraits_6507',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF']]],
-  ['demangledname_6508',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
-  ['dfptdata_6509',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF']]],
-  ['diffptdata_6510',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF']]],
-  ['directsvfgedge_6511',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF']]],
-  ['distinctmrg_6512',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF']]],
-  ['dotgraphtraits_6513',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_6514',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_6515',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_6516',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20graphtype_20_3e_6517',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_6518',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_6519',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_6520',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_6521',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3acfbasicblockgraph_20_2a_20_3e_6522',['DOTGraphTraits< SVF::CFBasicBlockGraph * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_6523',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3asvfir_20_2a_20_3e_6524',['DOTGraphTraits< SVF::SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_6525',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_6526',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20tct_20_2a_20_3e_6527',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_6528',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
-  ['doublefreebug_6529',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF']]],
-  ['doublefreechecker_6530',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF']]],
-  ['dpitem_6531',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF']]],
-  ['dummyobjvar_6532',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF']]],
-  ['dummyvalvar_6533',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF']]],
-  ['dummyversionpropsvfgnode_6534',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF']]]
+  ['dchedge_6499',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF']]],
+  ['dchgraph_6500',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF']]],
+  ['dchnode_6501',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF']]],
+  ['ddaclient_6502',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF']]],
+  ['ddapass_6503',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF']]],
+  ['ddastat_6504',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF']]],
+  ['ddavfsolver_6505',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_6506',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_6507',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['defaultdotgraphtraits_6508',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF']]],
+  ['demangledname_6509',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
+  ['dfptdata_6510',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF']]],
+  ['diffptdata_6511',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF']]],
+  ['directsvfgedge_6512',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF']]],
+  ['distinctmrg_6513',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF']]],
+  ['dotgraphtraits_6514',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_6515',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_6516',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_6517',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20graphtype_20_3e_6518',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_6519',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_6520',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_6521',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_6522',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3acfbasicblockgraph_20_2a_20_3e_6523',['DOTGraphTraits< SVF::CFBasicBlockGraph * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_6524',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3asvfir_20_2a_20_3e_6525',['DOTGraphTraits< SVF::SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_6526',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_6527',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20tct_20_2a_20_3e_6528',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_6529',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
+  ['doublefreebug_6530',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF']]],
+  ['doublefreechecker_6531',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF']]],
+  ['dpitem_6532',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF']]],
+  ['dummyobjvar_6533',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF']]],
+  ['dummyvalvar_6534',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF']]],
+  ['dummyversionpropsvfgnode_6535',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['entrychi_6535',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF']]],
-  ['equalcfbbedge_6536',['equalCFBBEdge',['../structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html',1,'SVF::CFBasicBlockEdge']]],
-  ['equalgedge_6537',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge']]],
-  ['equalmemregion_6538',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion']]],
-  ['equalnodebs_6539',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil']]],
-  ['equalpointsto_6540',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil']]],
-  ['error_6541',['error',['../structerror.html',1,'']]],
-  ['exestate_6542',['ExeState',['../classSVF_1_1ExeState.html',1,'SVF']]],
-  ['extapi_6543',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF']]]
+  ['entrychi_6536',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF']]],
+  ['equalcfbbedge_6537',['equalCFBBEdge',['../structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html',1,'SVF::CFBasicBlockEdge']]],
+  ['equalgedge_6538',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge']]],
+  ['equalmemregion_6539',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion']]],
+  ['equalnodebs_6540',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil']]],
+  ['equalpointsto_6541',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil']]],
+  ['error_6542',['error',['../structerror.html',1,'']]],
+  ['exestate_6543',['ExeState',['../classSVF_1_1ExeState.html',1,'SVF']]],
+  ['extapi_6544',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF']]]
 ];

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

@@ -1,31 +1,31 @@
 var searchData=
 [
-  ['fifoworklist_6544',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e_6545',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e_6546',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtlockproc_20_3e_6547',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtstmt_20_3e_6548',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtthreadproc_20_3e_6549',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtthreadstmt_20_3e_6550',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20dpitem_20_3e_6551',['FIFOWorkList< DPItem >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20nodeid_20_3e_6552',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['filechecker_6553',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF']]],
-  ['fileneverclosebug_6554',['FileNeverCloseBug',['../classSVF_1_1FileNeverCloseBug.html',1,'SVF']]],
-  ['filepartialclosebug_6555',['FilePartialCloseBug',['../classSVF_1_1FilePartialCloseBug.html',1,'SVF']]],
-  ['filoworklist_6556',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF']]],
-  ['fiobjvar_6557',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF']]],
-  ['flowdda_6558',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF']]],
-  ['flowsensitive_6559',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF']]],
-  ['flowsensitivestat_6560',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF']]],
-  ['forkjoinanalysis_6561',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF']]],
-  ['formalinsvfgnode_6562',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF']]],
-  ['formaloutsvfgnode_6563',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF']]],
-  ['formalparmvfgnode_6564',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF']]],
-  ['formalretvfgnode_6565',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF']]],
-  ['fsmpta_6566',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF']]],
-  ['fullbufferoverflowbug_6567',['FullBufferOverflowBug',['../classSVF_1_1FullBufferOverflowBug.html',1,'SVF']]],
-  ['fullnullptrdereferencebug_6568',['FullNullPtrDereferenceBug',['../classSVF_1_1FullNullPtrDereferenceBug.html',1,'SVF']]],
-  ['funentryicfgnode_6569',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF']]],
-  ['funexiticfgnode_6570',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF']]],
-  ['funptrddaclient_6571',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF']]]
+  ['fifoworklist_6545',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e_6546',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e_6547',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20cxtlockproc_20_3e_6548',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20cxtstmt_20_3e_6549',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20cxtthreadproc_20_3e_6550',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20cxtthreadstmt_20_3e_6551',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20dpitem_20_3e_6552',['FIFOWorkList< DPItem >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20nodeid_20_3e_6553',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['filechecker_6554',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF']]],
+  ['fileneverclosebug_6555',['FileNeverCloseBug',['../classSVF_1_1FileNeverCloseBug.html',1,'SVF']]],
+  ['filepartialclosebug_6556',['FilePartialCloseBug',['../classSVF_1_1FilePartialCloseBug.html',1,'SVF']]],
+  ['filoworklist_6557',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF']]],
+  ['fiobjvar_6558',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF']]],
+  ['flowdda_6559',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF']]],
+  ['flowsensitive_6560',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF']]],
+  ['flowsensitivestat_6561',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF']]],
+  ['forkjoinanalysis_6562',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF']]],
+  ['formalinsvfgnode_6563',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF']]],
+  ['formaloutsvfgnode_6564',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF']]],
+  ['formalparmvfgnode_6565',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF']]],
+  ['formalretvfgnode_6566',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF']]],
+  ['fsmpta_6567',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF']]],
+  ['fullbufferoverflowbug_6568',['FullBufferOverflowBug',['../classSVF_1_1FullBufferOverflowBug.html',1,'SVF']]],
+  ['fullnullptrdereferencebug_6569',['FullNullPtrDereferenceBug',['../classSVF_1_1FullNullPtrDereferenceBug.html',1,'SVF']]],
+  ['funentryicfgnode_6570',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF']]],
+  ['funexiticfgnode_6571',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF']]],
+  ['funptrddaclient_6572',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF']]]
 ];