svf-tools 1.0.855 → 1.0.856

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

@@ -1,29 +1,29 @@
 var searchData=
 [
-  ['abstractvalue_6405',['AbstractValue',['../classSVF_1_1AbstractValue.html',1,'SVF']]],
-  ['accesspair_6406',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
-  ['accesspath_6407',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF']]],
-  ['actualinsvfgnode_6408',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
-  ['actualoutsvfgnode_6409',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
-  ['actualparmvfgnode_6410',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
-  ['actualretvfgnode_6411',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
-  ['add_5fconst_5fpast_5fpointer_6412',['add_const_past_pointer',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html',1,'SVF::SVFUtil']]],
-  ['add_5fconst_5fpast_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_6413',['add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html',1,'SVF::SVFUtil']]],
-  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_6414',['add_lvalue_reference_if_not_pointer',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html',1,'SVF::SVFUtil']]],
-  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_6415',['add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html',1,'SVF::SVFUtil']]],
-  ['addrcgedge_6416',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
-  ['addressvalue_6417',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
-  ['addrstmt_6418',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
-  ['addrvfgnode_6419',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
-  ['aliascflgraphbuilder_6420',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
-  ['aliasddaclient_6421',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
-  ['andersen_6422',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
-  ['andersenbase_6423',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
-  ['andersenscd_6424',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
-  ['andersensfr_6425',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
-  ['andersenstat_6426',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
-  ['andersenwavediff_6427',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
-  ['annotator_6428',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
-  ['argumentvfgnode_6429',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
-  ['assignstmt_6430',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
+  ['abstractvalue_6404',['AbstractValue',['../classSVF_1_1AbstractValue.html',1,'SVF']]],
+  ['accesspair_6405',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
+  ['accesspath_6406',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF']]],
+  ['actualinsvfgnode_6407',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
+  ['actualoutsvfgnode_6408',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
+  ['actualparmvfgnode_6409',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
+  ['actualretvfgnode_6410',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
+  ['add_5fconst_5fpast_5fpointer_6411',['add_const_past_pointer',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html',1,'SVF::SVFUtil']]],
+  ['add_5fconst_5fpast_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_6412',['add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html',1,'SVF::SVFUtil']]],
+  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_6413',['add_lvalue_reference_if_not_pointer',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html',1,'SVF::SVFUtil']]],
+  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_6414',['add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html',1,'SVF::SVFUtil']]],
+  ['addrcgedge_6415',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
+  ['addressvalue_6416',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
+  ['addrstmt_6417',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
+  ['addrvfgnode_6418',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
+  ['aliascflgraphbuilder_6419',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
+  ['aliasddaclient_6420',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
+  ['andersen_6421',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
+  ['andersenbase_6422',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
+  ['andersenscd_6423',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
+  ['andersensfr_6424',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
+  ['andersenstat_6425',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
+  ['andersenwavediff_6426',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
+  ['annotator_6427',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
+  ['argumentvfgnode_6428',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
+  ['assignstmt_6429',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['binaryopstmt_6431',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
-  ['binaryopvfgnode_6432',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
-  ['bitvector_6433',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
-  ['boundedz3expr_6434',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF']]],
-  ['branchstmt_6435',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
-  ['branchvfgnode_6436',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
-  ['breakconstantgeps_6437',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
-  ['bufferoverflowbug_6438',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF']]],
-  ['bvdataptaimpl_6439',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
+  ['binaryopstmt_6430',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
+  ['binaryopvfgnode_6431',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
+  ['bitvector_6432',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
+  ['boundedz3expr_6433',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF']]],
+  ['branchstmt_6434',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
+  ['branchvfgnode_6435',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
+  ['breakconstantgeps_6436',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
+  ['bufferoverflowbug_6437',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF']]],
+  ['bvdataptaimpl_6438',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
 ];

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

@@ -1,77 +1,77 @@
 var searchData=
 [
-  ['sabercheckerapi_6917',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
-  ['sabercondallocator_6918',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
-  ['sabersvfgbuilder_6919',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
-  ['scc_6920',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
-  ['sccdetection_6921',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
-  ['selectstmt_6922',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
-  ['simplify_5ftype_6923',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
-  ['simplify_5ftype_3c_20const_20from_20_3e_6924',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
-  ['singleabsvalue_6925',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
-  ['sparsebitvector_6926',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
-  ['sparsebitvectorelement_6927',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
-  ['sparsebitvectoriterator_6928',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
-  ['srcsnkdda_6929',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
-  ['srcsnksolver_6930',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
-  ['steensgaard_6931',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
-  ['stinfo_6932',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
-  ['stmtdpitem_6933',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
-  ['stmtvfgnode_6934',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
-  ['storecgedge_6935',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
-  ['storechi_6936',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
-  ['storestmt_6937',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
-  ['storevfgnode_6938',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
-  ['svfargument_6939',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
-  ['svfarraytype_6940',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
-  ['svfbasicblock_6941',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
-  ['svfblackholevalue_6942',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
-  ['svfbugevent_6943',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
-  ['svfbugreport_6944',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
-  ['svfcallinst_6945',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
-  ['svfconstant_6946',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
-  ['svfconstantdata_6947',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
-  ['svfconstantfp_6948',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
-  ['svfconstantint_6949',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
-  ['svfconstantnullptr_6950',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
-  ['svffunction_6951',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
-  ['svffunctiontype_6952',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
-  ['svfg_6953',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
-  ['svfgbuilder_6954',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
-  ['svfglobalvalue_6955',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
-  ['svfgnodelockspan_6956',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
-  ['svfgopt_6957',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
-  ['svfgstat_6958',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
-  ['svfinstruction_6959',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
-  ['svfintegertype_6960',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
-  ['svfir_6961',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
-  ['svfir2consexestate_6962',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
-  ['svfir2itvexestate_6963',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
-  ['svfirbuilder_6964',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
-  ['svfirreader_6965',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
-  ['svfirwriter_6966',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
-  ['svfloop_6967',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
-  ['svfloopanddominfo_6968',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
-  ['svfmetadataasvalue_6969',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
-  ['svfmodule_6970',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
-  ['svfmodulereader_6971',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
-  ['svfmodulewriter_6972',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
-  ['svfothertype_6973',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
-  ['svfothervalue_6974',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
-  ['svfpointertype_6975',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
-  ['svfstat_6976',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
-  ['svfstmt_6977',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
-  ['svfstructtype_6978',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
-  ['svftype_6979',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
-  ['svfvalue_6980',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
-  ['svfvar_6981',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
-  ['svfvirtualcallinst_6982',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
-  ['symblicabstractiontest_6983',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html',1,'']]],
-  ['symbol_6984',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
-  ['symbolhash_6985',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
-  ['symboltablebuilder_6986',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
-  ['symboltableinfo_6987',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
-  ['symboltableinforeader_6988',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
-  ['symbolvectorhash_6989',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
-  ['symstate_6990',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
+  ['sabercheckerapi_6916',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
+  ['sabercondallocator_6917',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
+  ['sabersvfgbuilder_6918',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
+  ['scc_6919',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
+  ['sccdetection_6920',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
+  ['selectstmt_6921',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
+  ['simplify_5ftype_6922',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
+  ['simplify_5ftype_3c_20const_20from_20_3e_6923',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
+  ['singleabsvalue_6924',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
+  ['sparsebitvector_6925',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
+  ['sparsebitvectorelement_6926',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
+  ['sparsebitvectoriterator_6927',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
+  ['srcsnkdda_6928',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
+  ['srcsnksolver_6929',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
+  ['steensgaard_6930',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
+  ['stinfo_6931',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
+  ['stmtdpitem_6932',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
+  ['stmtvfgnode_6933',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
+  ['storecgedge_6934',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
+  ['storechi_6935',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
+  ['storestmt_6936',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
+  ['storevfgnode_6937',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
+  ['svfargument_6938',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
+  ['svfarraytype_6939',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
+  ['svfbasicblock_6940',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
+  ['svfblackholevalue_6941',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
+  ['svfbugevent_6942',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
+  ['svfbugreport_6943',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
+  ['svfcallinst_6944',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
+  ['svfconstant_6945',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
+  ['svfconstantdata_6946',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
+  ['svfconstantfp_6947',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
+  ['svfconstantint_6948',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
+  ['svfconstantnullptr_6949',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
+  ['svffunction_6950',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
+  ['svffunctiontype_6951',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
+  ['svfg_6952',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
+  ['svfgbuilder_6953',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
+  ['svfglobalvalue_6954',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
+  ['svfgnodelockspan_6955',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
+  ['svfgopt_6956',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
+  ['svfgstat_6957',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
+  ['svfinstruction_6958',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
+  ['svfintegertype_6959',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
+  ['svfir_6960',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
+  ['svfir2consexestate_6961',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
+  ['svfir2itvexestate_6962',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
+  ['svfirbuilder_6963',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
+  ['svfirreader_6964',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
+  ['svfirwriter_6965',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
+  ['svfloop_6966',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
+  ['svfloopanddominfo_6967',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
+  ['svfmetadataasvalue_6968',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
+  ['svfmodule_6969',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
+  ['svfmodulereader_6970',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
+  ['svfmodulewriter_6971',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
+  ['svfothertype_6972',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
+  ['svfothervalue_6973',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
+  ['svfpointertype_6974',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
+  ['svfstat_6975',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
+  ['svfstmt_6976',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
+  ['svfstructtype_6977',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
+  ['svftype_6978',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
+  ['svfvalue_6979',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
+  ['svfvar_6980',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
+  ['svfvirtualcallinst_6981',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
+  ['symblicabstractiontest_6982',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html',1,'']]],
+  ['symbol_6983',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
+  ['symbolhash_6984',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
+  ['symboltablebuilder_6985',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
+  ['symboltableinfo_6986',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
+  ['symboltableinforeader_6987',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
+  ['symbolvectorhash_6988',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
+  ['symstate_6989',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
 ];

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

@@ -1,18 +1,18 @@
 var searchData=
 [
-  ['tailbuilder_6991',['TailBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
-  ['tct_6992',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
-  ['tctedge_6993',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
-  ['tctnode_6994',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
-  ['tdforkpe_6995',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
-  ['tdjoinpe_6996',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
-  ['threadapi_6997',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
-  ['threadcallgraph_6998',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
-  ['threadcallgraphbuilder_6999',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
-  ['threadforkedge_7000',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
-  ['threadjoinedge_7001',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
-  ['threadmhpindsvfgedge_7002',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
-  ['trailingzeroscounter_7003',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['treenode_7004',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
-  ['typeanalysis_7005',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
+  ['tailbuilder_6990',['TailBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
+  ['tct_6991',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
+  ['tctedge_6992',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
+  ['tctnode_6993',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
+  ['tdforkpe_6994',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
+  ['tdjoinpe_6995',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
+  ['threadapi_6996',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
+  ['threadcallgraph_6997',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
+  ['threadcallgraphbuilder_6998',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
+  ['threadforkedge_6999',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
+  ['threadjoinedge_7000',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
+  ['threadmhpindsvfgedge_7001',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
+  ['trailingzeroscounter_7002',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['treenode_7003',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
+  ['typeanalysis_7004',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['unaryopstmt_7006',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
-  ['unaryopvfgnode_7007',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
+  ['unaryopstmt_7005',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
+  ['unaryopvfgnode_7006',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['valvar_7008',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
-  ['varargpn_7009',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
-  ['variantgepcgedge_7010',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
-  ['versionedflowsensitive_7011',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
-  ['versionedflowsensitivestat_7012',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
-  ['versionedptdata_7013',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
-  ['vfcflgraphbuilder_7014',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
-  ['vfg_7015',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
-  ['vfgedge_7016',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
-  ['vfgnode_7017',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
+  ['valvar_7007',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
+  ['varargpn_7008',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
+  ['variantgepcgedge_7009',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
+  ['versionedflowsensitive_7010',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
+  ['versionedflowsensitivestat_7011',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
+  ['versionedptdata_7012',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
+  ['vfcflgraphbuilder_7013',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
+  ['vfg_7014',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
+  ['vfgedge_7015',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
+  ['vfgnode_7016',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['wpafssolver_7018',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
-  ['wpaminimumsolver_7019',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
-  ['wpapass_7020',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
-  ['wpasccsolver_7021',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
-  ['wpasolver_7022',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
-  ['writerptrpool_7023',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_7024',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7025',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7026',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7027',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7028',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['wtocycledepth_7029',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
-  ['wtocycledepthbuilder_7030',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
-  ['wtovisitor_7031',['WTOVisitor',['../classSVF_1_1WTOVisitor.html',1,'SVF']]]
+  ['wpafssolver_7017',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
+  ['wpaminimumsolver_7018',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
+  ['wpapass_7019',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
+  ['wpasccsolver_7020',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
+  ['wpasolver_7021',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
+  ['writerptrpool_7022',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_7023',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7024',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7025',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7026',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7027',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['wtocycledepth_7028',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
+  ['wtocycledepthbuilder_7029',['WTOCycleDepthBuilder',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html',1,'SVF::CFBasicBlockGWTO']]],
+  ['wtovisitor_7030',['WTOVisitor',['../classSVF_1_1WTOVisitor.html',1,'SVF']]]
 ];

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

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

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

@@ -1,84 +1,84 @@
 var searchData=
 [
-  ['callcfgedge_6440',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
-  ['callchi_6441',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
-  ['calldirsvfgedge_6442',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
-  ['callgraphbuilder_6443',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
-  ['callicfgnode_6444',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
-  ['callindsvfgedge_6445',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
-  ['callmu_6446',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
-  ['callpe_6447',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
-  ['callsite_6448',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
-  ['cast_5fconvert_5fval_6449',['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_6450',['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_6451',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_6452',['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_6453',['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_6454',['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_6455',['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_6456',['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_6457',['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_6458',['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_6459',['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_6460',['CDG',['../classSVF_1_1CDG.html',1,'SVF']]],
-  ['cdgbuilder_6461',['CDGBuilder',['../classSVF_1_1CDGBuilder.html',1,'SVF']]],
-  ['cdgedge_6462',['CDGEdge',['../classSVF_1_1CDGEdge.html',1,'SVF']]],
-  ['cdgnode_6463',['CDGNode',['../classSVF_1_1CDGNode.html',1,'SVF']]],
-  ['cfbasicblockedge_6464',['CFBasicBlockEdge',['../classSVF_1_1CFBasicBlockEdge.html',1,'SVF']]],
-  ['cfbasicblockgbuilder_6465',['CFBasicBlockGBuilder',['../classSVF_1_1CFBasicBlockGBuilder.html',1,'SVF']]],
-  ['cfbasicblockgraph_6466',['CFBasicBlockGraph',['../classSVF_1_1CFBasicBlockGraph.html',1,'SVF']]],
-  ['cfbasicblockgwto_6467',['CFBasicBlockGWTO',['../classSVF_1_1CFBasicBlockGWTO.html',1,'SVF']]],
-  ['cfbasicblockgwtocomp_6468',['CFBasicBlockGWTOComp',['../classSVF_1_1CFBasicBlockGWTOComp.html',1,'SVF']]],
-  ['cfbasicblockgwtocycle_6469',['CFBasicBlockGWTOCycle',['../classSVF_1_1CFBasicBlockGWTOCycle.html',1,'SVF']]],
-  ['cfbasicblockgwtonode_6470',['CFBasicBlockGWTONode',['../classSVF_1_1CFBasicBlockGWTONode.html',1,'SVF']]],
-  ['cfbasicblocknode_6471',['CFBasicBlockNode',['../classSVF_1_1CFBasicBlockNode.html',1,'SVF']]],
-  ['cfgnormalizer_6472',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
-  ['cfgrammar_6473',['CFGrammar',['../classSVF_1_1CFGrammar.html',1,'SVF']]],
-  ['cflalias_6474',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
-  ['cflbase_6475',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
-  ['cfledge_6476',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
-  ['cflfifoworklist_6477',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
-  ['cflgramgraphchecker_6478',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
-  ['cflgraph_6479',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
-  ['cflgraphbuilder_6480',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
-  ['cflnode_6481',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
-  ['cflsolver_6482',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
-  ['cflstat_6483',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
-  ['cflsvfgbuilder_6484',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
-  ['cflvf_6485',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
-  ['chedge_6486',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
-  ['chgbuilder_6487',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
-  ['chgraph_6488',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
-  ['chnode_6489',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
-  ['cjson_6490',['cJSON',['../structcJSON.html',1,'']]],
-  ['cjson_5fhooks_6491',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
-  ['clusterer_6492',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
-  ['cmpstmt_6493',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
-  ['cmpvfgnode_6494',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
-  ['commonchgraph_6495',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
-  ['condpointstoset_6496',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
-  ['condptaimpl_6497',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptaimpl_3c_20contextcond_20_3e_6498',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptssetiterator_6499',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
-  ['condstdset_6500',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
-  ['condvar_6501',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
-  ['consexestate_6502',['ConsExeState',['../classSVF_1_1ConsExeState.html',1,'SVF']]],
-  ['constraintedge_6503',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
-  ['constraintgraph_6504',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
-  ['constraintnode_6505',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
-  ['contextcond_6506',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
-  ['contextdda_6507',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
-  ['copycgedge_6508',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
-  ['copystmt_6509',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
-  ['copyvfgnode_6510',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
-  ['corebitvector_6511',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
-  ['corebitvectoriterator_6512',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
-  ['csc_6513',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
-  ['cxtdpitem_6514',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
-  ['cxtproc_6515',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
-  ['cxtstmt_6516',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
-  ['cxtstmtdpitem_6517',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
-  ['cxtthread_6518',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
-  ['cxtthreadproc_6519',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
-  ['cxtthreadstmt_6520',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
+  ['callcfgedge_6439',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
+  ['callchi_6440',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
+  ['calldirsvfgedge_6441',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
+  ['callgraphbuilder_6442',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
+  ['callicfgnode_6443',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
+  ['callindsvfgedge_6444',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
+  ['callmu_6445',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
+  ['callpe_6446',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
+  ['callsite_6447',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
+  ['cast_5fconvert_5fval_6448',['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_6449',['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_6450',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
+  ['cast_5fretty_5fimpl_6451',['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_6452',['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_6453',['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_6454',['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_6455',['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_6456',['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_6457',['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_6458',['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_6459',['CDG',['../classSVF_1_1CDG.html',1,'SVF']]],
+  ['cdgbuilder_6460',['CDGBuilder',['../classSVF_1_1CDGBuilder.html',1,'SVF']]],
+  ['cdgedge_6461',['CDGEdge',['../classSVF_1_1CDGEdge.html',1,'SVF']]],
+  ['cdgnode_6462',['CDGNode',['../classSVF_1_1CDGNode.html',1,'SVF']]],
+  ['cfbasicblockedge_6463',['CFBasicBlockEdge',['../classSVF_1_1CFBasicBlockEdge.html',1,'SVF']]],
+  ['cfbasicblockgbuilder_6464',['CFBasicBlockGBuilder',['../classSVF_1_1CFBasicBlockGBuilder.html',1,'SVF']]],
+  ['cfbasicblockgraph_6465',['CFBasicBlockGraph',['../classSVF_1_1CFBasicBlockGraph.html',1,'SVF']]],
+  ['cfbasicblockgwto_6466',['CFBasicBlockGWTO',['../classSVF_1_1CFBasicBlockGWTO.html',1,'SVF']]],
+  ['cfbasicblockgwtocomp_6467',['CFBasicBlockGWTOComp',['../classSVF_1_1CFBasicBlockGWTOComp.html',1,'SVF']]],
+  ['cfbasicblockgwtocycle_6468',['CFBasicBlockGWTOCycle',['../classSVF_1_1CFBasicBlockGWTOCycle.html',1,'SVF']]],
+  ['cfbasicblockgwtonode_6469',['CFBasicBlockGWTONode',['../classSVF_1_1CFBasicBlockGWTONode.html',1,'SVF']]],
+  ['cfbasicblocknode_6470',['CFBasicBlockNode',['../classSVF_1_1CFBasicBlockNode.html',1,'SVF']]],
+  ['cfgnormalizer_6471',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
+  ['cfgrammar_6472',['CFGrammar',['../classSVF_1_1CFGrammar.html',1,'SVF']]],
+  ['cflalias_6473',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
+  ['cflbase_6474',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
+  ['cfledge_6475',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
+  ['cflfifoworklist_6476',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
+  ['cflgramgraphchecker_6477',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
+  ['cflgraph_6478',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
+  ['cflgraphbuilder_6479',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
+  ['cflnode_6480',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
+  ['cflsolver_6481',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
+  ['cflstat_6482',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
+  ['cflsvfgbuilder_6483',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
+  ['cflvf_6484',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
+  ['chedge_6485',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
+  ['chgbuilder_6486',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
+  ['chgraph_6487',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
+  ['chnode_6488',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
+  ['cjson_6489',['cJSON',['../structcJSON.html',1,'']]],
+  ['cjson_5fhooks_6490',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
+  ['clusterer_6491',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
+  ['cmpstmt_6492',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
+  ['cmpvfgnode_6493',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
+  ['commonchgraph_6494',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
+  ['condpointstoset_6495',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
+  ['condptaimpl_6496',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptaimpl_3c_20contextcond_20_3e_6497',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptssetiterator_6498',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
+  ['condstdset_6499',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
+  ['condvar_6500',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
+  ['consexestate_6501',['ConsExeState',['../classSVF_1_1ConsExeState.html',1,'SVF']]],
+  ['constraintedge_6502',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
+  ['constraintgraph_6503',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
+  ['constraintnode_6504',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
+  ['contextcond_6505',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
+  ['contextdda_6506',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
+  ['copycgedge_6507',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
+  ['copystmt_6508',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
+  ['copyvfgnode_6509',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
+  ['corebitvector_6510',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
+  ['corebitvectoriterator_6511',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
+  ['csc_6512',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
+  ['cxtdpitem_6513',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
+  ['cxtproc_6514',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
+  ['cxtstmt_6515',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
+  ['cxtstmtdpitem_6516',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
+  ['cxtthread_6517',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
+  ['cxtthreadproc_6518',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
+  ['cxtthreadstmt_6519',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
 ];