svf-tools 1.0.875 → 1.0.877

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

@@ -1,32 +1,32 @@
 var searchData=
 [
-  ['abstractvalue_6623',['AbstractValue',['../classSVF_1_1AbstractValue.html',1,'SVF']]],
-  ['accesspair_6624',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
-  ['accesspath_6625',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF']]],
-  ['actualinsvfgnode_6626',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
-  ['actualoutsvfgnode_6627',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
-  ['actualparmvfgnode_6628',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
-  ['actualretvfgnode_6629',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
-  ['add_5fconst_5fpast_5fpointer_6630',['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_6631',['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_6632',['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_6633',['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_6634',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
-  ['addressvalue_6635',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
-  ['addrstmt_6636',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
-  ['addrvfgnode_6637',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
-  ['ae_6638',['AE',['../classSVF_1_1AE.html',1,'SVF']]],
-  ['aeapi_6639',['AEAPI',['../classSVF_1_1AEAPI.html',1,'SVF']]],
-  ['aestat_6640',['AEStat',['../classSVF_1_1AEStat.html',1,'SVF']]],
-  ['aliascflgraphbuilder_6641',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
-  ['aliasddaclient_6642',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
-  ['andersen_6643',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
-  ['andersenbase_6644',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
-  ['andersenscd_6645',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
-  ['andersensfr_6646',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
-  ['andersenstat_6647',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
-  ['andersenwavediff_6648',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
-  ['annotator_6649',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
-  ['argumentvfgnode_6650',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
-  ['assignstmt_6651',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
+  ['abstractexecution_6624',['AbstractExecution',['../classSVF_1_1AbstractExecution.html',1,'SVF']]],
+  ['abstractvalue_6625',['AbstractValue',['../classSVF_1_1AbstractValue.html',1,'SVF']]],
+  ['accesspair_6626',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
+  ['accesspath_6627',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF']]],
+  ['actualinsvfgnode_6628',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
+  ['actualoutsvfgnode_6629',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
+  ['actualparmvfgnode_6630',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
+  ['actualretvfgnode_6631',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
+  ['add_5fconst_5fpast_5fpointer_6632',['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_6633',['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_6634',['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_6635',['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_6636',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
+  ['addressvalue_6637',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
+  ['addrstmt_6638',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
+  ['addrvfgnode_6639',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
+  ['aeapi_6640',['AEAPI',['../classSVF_1_1AEAPI.html',1,'SVF']]],
+  ['aestat_6641',['AEStat',['../classSVF_1_1AEStat.html',1,'SVF']]],
+  ['aliascflgraphbuilder_6642',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
+  ['aliasddaclient_6643',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
+  ['andersen_6644',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
+  ['andersenbase_6645',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
+  ['andersenscd_6646',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
+  ['andersensfr_6647',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
+  ['andersenstat_6648',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
+  ['andersenwavediff_6649',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
+  ['annotator_6650',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
+  ['argumentvfgnode_6651',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
+  ['assignstmt_6652',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
 ];

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

@@ -1,15 +1,15 @@
 var searchData=
 [
-  ['binaryopstmt_6652',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
-  ['binaryopvfgnode_6653',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
-  ['bitvector_6654',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
-  ['boundedz3expr_6655',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF']]],
-  ['branchstmt_6656',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
-  ['branchvfgnode_6657',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
-  ['breakconstantgeps_6658',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
-  ['bufferoverflowbug_6659',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF']]],
-  ['bufoverflowchecker_6660',['BufOverflowChecker',['../classSVF_1_1BufOverflowChecker.html',1,'SVF']]],
-  ['bufoverflowcheckerapi_6661',['BufOverflowCheckerAPI',['../classSVF_1_1BufOverflowCheckerAPI.html',1,'SVF']]],
-  ['bufoverflowexception_6662',['BufOverflowException',['../structSVF_1_1BufOverflowException.html',1,'SVF']]],
-  ['bvdataptaimpl_6663',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
+  ['binaryopstmt_6653',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
+  ['binaryopvfgnode_6654',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
+  ['bitvector_6655',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
+  ['boundedz3expr_6656',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF']]],
+  ['branchstmt_6657',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
+  ['branchvfgnode_6658',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
+  ['breakconstantgeps_6659',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
+  ['bufferoverflowbug_6660',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF']]],
+  ['bufoverflowchecker_6661',['BufOverflowChecker',['../classSVF_1_1BufOverflowChecker.html',1,'SVF']]],
+  ['bufoverflowcheckerapi_6662',['BufOverflowCheckerAPI',['../classSVF_1_1BufOverflowCheckerAPI.html',1,'SVF']]],
+  ['bufoverflowexception_6663',['BufOverflowException',['../structSVF_1_1BufOverflowException.html',1,'SVF']]],
+  ['bvdataptaimpl_6664',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
 ];

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

@@ -1,77 +1,77 @@
 var searchData=
 [
-  ['sabercheckerapi_7144',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
-  ['sabercondallocator_7145',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
-  ['sabersvfgbuilder_7146',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
-  ['scc_7147',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
-  ['sccdetection_7148',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
-  ['selectstmt_7149',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
-  ['simplify_5ftype_7150',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
-  ['simplify_5ftype_3c_20const_20from_20_3e_7151',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
-  ['singleabsvalue_7152',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
-  ['sparsebitvector_7153',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
-  ['sparsebitvectorelement_7154',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
-  ['sparsebitvectoriterator_7155',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
-  ['srcsnkdda_7156',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
-  ['srcsnksolver_7157',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
-  ['steensgaard_7158',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
-  ['stinfo_7159',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
-  ['stmtdpitem_7160',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
-  ['stmtvfgnode_7161',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
-  ['storecgedge_7162',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
-  ['storechi_7163',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
-  ['storestmt_7164',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
-  ['storevfgnode_7165',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
-  ['svfargument_7166',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
-  ['svfarraytype_7167',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
-  ['svfbasicblock_7168',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
-  ['svfblackholevalue_7169',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
-  ['svfbugevent_7170',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
-  ['svfbugreport_7171',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
-  ['svfcallinst_7172',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
-  ['svfconstant_7173',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
-  ['svfconstantdata_7174',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
-  ['svfconstantfp_7175',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
-  ['svfconstantint_7176',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
-  ['svfconstantnullptr_7177',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
-  ['svffunction_7178',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
-  ['svffunctiontype_7179',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
-  ['svfg_7180',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
-  ['svfgbuilder_7181',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
-  ['svfglobalvalue_7182',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
-  ['svfgnodelockspan_7183',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
-  ['svfgopt_7184',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
-  ['svfgstat_7185',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
-  ['svfinstruction_7186',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
-  ['svfintegertype_7187',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
-  ['svfir_7188',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
-  ['svfir2consexestate_7189',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
-  ['svfir2itvexestate_7190',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
-  ['svfirbuilder_7191',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
-  ['svfirreader_7192',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
-  ['svfirwriter_7193',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
-  ['svfloop_7194',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
-  ['svfloopanddominfo_7195',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
-  ['svfmetadataasvalue_7196',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
-  ['svfmodule_7197',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
-  ['svfmodulereader_7198',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
-  ['svfmodulewriter_7199',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
-  ['svfothertype_7200',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
-  ['svfothervalue_7201',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
-  ['svfpointertype_7202',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
-  ['svfstat_7203',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
-  ['svfstmt_7204',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
-  ['svfstructtype_7205',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
-  ['svftype_7206',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
-  ['svfvalue_7207',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
-  ['svfvar_7208',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
-  ['svfvirtualcallinst_7209',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
-  ['symblicabstractiontest_7210',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html',1,'']]],
-  ['symbol_7211',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
-  ['symbolhash_7212',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
-  ['symboltablebuilder_7213',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
-  ['symboltableinfo_7214',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
-  ['symboltableinforeader_7215',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
-  ['symbolvectorhash_7216',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
-  ['symstate_7217',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
+  ['sabercheckerapi_7145',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
+  ['sabercondallocator_7146',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
+  ['sabersvfgbuilder_7147',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
+  ['scc_7148',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
+  ['sccdetection_7149',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
+  ['selectstmt_7150',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
+  ['simplify_5ftype_7151',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
+  ['simplify_5ftype_3c_20const_20from_20_3e_7152',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
+  ['singleabsvalue_7153',['SingleAbsValue',['../classSVF_1_1SingleAbsValue.html',1,'SVF']]],
+  ['sparsebitvector_7154',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
+  ['sparsebitvectorelement_7155',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
+  ['sparsebitvectoriterator_7156',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
+  ['srcsnkdda_7157',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
+  ['srcsnksolver_7158',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
+  ['steensgaard_7159',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
+  ['stinfo_7160',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
+  ['stmtdpitem_7161',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
+  ['stmtvfgnode_7162',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
+  ['storecgedge_7163',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
+  ['storechi_7164',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
+  ['storestmt_7165',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
+  ['storevfgnode_7166',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
+  ['svfargument_7167',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
+  ['svfarraytype_7168',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
+  ['svfbasicblock_7169',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
+  ['svfblackholevalue_7170',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
+  ['svfbugevent_7171',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
+  ['svfbugreport_7172',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
+  ['svfcallinst_7173',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
+  ['svfconstant_7174',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
+  ['svfconstantdata_7175',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
+  ['svfconstantfp_7176',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
+  ['svfconstantint_7177',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
+  ['svfconstantnullptr_7178',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
+  ['svffunction_7179',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
+  ['svffunctiontype_7180',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
+  ['svfg_7181',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
+  ['svfgbuilder_7182',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
+  ['svfglobalvalue_7183',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
+  ['svfgnodelockspan_7184',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
+  ['svfgopt_7185',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
+  ['svfgstat_7186',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
+  ['svfinstruction_7187',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
+  ['svfintegertype_7188',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
+  ['svfir_7189',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
+  ['svfir2consexestate_7190',['SVFIR2ConsExeState',['../classSVF_1_1SVFIR2ConsExeState.html',1,'SVF']]],
+  ['svfir2itvexestate_7191',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF']]],
+  ['svfirbuilder_7192',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
+  ['svfirreader_7193',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
+  ['svfirwriter_7194',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
+  ['svfloop_7195',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
+  ['svfloopanddominfo_7196',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
+  ['svfmetadataasvalue_7197',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
+  ['svfmodule_7198',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
+  ['svfmodulereader_7199',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
+  ['svfmodulewriter_7200',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
+  ['svfothertype_7201',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
+  ['svfothervalue_7202',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
+  ['svfpointertype_7203',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
+  ['svfstat_7204',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
+  ['svfstmt_7205',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
+  ['svfstructtype_7206',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
+  ['svftype_7207',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
+  ['svfvalue_7208',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
+  ['svfvar_7209',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
+  ['svfvirtualcallinst_7210',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
+  ['symblicabstractiontest_7211',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html',1,'']]],
+  ['symbol_7212',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
+  ['symbolhash_7213',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
+  ['symboltablebuilder_7214',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
+  ['symboltableinfo_7215',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
+  ['symboltableinforeader_7216',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
+  ['symbolvectorhash_7217',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]],
+  ['symstate_7218',['SymState',['../classSVF_1_1SymState.html',1,'SVF']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['tct_7218',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
-  ['tctedge_7219',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
-  ['tctnode_7220',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
-  ['tdforkpe_7221',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
-  ['tdjoinpe_7222',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
-  ['threadapi_7223',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
-  ['threadcallgraph_7224',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
-  ['threadcallgraphbuilder_7225',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
-  ['threadforkedge_7226',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
-  ['threadjoinedge_7227',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
-  ['threadmhpindsvfgedge_7228',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
-  ['trailingzeroscounter_7229',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['treenode_7230',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
-  ['typeanalysis_7231',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
+  ['tct_7219',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
+  ['tctedge_7220',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
+  ['tctnode_7221',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
+  ['tdforkpe_7222',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
+  ['tdjoinpe_7223',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
+  ['threadapi_7224',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
+  ['threadcallgraph_7225',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
+  ['threadcallgraphbuilder_7226',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
+  ['threadforkedge_7227',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
+  ['threadjoinedge_7228',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
+  ['threadmhpindsvfgedge_7229',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
+  ['trailingzeroscounter_7230',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['treenode_7231',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
+  ['typeanalysis_7232',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['unaryopstmt_7232',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
-  ['unaryopvfgnode_7233',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
+  ['unaryopstmt_7233',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
+  ['unaryopvfgnode_7234',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['valvar_7234',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
-  ['varargpn_7235',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
-  ['variantgepcgedge_7236',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
-  ['versionedflowsensitive_7237',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
-  ['versionedflowsensitivestat_7238',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
-  ['versionedptdata_7239',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
-  ['vfcflgraphbuilder_7240',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
-  ['vfg_7241',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
-  ['vfgedge_7242',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
-  ['vfgnode_7243',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
+  ['valvar_7235',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
+  ['varargpn_7236',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
+  ['variantgepcgedge_7237',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
+  ['versionedflowsensitive_7238',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
+  ['versionedflowsensitivestat_7239',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
+  ['versionedptdata_7240',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
+  ['vfcflgraphbuilder_7241',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
+  ['vfg_7242',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
+  ['vfgedge_7243',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
+  ['vfgnode_7244',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
 ];

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

@@ -1,23 +1,23 @@
 var searchData=
 [
-  ['wpafssolver_7244',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
-  ['wpaminimumsolver_7245',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
-  ['wpapass_7246',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
-  ['wpasccsolver_7247',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
-  ['wpasolver_7248',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
-  ['writerptrpool_7249',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_7250',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7251',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7252',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7253',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7254',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['wto_7255',['WTO',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wto_3c_20cfbasicblockgraph_20_3e_7256',['WTO< CFBasicBlockGraph >',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wto_3c_20icfg_20_3e_7257',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wtocomponent_7258',['WTOComponent',['../classSVF_1_1WTOComponent.html',1,'SVF']]],
-  ['wtocomponentvisitor_7259',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html',1,'SVF']]],
-  ['wtocycle_7260',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF']]],
-  ['wtocycledepth_7261',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
-  ['wtocycledepthbuilder_7262',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html',1,'SVF::WTO']]],
-  ['wtonode_7263',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF']]]
+  ['wpafssolver_7245',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
+  ['wpaminimumsolver_7246',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
+  ['wpapass_7247',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
+  ['wpasccsolver_7248',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
+  ['wpasolver_7249',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
+  ['writerptrpool_7250',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_7251',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7252',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7253',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7254',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7255',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['wto_7256',['WTO',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wto_3c_20cfbasicblockgraph_20_3e_7257',['WTO< CFBasicBlockGraph >',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wto_3c_20icfg_20_3e_7258',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wtocomponent_7259',['WTOComponent',['../classSVF_1_1WTOComponent.html',1,'SVF']]],
+  ['wtocomponentvisitor_7260',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html',1,'SVF']]],
+  ['wtocycle_7261',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF']]],
+  ['wtocycledepth_7262',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
+  ['wtocycledepthbuilder_7263',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html',1,'SVF::WTO']]],
+  ['wtonode_7264',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF']]]
 ];

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

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

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

@@ -1,81 +1,81 @@
 var searchData=
 [
-  ['callcfgedge_6664',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
-  ['callchi_6665',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
-  ['calldirsvfgedge_6666',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
-  ['callgraphbuilder_6667',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
-  ['callicfgnode_6668',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
-  ['callindsvfgedge_6669',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
-  ['callmu_6670',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
-  ['callpe_6671',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
-  ['callsite_6672',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
-  ['cast_5fconvert_5fval_6673',['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_6674',['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_6675',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_6676',['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_6677',['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_6678',['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_6679',['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_6680',['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_6681',['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_6682',['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_6683',['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_6684',['CDG',['../classSVF_1_1CDG.html',1,'SVF']]],
-  ['cdgbuilder_6685',['CDGBuilder',['../classSVF_1_1CDGBuilder.html',1,'SVF']]],
-  ['cdgedge_6686',['CDGEdge',['../classSVF_1_1CDGEdge.html',1,'SVF']]],
-  ['cdgnode_6687',['CDGNode',['../classSVF_1_1CDGNode.html',1,'SVF']]],
-  ['cfbasicblockedge_6688',['CFBasicBlockEdge',['../classSVF_1_1CFBasicBlockEdge.html',1,'SVF']]],
-  ['cfbasicblockgbuilder_6689',['CFBasicBlockGBuilder',['../classSVF_1_1CFBasicBlockGBuilder.html',1,'SVF']]],
-  ['cfbasicblockgraph_6690',['CFBasicBlockGraph',['../classSVF_1_1CFBasicBlockGraph.html',1,'SVF']]],
-  ['cfbasicblockgwto_6691',['CFBasicBlockGWTO',['../classSVF_1_1CFBasicBlockGWTO.html',1,'SVF']]],
-  ['cfbasicblocknode_6692',['CFBasicBlockNode',['../classSVF_1_1CFBasicBlockNode.html',1,'SVF']]],
-  ['cfgnormalizer_6693',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
-  ['cfgrammar_6694',['CFGrammar',['../classSVF_1_1CFGrammar.html',1,'SVF']]],
-  ['cflalias_6695',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
-  ['cflbase_6696',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
-  ['cfledge_6697',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
-  ['cflfifoworklist_6698',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
-  ['cflgramgraphchecker_6699',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
-  ['cflgraph_6700',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
-  ['cflgraphbuilder_6701',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
-  ['cflnode_6702',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
-  ['cflsolver_6703',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
-  ['cflstat_6704',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
-  ['cflsvfgbuilder_6705',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
-  ['cflvf_6706',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
-  ['chedge_6707',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
-  ['chgbuilder_6708',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
-  ['chgraph_6709',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
-  ['chnode_6710',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
-  ['cjson_6711',['cJSON',['../structcJSON.html',1,'']]],
-  ['cjson_5fhooks_6712',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
-  ['clusterer_6713',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
-  ['cmpstmt_6714',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
-  ['cmpvfgnode_6715',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
-  ['commonchgraph_6716',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
-  ['condpointstoset_6717',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
-  ['condptaimpl_6718',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptaimpl_3c_20contextcond_20_3e_6719',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptssetiterator_6720',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
-  ['condstdset_6721',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
-  ['condvar_6722',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
-  ['consexestate_6723',['ConsExeState',['../classSVF_1_1ConsExeState.html',1,'SVF']]],
-  ['constraintedge_6724',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
-  ['constraintgraph_6725',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
-  ['constraintnode_6726',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
-  ['contextcond_6727',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
-  ['contextdda_6728',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
-  ['copycgedge_6729',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
-  ['copystmt_6730',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
-  ['copyvfgnode_6731',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
-  ['corebitvector_6732',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
-  ['corebitvectoriterator_6733',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
-  ['csc_6734',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
-  ['cxtdpitem_6735',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
-  ['cxtproc_6736',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
-  ['cxtstmt_6737',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
-  ['cxtstmtdpitem_6738',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
-  ['cxtthread_6739',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
-  ['cxtthreadproc_6740',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
-  ['cxtthreadstmt_6741',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
+  ['callcfgedge_6665',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
+  ['callchi_6666',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
+  ['calldirsvfgedge_6667',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
+  ['callgraphbuilder_6668',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
+  ['callicfgnode_6669',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
+  ['callindsvfgedge_6670',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
+  ['callmu_6671',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
+  ['callpe_6672',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
+  ['callsite_6673',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
+  ['cast_5fconvert_5fval_6674',['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_6675',['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_6676',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
+  ['cast_5fretty_5fimpl_6677',['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_6678',['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_6679',['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_6680',['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_6681',['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_6682',['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_6683',['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_6684',['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_6685',['CDG',['../classSVF_1_1CDG.html',1,'SVF']]],
+  ['cdgbuilder_6686',['CDGBuilder',['../classSVF_1_1CDGBuilder.html',1,'SVF']]],
+  ['cdgedge_6687',['CDGEdge',['../classSVF_1_1CDGEdge.html',1,'SVF']]],
+  ['cdgnode_6688',['CDGNode',['../classSVF_1_1CDGNode.html',1,'SVF']]],
+  ['cfbasicblockedge_6689',['CFBasicBlockEdge',['../classSVF_1_1CFBasicBlockEdge.html',1,'SVF']]],
+  ['cfbasicblockgbuilder_6690',['CFBasicBlockGBuilder',['../classSVF_1_1CFBasicBlockGBuilder.html',1,'SVF']]],
+  ['cfbasicblockgraph_6691',['CFBasicBlockGraph',['../classSVF_1_1CFBasicBlockGraph.html',1,'SVF']]],
+  ['cfbasicblockgwto_6692',['CFBasicBlockGWTO',['../classSVF_1_1CFBasicBlockGWTO.html',1,'SVF']]],
+  ['cfbasicblocknode_6693',['CFBasicBlockNode',['../classSVF_1_1CFBasicBlockNode.html',1,'SVF']]],
+  ['cfgnormalizer_6694',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
+  ['cfgrammar_6695',['CFGrammar',['../classSVF_1_1CFGrammar.html',1,'SVF']]],
+  ['cflalias_6696',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
+  ['cflbase_6697',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
+  ['cfledge_6698',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
+  ['cflfifoworklist_6699',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
+  ['cflgramgraphchecker_6700',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
+  ['cflgraph_6701',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
+  ['cflgraphbuilder_6702',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
+  ['cflnode_6703',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
+  ['cflsolver_6704',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
+  ['cflstat_6705',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
+  ['cflsvfgbuilder_6706',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
+  ['cflvf_6707',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
+  ['chedge_6708',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
+  ['chgbuilder_6709',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
+  ['chgraph_6710',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
+  ['chnode_6711',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
+  ['cjson_6712',['cJSON',['../structcJSON.html',1,'']]],
+  ['cjson_5fhooks_6713',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
+  ['clusterer_6714',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
+  ['cmpstmt_6715',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
+  ['cmpvfgnode_6716',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
+  ['commonchgraph_6717',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
+  ['condpointstoset_6718',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
+  ['condptaimpl_6719',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptaimpl_3c_20contextcond_20_3e_6720',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptssetiterator_6721',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
+  ['condstdset_6722',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
+  ['condvar_6723',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
+  ['consexestate_6724',['ConsExeState',['../classSVF_1_1ConsExeState.html',1,'SVF']]],
+  ['constraintedge_6725',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
+  ['constraintgraph_6726',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
+  ['constraintnode_6727',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
+  ['contextcond_6728',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
+  ['contextdda_6729',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
+  ['copycgedge_6730',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
+  ['copystmt_6731',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
+  ['copyvfgnode_6732',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
+  ['corebitvector_6733',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
+  ['corebitvectoriterator_6734',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
+  ['csc_6735',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
+  ['cxtdpitem_6736',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
+  ['cxtproc_6737',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
+  ['cxtstmt_6738',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
+  ['cxtstmtdpitem_6739',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
+  ['cxtthread_6740',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
+  ['cxtthreadproc_6741',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
+  ['cxtthreadstmt_6742',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
 ];