svf-tools 1.0.890 → 1.0.892

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

@@ -1,77 +1,77 @@
 var searchData=
 [
-  ['sabercheckerapi_7087',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
-  ['sabercondallocator_7088',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
-  ['sabersvfgbuilder_7089',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
-  ['scc_7090',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
-  ['sccdetection_7091',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
-  ['selectstmt_7092',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
-  ['simplify_5ftype_7093',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
-  ['simplify_5ftype_3c_20const_20from_20_3e_7094',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
-  ['singleabsvalue_7095',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
-  ['sparsebitvector_7096',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
-  ['sparsebitvectorelement_7097',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
-  ['sparsebitvectoriterator_7098',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
-  ['srcsnkdda_7099',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
-  ['srcsnksolver_7100',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
-  ['steensgaard_7101',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
-  ['stinfo_7102',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
-  ['stmtdpitem_7103',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
-  ['stmtvfgnode_7104',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
-  ['storecgedge_7105',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
-  ['storechi_7106',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
-  ['storestmt_7107',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
-  ['storevfgnode_7108',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
-  ['svfargument_7109',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
-  ['svfarraytype_7110',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
-  ['svfbasicblock_7111',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
-  ['svfblackholevalue_7112',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
-  ['svfbugevent_7113',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
-  ['svfbugreport_7114',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
-  ['svfcallinst_7115',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
-  ['svfconstant_7116',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
-  ['svfconstantdata_7117',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
-  ['svfconstantfp_7118',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
-  ['svfconstantint_7119',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
-  ['svfconstantnullptr_7120',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
-  ['svffunction_7121',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
-  ['svffunctiontype_7122',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
-  ['svfg_7123',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
-  ['svfgbuilder_7124',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
-  ['svfglobalvalue_7125',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
-  ['svfgnodelockspan_7126',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
-  ['svfgopt_7127',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
-  ['svfgstat_7128',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
-  ['svfinstruction_7129',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
-  ['svfintegertype_7130',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
-  ['svfir_7131',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
-  ['svfir2consexestate_7132',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
-  ['svfir2itvexestate_7133',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
-  ['svfirbuilder_7134',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
-  ['svfirreader_7135',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
-  ['svfirwriter_7136',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
-  ['svfloop_7137',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
-  ['svfloopanddominfo_7138',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
-  ['svfmetadataasvalue_7139',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
-  ['svfmodule_7140',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
-  ['svfmodulereader_7141',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
-  ['svfmodulewriter_7142',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
-  ['svfothertype_7143',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
-  ['svfothervalue_7144',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
-  ['svfpointertype_7145',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
-  ['svfstat_7146',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
-  ['svfstmt_7147',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
-  ['svfstructtype_7148',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
-  ['svftype_7149',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
-  ['svfvalue_7150',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
-  ['svfvar_7151',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
-  ['svfvirtualcallinst_7152',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
-  ['symblicabstractiontest_7153',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html',1,'']]],
-  ['symbol_7154',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
-  ['symbolhash_7155',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
-  ['symboltablebuilder_7156',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
-  ['symboltableinfo_7157',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
-  ['symboltableinforeader_7158',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
-  ['symbolvectorhash_7159',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
-  ['symstate_7160',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
+  ['sabercheckerapi_7088',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
+  ['sabercondallocator_7089',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
+  ['sabersvfgbuilder_7090',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
+  ['scc_7091',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
+  ['sccdetection_7092',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
+  ['selectstmt_7093',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
+  ['simplify_5ftype_7094',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
+  ['simplify_5ftype_3c_20const_20from_20_3e_7095',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
+  ['singleabsvalue_7096',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
+  ['sparsebitvector_7097',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
+  ['sparsebitvectorelement_7098',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
+  ['sparsebitvectoriterator_7099',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
+  ['srcsnkdda_7100',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
+  ['srcsnksolver_7101',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
+  ['steensgaard_7102',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
+  ['stinfo_7103',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
+  ['stmtdpitem_7104',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
+  ['stmtvfgnode_7105',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
+  ['storecgedge_7106',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
+  ['storechi_7107',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
+  ['storestmt_7108',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
+  ['storevfgnode_7109',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
+  ['svfargument_7110',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
+  ['svfarraytype_7111',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
+  ['svfbasicblock_7112',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
+  ['svfblackholevalue_7113',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
+  ['svfbugevent_7114',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
+  ['svfbugreport_7115',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
+  ['svfcallinst_7116',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
+  ['svfconstant_7117',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
+  ['svfconstantdata_7118',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
+  ['svfconstantfp_7119',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
+  ['svfconstantint_7120',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
+  ['svfconstantnullptr_7121',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
+  ['svffunction_7122',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
+  ['svffunctiontype_7123',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
+  ['svfg_7124',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
+  ['svfgbuilder_7125',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
+  ['svfglobalvalue_7126',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
+  ['svfgnodelockspan_7127',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
+  ['svfgopt_7128',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
+  ['svfgstat_7129',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
+  ['svfinstruction_7130',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
+  ['svfintegertype_7131',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
+  ['svfir_7132',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
+  ['svfir2consexestate_7133',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
+  ['svfir2itvexestate_7134',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
+  ['svfirbuilder_7135',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
+  ['svfirreader_7136',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
+  ['svfirwriter_7137',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
+  ['svfloop_7138',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
+  ['svfloopanddominfo_7139',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
+  ['svfmetadataasvalue_7140',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
+  ['svfmodule_7141',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
+  ['svfmodulereader_7142',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
+  ['svfmodulewriter_7143',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
+  ['svfothertype_7144',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
+  ['svfothervalue_7145',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
+  ['svfpointertype_7146',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
+  ['svfstat_7147',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
+  ['svfstmt_7148',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
+  ['svfstructtype_7149',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
+  ['svftype_7150',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
+  ['svfvalue_7151',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
+  ['svfvar_7152',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
+  ['svfvirtualcallinst_7153',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
+  ['symblicabstractiontest_7154',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html',1,'']]],
+  ['symbol_7155',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
+  ['symbolhash_7156',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
+  ['symboltablebuilder_7157',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
+  ['symboltableinfo_7158',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
+  ['symboltableinforeader_7159',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
+  ['symbolvectorhash_7160',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
+  ['symstate_7161',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['tct_7161',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
-  ['tctedge_7162',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
-  ['tctnode_7163',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
-  ['tdforkpe_7164',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
-  ['tdjoinpe_7165',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
-  ['threadapi_7166',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
-  ['threadcallgraph_7167',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
-  ['threadcallgraphbuilder_7168',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
-  ['threadforkedge_7169',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
-  ['threadjoinedge_7170',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
-  ['threadmhpindsvfgedge_7171',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
-  ['trailingzeroscounter_7172',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['treenode_7173',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
-  ['typeanalysis_7174',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
+  ['tct_7162',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
+  ['tctedge_7163',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
+  ['tctnode_7164',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
+  ['tdforkpe_7165',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
+  ['tdjoinpe_7166',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
+  ['threadapi_7167',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
+  ['threadcallgraph_7168',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
+  ['threadcallgraphbuilder_7169',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
+  ['threadforkedge_7170',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
+  ['threadjoinedge_7171',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
+  ['threadmhpindsvfgedge_7172',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
+  ['trailingzeroscounter_7173',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['treenode_7174',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
+  ['typeanalysis_7175',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['unaryopstmt_7175',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
-  ['unaryopvfgnode_7176',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
+  ['unaryopstmt_7176',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
+  ['unaryopvfgnode_7177',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['valvar_7177',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
-  ['varargpn_7178',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
-  ['variantgepcgedge_7179',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
-  ['versionedflowsensitive_7180',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
-  ['versionedflowsensitivestat_7181',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
-  ['versionedptdata_7182',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
-  ['vfcflgraphbuilder_7183',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
-  ['vfg_7184',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
-  ['vfgedge_7185',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
-  ['vfgnode_7186',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
+  ['valvar_7178',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
+  ['varargpn_7179',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
+  ['variantgepcgedge_7180',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
+  ['versionedflowsensitive_7181',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
+  ['versionedflowsensitivestat_7182',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
+  ['versionedptdata_7183',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
+  ['vfcflgraphbuilder_7184',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
+  ['vfg_7185',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
+  ['vfgedge_7186',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
+  ['vfgnode_7187',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
 ];

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

@@ -1,22 +1,22 @@
 var searchData=
 [
-  ['wpafssolver_7187',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
-  ['wpaminimumsolver_7188',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
-  ['wpapass_7189',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
-  ['wpasccsolver_7190',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
-  ['wpasolver_7191',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
-  ['writerptrpool_7192',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_7193',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7194',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7195',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7196',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7197',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['wto_7198',['WTO',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wto_3c_20icfg_20_3e_7199',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wtocomponent_7200',['WTOComponent',['../classSVF_1_1WTOComponent.html',1,'SVF']]],
-  ['wtocomponentvisitor_7201',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html',1,'SVF']]],
-  ['wtocycle_7202',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF']]],
-  ['wtocycledepth_7203',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
-  ['wtocycledepthbuilder_7204',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html',1,'SVF::WTO']]],
-  ['wtonode_7205',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF']]]
+  ['wpafssolver_7188',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
+  ['wpaminimumsolver_7189',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
+  ['wpapass_7190',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
+  ['wpasccsolver_7191',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
+  ['wpasolver_7192',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
+  ['writerptrpool_7193',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_7194',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7195',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7196',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7197',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7198',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['wto_7199',['WTO',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wto_3c_20icfg_20_3e_7200',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wtocomponent_7201',['WTOComponent',['../classSVF_1_1WTOComponent.html',1,'SVF']]],
+  ['wtocomponentvisitor_7202',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html',1,'SVF']]],
+  ['wtocycle_7203',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF']]],
+  ['wtocycledepth_7204',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
+  ['wtocycledepthbuilder_7205',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html',1,'SVF::WTO']]],
+  ['wtonode_7206',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF']]]
 ];

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

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

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

@@ -1,76 +1,76 @@
 var searchData=
 [
-  ['callcfgedge_6620',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
-  ['callchi_6621',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
-  ['calldirsvfgedge_6622',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
-  ['callgraphbuilder_6623',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
-  ['callicfgnode_6624',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
-  ['callindsvfgedge_6625',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
-  ['callmu_6626',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
-  ['callpe_6627',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
-  ['callsite_6628',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
-  ['cast_5fconvert_5fval_6629',['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_6630',['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_6631',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_6632',['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_6633',['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_6634',['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_6635',['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_6636',['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_6637',['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_6638',['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_6639',['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']]],
-  ['cdg_6640',['CDG',['../classSVF_1_1CDG.html',1,'SVF']]],
-  ['cdgbuilder_6641',['CDGBuilder',['../classSVF_1_1CDGBuilder.html',1,'SVF']]],
-  ['cdgedge_6642',['CDGEdge',['../classSVF_1_1CDGEdge.html',1,'SVF']]],
-  ['cdgnode_6643',['CDGNode',['../classSVF_1_1CDGNode.html',1,'SVF']]],
-  ['cfgnormalizer_6644',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
-  ['cfgrammar_6645',['CFGrammar',['../classSVF_1_1CFGrammar.html',1,'SVF']]],
-  ['cflalias_6646',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
-  ['cflbase_6647',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
-  ['cfledge_6648',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
-  ['cflfifoworklist_6649',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
-  ['cflgramgraphchecker_6650',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
-  ['cflgraph_6651',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
-  ['cflgraphbuilder_6652',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
-  ['cflnode_6653',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
-  ['cflsolver_6654',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
-  ['cflstat_6655',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
-  ['cflsvfgbuilder_6656',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
-  ['cflvf_6657',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
-  ['chedge_6658',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
-  ['chgbuilder_6659',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
-  ['chgraph_6660',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
-  ['chnode_6661',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
-  ['cjson_6662',['cJSON',['../structcJSON.html',1,'']]],
-  ['cjson_5fhooks_6663',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
-  ['clusterer_6664',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
-  ['cmpstmt_6665',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
-  ['cmpvfgnode_6666',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
-  ['commonchgraph_6667',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
-  ['condpointstoset_6668',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
-  ['condptaimpl_6669',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptaimpl_3c_20contextcond_20_3e_6670',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptssetiterator_6671',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
-  ['condstdset_6672',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
-  ['condvar_6673',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
-  ['consexestate_6674',['ConsExeState',['../classSVF_1_1ConsExeState.html',1,'SVF']]],
-  ['constraintedge_6675',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
-  ['constraintgraph_6676',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
-  ['constraintnode_6677',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
-  ['contextcond_6678',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
-  ['contextdda_6679',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
-  ['copycgedge_6680',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
-  ['copystmt_6681',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
-  ['copyvfgnode_6682',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
-  ['corebitvector_6683',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
-  ['corebitvectoriterator_6684',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
-  ['csc_6685',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
-  ['cxtdpitem_6686',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
-  ['cxtproc_6687',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
-  ['cxtstmt_6688',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
-  ['cxtstmtdpitem_6689',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
-  ['cxtthread_6690',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
-  ['cxtthreadproc_6691',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
-  ['cxtthreadstmt_6692',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
+  ['callcfgedge_6621',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
+  ['callchi_6622',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
+  ['calldirsvfgedge_6623',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
+  ['callgraphbuilder_6624',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
+  ['callicfgnode_6625',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
+  ['callindsvfgedge_6626',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
+  ['callmu_6627',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
+  ['callpe_6628',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
+  ['callsite_6629',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
+  ['cast_5fconvert_5fval_6630',['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_6631',['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_6632',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
+  ['cast_5fretty_5fimpl_6633',['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_6634',['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_6635',['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_6636',['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_6637',['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_6638',['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_6639',['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_6640',['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']]],
+  ['cdg_6641',['CDG',['../classSVF_1_1CDG.html',1,'SVF']]],
+  ['cdgbuilder_6642',['CDGBuilder',['../classSVF_1_1CDGBuilder.html',1,'SVF']]],
+  ['cdgedge_6643',['CDGEdge',['../classSVF_1_1CDGEdge.html',1,'SVF']]],
+  ['cdgnode_6644',['CDGNode',['../classSVF_1_1CDGNode.html',1,'SVF']]],
+  ['cfgnormalizer_6645',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
+  ['cfgrammar_6646',['CFGrammar',['../classSVF_1_1CFGrammar.html',1,'SVF']]],
+  ['cflalias_6647',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
+  ['cflbase_6648',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
+  ['cfledge_6649',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
+  ['cflfifoworklist_6650',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
+  ['cflgramgraphchecker_6651',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
+  ['cflgraph_6652',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
+  ['cflgraphbuilder_6653',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
+  ['cflnode_6654',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
+  ['cflsolver_6655',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
+  ['cflstat_6656',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
+  ['cflsvfgbuilder_6657',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
+  ['cflvf_6658',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
+  ['chedge_6659',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
+  ['chgbuilder_6660',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
+  ['chgraph_6661',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
+  ['chnode_6662',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
+  ['cjson_6663',['cJSON',['../structcJSON.html',1,'']]],
+  ['cjson_5fhooks_6664',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
+  ['clusterer_6665',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
+  ['cmpstmt_6666',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
+  ['cmpvfgnode_6667',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
+  ['commonchgraph_6668',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
+  ['condpointstoset_6669',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
+  ['condptaimpl_6670',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptaimpl_3c_20contextcond_20_3e_6671',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptssetiterator_6672',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
+  ['condstdset_6673',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
+  ['condvar_6674',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
+  ['consexestate_6675',['ConsExeState',['../classSVF_1_1ConsExeState.html',1,'SVF']]],
+  ['constraintedge_6676',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
+  ['constraintgraph_6677',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
+  ['constraintnode_6678',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
+  ['contextcond_6679',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
+  ['contextdda_6680',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
+  ['copycgedge_6681',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
+  ['copystmt_6682',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
+  ['copyvfgnode_6683',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
+  ['corebitvector_6684',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
+  ['corebitvectoriterator_6685',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
+  ['csc_6686',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
+  ['cxtdpitem_6687',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
+  ['cxtproc_6688',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
+  ['cxtstmt_6689',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
+  ['cxtstmtdpitem_6690',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
+  ['cxtthread_6691',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
+  ['cxtthreadproc_6692',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
+  ['cxtthreadstmt_6693',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
 ];

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

@@ -1,38 +1,38 @@
 var searchData=
 [
-  ['dchedge_6693',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF']]],
-  ['dchgraph_6694',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF']]],
-  ['dchnode_6695',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF']]],
-  ['ddaclient_6696',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF']]],
-  ['ddapass_6697',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF']]],
-  ['ddastat_6698',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF']]],
-  ['ddavfsolver_6699',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_6700',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_6701',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['defaultdotgraphtraits_6702',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF']]],
-  ['demangledname_6703',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
-  ['dfptdata_6704',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF']]],
-  ['diffptdata_6705',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF']]],
-  ['directsvfgedge_6706',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF']]],
-  ['distinctmrg_6707',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF']]],
-  ['dotgraphtraits_6708',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_6709',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_6710',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_6711',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20graphtype_20_3e_6712',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_6713',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_6714',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_6715',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_6716',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_6717',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_6718',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_6719',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20tct_20_2a_20_3e_6720',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_6721',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
-  ['doublefreebug_6722',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF']]],
-  ['doublefreechecker_6723',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF']]],
-  ['dpitem_6724',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF']]],
-  ['dummyobjvar_6725',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF']]],
-  ['dummyvalvar_6726',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF']]],
-  ['dummyversionpropsvfgnode_6727',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF']]]
+  ['dchedge_6694',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF']]],
+  ['dchgraph_6695',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF']]],
+  ['dchnode_6696',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF']]],
+  ['ddaclient_6697',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF']]],
+  ['ddapass_6698',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF']]],
+  ['ddastat_6699',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF']]],
+  ['ddavfsolver_6700',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_6701',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_6702',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['defaultdotgraphtraits_6703',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF']]],
+  ['demangledname_6704',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
+  ['dfptdata_6705',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF']]],
+  ['diffptdata_6706',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF']]],
+  ['directsvfgedge_6707',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF']]],
+  ['distinctmrg_6708',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF']]],
+  ['dotgraphtraits_6709',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_6710',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_6711',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_6712',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20graphtype_20_3e_6713',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_6714',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_6715',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_6716',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_6717',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_6718',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_6719',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_6720',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20tct_20_2a_20_3e_6721',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_6722',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
+  ['doublefreebug_6723',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF']]],
+  ['doublefreechecker_6724',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF']]],
+  ['dpitem_6725',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF']]],
+  ['dummyobjvar_6726',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF']]],
+  ['dummyvalvar_6727',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF']]],
+  ['dummyversionpropsvfgnode_6728',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['entrychi_6728',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF']]],
-  ['equalgedge_6729',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge']]],
-  ['equalmemregion_6730',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion']]],
-  ['equalnodebs_6731',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil']]],
-  ['equalpointsto_6732',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil']]],
-  ['error_6733',['error',['../structerror.html',1,'']]],
-  ['exestate_6734',['ExeState',['../classSVF_1_1ExeState.html',1,'SVF']]],
-  ['extapi_6735',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF']]]
+  ['entrychi_6729',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF']]],
+  ['equalgedge_6730',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge']]],
+  ['equalmemregion_6731',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion']]],
+  ['equalnodebs_6732',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil']]],
+  ['equalpointsto_6733',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil']]],
+  ['error_6734',['error',['../structerror.html',1,'']]],
+  ['exestate_6735',['ExeState',['../classSVF_1_1ExeState.html',1,'SVF']]],
+  ['extapi_6736',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF']]]
 ];