svf-tools 1.0.913 → 1.0.915

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

@@ -1,32 +1,32 @@
 var searchData=
 [
-  ['abstractinterpretation_6529',['AbstractInterpretation',['../classSVF_1_1AbstractInterpretation.html',1,'SVF']]],
-  ['abstractstate_6530',['AbstractState',['../classSVF_1_1AbstractState.html',1,'SVF']]],
-  ['abstractvalue_6531',['AbstractValue',['../structSVF_1_1AbstractValue.html',1,'SVF']]],
-  ['accesspair_6532',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
-  ['accesspath_6533',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF']]],
-  ['actualinsvfgnode_6534',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
-  ['actualoutsvfgnode_6535',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
-  ['actualparmvfgnode_6536',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
-  ['actualretvfgnode_6537',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
-  ['add_5fconst_5fpast_5fpointer_6538',['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_6539',['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_6540',['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_6541',['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_6542',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
-  ['addressvalue_6543',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
-  ['addrstmt_6544',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
-  ['addrvfgnode_6545',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
-  ['aestat_6546',['AEStat',['../classSVF_1_1AEStat.html',1,'SVF']]],
-  ['aliascflgraphbuilder_6547',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
-  ['aliasddaclient_6548',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
-  ['andersen_6549',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
-  ['andersenbase_6550',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
-  ['andersenscd_6551',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
-  ['andersensfr_6552',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
-  ['andersenstat_6553',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
-  ['andersenwavediff_6554',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
-  ['annotator_6555',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
-  ['argumentvfgnode_6556',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
-  ['assignstmt_6557',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
+  ['abstractinterpretation_6516',['AbstractInterpretation',['../classSVF_1_1AbstractInterpretation.html',1,'SVF']]],
+  ['abstractstate_6517',['AbstractState',['../classSVF_1_1AbstractState.html',1,'SVF']]],
+  ['abstractvalue_6518',['AbstractValue',['../structSVF_1_1AbstractValue.html',1,'SVF']]],
+  ['accesspair_6519',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
+  ['accesspath_6520',['AccessPath',['../classSVF_1_1AccessPath.html',1,'SVF']]],
+  ['actualinsvfgnode_6521',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
+  ['actualoutsvfgnode_6522',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
+  ['actualparmvfgnode_6523',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
+  ['actualretvfgnode_6524',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
+  ['add_5fconst_5fpast_5fpointer_6525',['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_6526',['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_6527',['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_6528',['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_6529',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
+  ['addressvalue_6530',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
+  ['addrstmt_6531',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
+  ['addrvfgnode_6532',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
+  ['aestat_6533',['AEStat',['../classSVF_1_1AEStat.html',1,'SVF']]],
+  ['aliascflgraphbuilder_6534',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
+  ['aliasddaclient_6535',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
+  ['andersen_6536',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
+  ['andersenbase_6537',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
+  ['andersenscd_6538',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
+  ['andersensfr_6539',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
+  ['andersenstat_6540',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
+  ['andersenwavediff_6541',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
+  ['annotator_6542',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
+  ['argumentvfgnode_6543',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
+  ['assignstmt_6544',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['binaryopstmt_6558',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
-  ['binaryopvfgnode_6559',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
-  ['bitvector_6560',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
-  ['boundedz3expr_6561',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF']]],
-  ['branchstmt_6562',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
-  ['branchvfgnode_6563',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
-  ['breakconstantgeps_6564',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
-  ['bufferoverflowbug_6565',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF']]],
-  ['bufoverflowchecker_6566',['BufOverflowChecker',['../classSVF_1_1BufOverflowChecker.html',1,'SVF']]],
-  ['bufoverflowexception_6567',['BufOverflowException',['../structSVF_1_1BufOverflowException.html',1,'SVF']]],
-  ['bvdataptaimpl_6568',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
+  ['binaryopstmt_6545',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
+  ['binaryopvfgnode_6546',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
+  ['bitvector_6547',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
+  ['boundedz3expr_6548',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF']]],
+  ['branchstmt_6549',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
+  ['branchvfgnode_6550',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
+  ['breakconstantgeps_6551',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],
+  ['bufferoverflowbug_6552',['BufferOverflowBug',['../classSVF_1_1BufferOverflowBug.html',1,'SVF']]],
+  ['bufoverflowchecker_6553',['BufOverflowChecker',['../classSVF_1_1BufOverflowChecker.html',1,'SVF']]],
+  ['bufoverflowexception_6554',['BufOverflowException',['../structSVF_1_1BufOverflowException.html',1,'SVF']]],
+  ['bvdataptaimpl_6555',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF']]]
 ];

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

@@ -1,74 +1,74 @@
 var searchData=
 [
-  ['sabercheckerapi_7027',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
-  ['sabercondallocator_7028',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
-  ['sabersvfgbuilder_7029',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
-  ['scc_7030',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
-  ['sccdetection_7031',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
-  ['selectstmt_7032',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
-  ['simplify_5ftype_7033',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
-  ['simplify_5ftype_3c_20const_20from_20_3e_7034',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
-  ['sparsebitvector_7035',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
-  ['sparsebitvectorelement_7036',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
-  ['sparsebitvectoriterator_7037',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
-  ['srcsnkdda_7038',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
-  ['srcsnksolver_7039',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
-  ['steensgaard_7040',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
-  ['stinfo_7041',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
-  ['stmtdpitem_7042',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
-  ['stmtvfgnode_7043',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
-  ['storecgedge_7044',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
-  ['storechi_7045',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
-  ['storestmt_7046',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
-  ['storevfgnode_7047',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
-  ['svfargument_7048',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
-  ['svfarraytype_7049',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
-  ['svfbasicblock_7050',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
-  ['svfblackholevalue_7051',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
-  ['svfbugevent_7052',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
-  ['svfbugreport_7053',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
-  ['svfcallinst_7054',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
-  ['svfconstant_7055',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
-  ['svfconstantdata_7056',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
-  ['svfconstantfp_7057',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
-  ['svfconstantint_7058',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
-  ['svfconstantnullptr_7059',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
-  ['svffunction_7060',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
-  ['svffunctiontype_7061',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
-  ['svfg_7062',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
-  ['svfgbuilder_7063',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
-  ['svfglobalvalue_7064',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
-  ['svfgnodelockspan_7065',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
-  ['svfgopt_7066',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
-  ['svfgstat_7067',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
-  ['svfinstruction_7068',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
-  ['svfintegertype_7069',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
-  ['svfir_7070',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
-  ['svfir2absstate_7071',['SVFIR2AbsState',['../classSVF_1_1SVFIR2AbsState.html',1,'SVF']]],
-  ['svfirbuilder_7072',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
-  ['svfirreader_7073',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
-  ['svfirwriter_7074',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
-  ['svfloop_7075',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
-  ['svfloopanddominfo_7076',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
-  ['svfmetadataasvalue_7077',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
-  ['svfmodule_7078',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
-  ['svfmodulereader_7079',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
-  ['svfmodulewriter_7080',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
-  ['svfothertype_7081',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
-  ['svfothervalue_7082',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
-  ['svfpointertype_7083',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
-  ['svfstat_7084',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
-  ['svfstmt_7085',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
-  ['svfstructtype_7086',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
-  ['svftype_7087',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
-  ['svfvalue_7088',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
-  ['svfvar_7089',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
-  ['svfvirtualcallinst_7090',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
-  ['symblicabstractiontest_7091',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html',1,'']]],
-  ['symbol_7092',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
-  ['symbolhash_7093',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
-  ['symboltablebuilder_7094',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
-  ['symboltableinfo_7095',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
-  ['symboltableinforeader_7096',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
-  ['symbolvectorhash_7097',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]]
+  ['sabercheckerapi_7014',['SaberCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html',1,'SVF']]],
+  ['sabercondallocator_7015',['SaberCondAllocator',['../classSVF_1_1SaberCondAllocator.html',1,'SVF']]],
+  ['sabersvfgbuilder_7016',['SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html',1,'SVF']]],
+  ['scc_7017',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive']]],
+  ['sccdetection_7018',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF']]],
+  ['selectstmt_7019',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF']]],
+  ['simplify_5ftype_7020',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
+  ['simplify_5ftype_3c_20const_20from_20_3e_7021',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
+  ['sparsebitvector_7022',['SparseBitVector',['../classSVF_1_1SparseBitVector.html',1,'SVF']]],
+  ['sparsebitvectorelement_7023',['SparseBitVectorElement',['../structSVF_1_1SparseBitVectorElement.html',1,'SVF']]],
+  ['sparsebitvectoriterator_7024',['SparseBitVectorIterator',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html',1,'SVF::SparseBitVector']]],
+  ['srcsnkdda_7025',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF']]],
+  ['srcsnksolver_7026',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF']]],
+  ['steensgaard_7027',['Steensgaard',['../classSVF_1_1Steensgaard.html',1,'SVF']]],
+  ['stinfo_7028',['StInfo',['../classSVF_1_1StInfo.html',1,'SVF']]],
+  ['stmtdpitem_7029',['StmtDPItem',['../classSVF_1_1StmtDPItem.html',1,'SVF']]],
+  ['stmtvfgnode_7030',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF']]],
+  ['storecgedge_7031',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF']]],
+  ['storechi_7032',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF']]],
+  ['storestmt_7033',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF']]],
+  ['storevfgnode_7034',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF']]],
+  ['svfargument_7035',['SVFArgument',['../classSVF_1_1SVFArgument.html',1,'SVF']]],
+  ['svfarraytype_7036',['SVFArrayType',['../classSVF_1_1SVFArrayType.html',1,'SVF']]],
+  ['svfbasicblock_7037',['SVFBasicBlock',['../classSVF_1_1SVFBasicBlock.html',1,'SVF']]],
+  ['svfblackholevalue_7038',['SVFBlackHoleValue',['../classSVF_1_1SVFBlackHoleValue.html',1,'SVF']]],
+  ['svfbugevent_7039',['SVFBugEvent',['../classSVF_1_1SVFBugEvent.html',1,'SVF']]],
+  ['svfbugreport_7040',['SVFBugReport',['../classSVF_1_1SVFBugReport.html',1,'SVF']]],
+  ['svfcallinst_7041',['SVFCallInst',['../classSVF_1_1SVFCallInst.html',1,'SVF']]],
+  ['svfconstant_7042',['SVFConstant',['../classSVF_1_1SVFConstant.html',1,'SVF']]],
+  ['svfconstantdata_7043',['SVFConstantData',['../classSVF_1_1SVFConstantData.html',1,'SVF']]],
+  ['svfconstantfp_7044',['SVFConstantFP',['../classSVF_1_1SVFConstantFP.html',1,'SVF']]],
+  ['svfconstantint_7045',['SVFConstantInt',['../classSVF_1_1SVFConstantInt.html',1,'SVF']]],
+  ['svfconstantnullptr_7046',['SVFConstantNullPtr',['../classSVF_1_1SVFConstantNullPtr.html',1,'SVF']]],
+  ['svffunction_7047',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF']]],
+  ['svffunctiontype_7048',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF']]],
+  ['svfg_7049',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF']]],
+  ['svfgbuilder_7050',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF']]],
+  ['svfglobalvalue_7051',['SVFGlobalValue',['../classSVF_1_1SVFGlobalValue.html',1,'SVF']]],
+  ['svfgnodelockspan_7052',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF']]],
+  ['svfgopt_7053',['SVFGOPT',['../classSVF_1_1SVFGOPT.html',1,'SVF']]],
+  ['svfgstat_7054',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF']]],
+  ['svfinstruction_7055',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF']]],
+  ['svfintegertype_7056',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF']]],
+  ['svfir_7057',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF']]],
+  ['svfir2absstate_7058',['SVFIR2AbsState',['../classSVF_1_1SVFIR2AbsState.html',1,'SVF']]],
+  ['svfirbuilder_7059',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF']]],
+  ['svfirreader_7060',['SVFIRReader',['../classSVF_1_1SVFIRReader.html',1,'SVF']]],
+  ['svfirwriter_7061',['SVFIRWriter',['../classSVF_1_1SVFIRWriter.html',1,'SVF']]],
+  ['svfloop_7062',['SVFLoop',['../classSVF_1_1SVFLoop.html',1,'SVF']]],
+  ['svfloopanddominfo_7063',['SVFLoopAndDomInfo',['../classSVF_1_1SVFLoopAndDomInfo.html',1,'SVF']]],
+  ['svfmetadataasvalue_7064',['SVFMetadataAsValue',['../classSVF_1_1SVFMetadataAsValue.html',1,'SVF']]],
+  ['svfmodule_7065',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF']]],
+  ['svfmodulereader_7066',['SVFModuleReader',['../classSVF_1_1SVFModuleReader.html',1,'SVF']]],
+  ['svfmodulewriter_7067',['SVFModuleWriter',['../classSVF_1_1SVFModuleWriter.html',1,'SVF']]],
+  ['svfothertype_7068',['SVFOtherType',['../classSVF_1_1SVFOtherType.html',1,'SVF']]],
+  ['svfothervalue_7069',['SVFOtherValue',['../classSVF_1_1SVFOtherValue.html',1,'SVF']]],
+  ['svfpointertype_7070',['SVFPointerType',['../classSVF_1_1SVFPointerType.html',1,'SVF']]],
+  ['svfstat_7071',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF']]],
+  ['svfstmt_7072',['SVFStmt',['../classSVF_1_1SVFStmt.html',1,'SVF']]],
+  ['svfstructtype_7073',['SVFStructType',['../classSVF_1_1SVFStructType.html',1,'SVF']]],
+  ['svftype_7074',['SVFType',['../classSVF_1_1SVFType.html',1,'SVF']]],
+  ['svfvalue_7075',['SVFValue',['../classSVF_1_1SVFValue.html',1,'SVF']]],
+  ['svfvar_7076',['SVFVar',['../classSVF_1_1SVFVar.html',1,'SVF']]],
+  ['svfvirtualcallinst_7077',['SVFVirtualCallInst',['../classSVF_1_1SVFVirtualCallInst.html',1,'SVF']]],
+  ['symblicabstractiontest_7078',['SymblicAbstractionTest',['../classSymblicAbstractionTest.html',1,'']]],
+  ['symbol_7079',['Symbol',['../structSVF_1_1GrammarBase_1_1Symbol.html',1,'SVF::GrammarBase']]],
+  ['symbolhash_7080',['SymbolHash',['../classSVF_1_1GrammarBase_1_1SymbolHash.html',1,'SVF::GrammarBase']]],
+  ['symboltablebuilder_7081',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF']]],
+  ['symboltableinfo_7082',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html',1,'SVF']]],
+  ['symboltableinforeader_7083',['SymbolTableInfoReader',['../classSVF_1_1SymbolTableInfoReader.html',1,'SVF']]],
+  ['symbolvectorhash_7084',['SymbolVectorHash',['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html',1,'SVF::GrammarBase']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['tct_7098',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
-  ['tctedge_7099',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
-  ['tctnode_7100',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
-  ['tdforkpe_7101',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
-  ['tdjoinpe_7102',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
-  ['threadapi_7103',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
-  ['threadcallgraph_7104',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
-  ['threadcallgraphbuilder_7105',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
-  ['threadforkedge_7106',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
-  ['threadjoinedge_7107',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
-  ['threadmhpindsvfgedge_7108',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
-  ['trailingzeroscounter_7109',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
-  ['treenode_7110',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
-  ['typeanalysis_7111',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
+  ['tct_7085',['TCT',['../classSVF_1_1TCT.html',1,'SVF']]],
+  ['tctedge_7086',['TCTEdge',['../classSVF_1_1TCTEdge.html',1,'SVF']]],
+  ['tctnode_7087',['TCTNode',['../classSVF_1_1TCTNode.html',1,'SVF']]],
+  ['tdforkpe_7088',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF']]],
+  ['tdjoinpe_7089',['TDJoinPE',['../classSVF_1_1TDJoinPE.html',1,'SVF']]],
+  ['threadapi_7090',['ThreadAPI',['../classSVF_1_1ThreadAPI.html',1,'SVF']]],
+  ['threadcallgraph_7091',['ThreadCallGraph',['../classSVF_1_1ThreadCallGraph.html',1,'SVF']]],
+  ['threadcallgraphbuilder_7092',['ThreadCallGraphBuilder',['../classSVF_1_1ThreadCallGraphBuilder.html',1,'SVF']]],
+  ['threadforkedge_7093',['ThreadForkEdge',['../classSVF_1_1ThreadForkEdge.html',1,'SVF']]],
+  ['threadjoinedge_7094',['ThreadJoinEdge',['../classSVF_1_1ThreadJoinEdge.html',1,'SVF']]],
+  ['threadmhpindsvfgedge_7095',['ThreadMHPIndSVFGEdge',['../classSVF_1_1ThreadMHPIndSVFGEdge.html',1,'SVF']]],
+  ['trailingzeroscounter_7096',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
+  ['treenode_7097',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver']]],
+  ['typeanalysis_7098',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['unaryopstmt_7112',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
-  ['unaryopvfgnode_7113',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
+  ['unaryopstmt_7099',['UnaryOPStmt',['../classSVF_1_1UnaryOPStmt.html',1,'SVF']]],
+  ['unaryopvfgnode_7100',['UnaryOPVFGNode',['../classSVF_1_1UnaryOPVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['valvar_7114',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
-  ['varargpn_7115',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
-  ['variantgepcgedge_7116',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
-  ['versionedflowsensitive_7117',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
-  ['versionedflowsensitivestat_7118',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
-  ['versionedptdata_7119',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
-  ['vfcflgraphbuilder_7120',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
-  ['vfg_7121',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
-  ['vfgedge_7122',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
-  ['vfgnode_7123',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
+  ['valvar_7101',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF']]],
+  ['varargpn_7102',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF']]],
+  ['variantgepcgedge_7103',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF']]],
+  ['versionedflowsensitive_7104',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF']]],
+  ['versionedflowsensitivestat_7105',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF']]],
+  ['versionedptdata_7106',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF']]],
+  ['vfcflgraphbuilder_7107',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
+  ['vfg_7108',['VFG',['../classSVF_1_1VFG.html',1,'SVF']]],
+  ['vfgedge_7109',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF']]],
+  ['vfgnode_7110',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF']]]
 ];

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

@@ -1,22 +1,22 @@
 var searchData=
 [
-  ['wpafssolver_7124',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
-  ['wpaminimumsolver_7125',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
-  ['wpapass_7126',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
-  ['wpasccsolver_7127',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
-  ['wpasolver_7128',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
-  ['writerptrpool_7129',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20edgetype_20_3e_7130',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7131',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7132',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7133',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7134',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
-  ['wto_7135',['WTO',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wto_3c_20icfg_20_3e_7136',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
-  ['wtocomponent_7137',['WTOComponent',['../classSVF_1_1WTOComponent.html',1,'SVF']]],
-  ['wtocomponentvisitor_7138',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html',1,'SVF']]],
-  ['wtocycle_7139',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF']]],
-  ['wtocycledepth_7140',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
-  ['wtocycledepthbuilder_7141',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html',1,'SVF::WTO']]],
-  ['wtonode_7142',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF']]]
+  ['wpafssolver_7111',['WPAFSSolver',['../classSVF_1_1WPAFSSolver.html',1,'SVF']]],
+  ['wpaminimumsolver_7112',['WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html',1,'SVF']]],
+  ['wpapass_7113',['WPAPass',['../classSVF_1_1WPAPass.html',1,'SVF']]],
+  ['wpasccsolver_7114',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html',1,'SVF']]],
+  ['wpasolver_7115',['WPASolver',['../classSVF_1_1WPASolver.html',1,'SVF']]],
+  ['writerptrpool_7116',['WriterPtrPool',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20edgetype_20_3e_7117',['WriterPtrPool< EdgeType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3astinfo_20_3e_7118',['WriterPtrPool< SVF::StInfo >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfloop_20_3e_7119',['WriterPtrPool< SVF::SVFLoop >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvftype_20_3e_7120',['WriterPtrPool< SVF::SVFType >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['writerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7121',['WriterPtrPool< SVF::SVFValue >',['../classSVF_1_1WriterPtrPool.html',1,'SVF']]],
+  ['wto_7122',['WTO',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wto_3c_20icfg_20_3e_7123',['WTO< ICFG >',['../classSVF_1_1WTO.html',1,'SVF']]],
+  ['wtocomponent_7124',['WTOComponent',['../classSVF_1_1WTOComponent.html',1,'SVF']]],
+  ['wtocomponentvisitor_7125',['WTOComponentVisitor',['../classSVF_1_1WTOComponentVisitor.html',1,'SVF']]],
+  ['wtocycle_7126',['WTOCycle',['../classSVF_1_1WTOCycle.html',1,'SVF']]],
+  ['wtocycledepth_7127',['WTOCycleDepth',['../classSVF_1_1WTOCycleDepth.html',1,'SVF']]],
+  ['wtocycledepthbuilder_7128',['WTOCycleDepthBuilder',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html',1,'SVF::WTO']]],
+  ['wtonode_7129',['WTONode',['../classSVF_1_1WTONode.html',1,'SVF']]]
 ];

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

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

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

@@ -1,75 +1,75 @@
 var searchData=
 [
-  ['callcfgedge_6569',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
-  ['callchi_6570',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
-  ['calldirsvfgedge_6571',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
-  ['callgraphbuilder_6572',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
-  ['callicfgnode_6573',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
-  ['callindsvfgedge_6574',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
-  ['callmu_6575',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
-  ['callpe_6576',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
-  ['callsite_6577',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
-  ['cast_5fconvert_5fval_6578',['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_6579',['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_6580',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
-  ['cast_5fretty_5fimpl_6581',['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_6582',['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_6583',['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_6584',['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_6585',['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_6586',['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_6587',['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_6588',['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_6589',['CDG',['../classSVF_1_1CDG.html',1,'SVF']]],
-  ['cdgbuilder_6590',['CDGBuilder',['../classSVF_1_1CDGBuilder.html',1,'SVF']]],
-  ['cdgedge_6591',['CDGEdge',['../classSVF_1_1CDGEdge.html',1,'SVF']]],
-  ['cdgnode_6592',['CDGNode',['../classSVF_1_1CDGNode.html',1,'SVF']]],
-  ['cfgnormalizer_6593',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
-  ['cfgrammar_6594',['CFGrammar',['../classSVF_1_1CFGrammar.html',1,'SVF']]],
-  ['cflalias_6595',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
-  ['cflbase_6596',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
-  ['cfledge_6597',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
-  ['cflfifoworklist_6598',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
-  ['cflgramgraphchecker_6599',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
-  ['cflgraph_6600',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
-  ['cflgraphbuilder_6601',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
-  ['cflnode_6602',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
-  ['cflsolver_6603',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
-  ['cflstat_6604',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
-  ['cflsvfgbuilder_6605',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
-  ['cflvf_6606',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
-  ['chedge_6607',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
-  ['chgbuilder_6608',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
-  ['chgraph_6609',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
-  ['chnode_6610',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
-  ['cjson_6611',['cJSON',['../structcJSON.html',1,'']]],
-  ['cjson_5fhooks_6612',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
-  ['clusterer_6613',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
-  ['cmpstmt_6614',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
-  ['cmpvfgnode_6615',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
-  ['commonchgraph_6616',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
-  ['condpointstoset_6617',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
-  ['condptaimpl_6618',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptaimpl_3c_20contextcond_20_3e_6619',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
-  ['condptssetiterator_6620',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
-  ['condstdset_6621',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
-  ['condvar_6622',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
-  ['constraintedge_6623',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
-  ['constraintgraph_6624',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
-  ['constraintnode_6625',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
-  ['contextcond_6626',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
-  ['contextdda_6627',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
-  ['copycgedge_6628',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
-  ['copystmt_6629',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
-  ['copyvfgnode_6630',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
-  ['corebitvector_6631',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
-  ['corebitvectoriterator_6632',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
-  ['csc_6633',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
-  ['cxtdpitem_6634',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
-  ['cxtproc_6635',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
-  ['cxtstmt_6636',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
-  ['cxtstmtdpitem_6637',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
-  ['cxtthread_6638',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
-  ['cxtthreadproc_6639',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
-  ['cxtthreadstmt_6640',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
+  ['callcfgedge_6556',['CallCFGEdge',['../classSVF_1_1CallCFGEdge.html',1,'SVF']]],
+  ['callchi_6557',['CallCHI',['../classSVF_1_1CallCHI.html',1,'SVF']]],
+  ['calldirsvfgedge_6558',['CallDirSVFGEdge',['../classSVF_1_1CallDirSVFGEdge.html',1,'SVF']]],
+  ['callgraphbuilder_6559',['CallGraphBuilder',['../classSVF_1_1CallGraphBuilder.html',1,'SVF']]],
+  ['callicfgnode_6560',['CallICFGNode',['../classSVF_1_1CallICFGNode.html',1,'SVF']]],
+  ['callindsvfgedge_6561',['CallIndSVFGEdge',['../classSVF_1_1CallIndSVFGEdge.html',1,'SVF']]],
+  ['callmu_6562',['CallMU',['../classSVF_1_1CallMU.html',1,'SVF']]],
+  ['callpe_6563',['CallPE',['../classSVF_1_1CallPE.html',1,'SVF']]],
+  ['callsite_6564',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF']]],
+  ['cast_5fconvert_5fval_6565',['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_6566',['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_6567',['cast_retty',['../structSVF_1_1SVFUtil_1_1cast__retty.html',1,'SVF::SVFUtil']]],
+  ['cast_5fretty_5fimpl_6568',['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_6569',['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_6570',['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_6571',['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_6572',['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_6573',['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_6574',['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_6575',['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_6576',['CDG',['../classSVF_1_1CDG.html',1,'SVF']]],
+  ['cdgbuilder_6577',['CDGBuilder',['../classSVF_1_1CDGBuilder.html',1,'SVF']]],
+  ['cdgedge_6578',['CDGEdge',['../classSVF_1_1CDGEdge.html',1,'SVF']]],
+  ['cdgnode_6579',['CDGNode',['../classSVF_1_1CDGNode.html',1,'SVF']]],
+  ['cfgnormalizer_6580',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
+  ['cfgrammar_6581',['CFGrammar',['../classSVF_1_1CFGrammar.html',1,'SVF']]],
+  ['cflalias_6582',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
+  ['cflbase_6583',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF']]],
+  ['cfledge_6584',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
+  ['cflfifoworklist_6585',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF']]],
+  ['cflgramgraphchecker_6586',['CFLGramGraphChecker',['../classSVF_1_1CFLGramGraphChecker.html',1,'SVF']]],
+  ['cflgraph_6587',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
+  ['cflgraphbuilder_6588',['CFLGraphBuilder',['../classSVF_1_1CFLGraphBuilder.html',1,'SVF']]],
+  ['cflnode_6589',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
+  ['cflsolver_6590',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
+  ['cflstat_6591',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF']]],
+  ['cflsvfgbuilder_6592',['CFLSVFGBuilder',['../classSVF_1_1CFLSVFGBuilder.html',1,'SVF']]],
+  ['cflvf_6593',['CFLVF',['../classSVF_1_1CFLVF.html',1,'SVF']]],
+  ['chedge_6594',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
+  ['chgbuilder_6595',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
+  ['chgraph_6596',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],
+  ['chnode_6597',['CHNode',['../classSVF_1_1CHNode.html',1,'SVF']]],
+  ['cjson_6598',['cJSON',['../structcJSON.html',1,'']]],
+  ['cjson_5fhooks_6599',['cJSON_Hooks',['../structcJSON__Hooks.html',1,'']]],
+  ['clusterer_6600',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
+  ['cmpstmt_6601',['CmpStmt',['../classSVF_1_1CmpStmt.html',1,'SVF']]],
+  ['cmpvfgnode_6602',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html',1,'SVF']]],
+  ['commonchgraph_6603',['CommonCHGraph',['../classSVF_1_1CommonCHGraph.html',1,'SVF']]],
+  ['condpointstoset_6604',['CondPointsToSet',['../classSVF_1_1CondPointsToSet.html',1,'SVF']]],
+  ['condptaimpl_6605',['CondPTAImpl',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptaimpl_3c_20contextcond_20_3e_6606',['CondPTAImpl< ContextCond >',['../classSVF_1_1CondPTAImpl.html',1,'SVF']]],
+  ['condptssetiterator_6607',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet']]],
+  ['condstdset_6608',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF']]],
+  ['condvar_6609',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF']]],
+  ['constraintedge_6610',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF']]],
+  ['constraintgraph_6611',['ConstraintGraph',['../classSVF_1_1ConstraintGraph.html',1,'SVF']]],
+  ['constraintnode_6612',['ConstraintNode',['../classSVF_1_1ConstraintNode.html',1,'SVF']]],
+  ['contextcond_6613',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF']]],
+  ['contextdda_6614',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF']]],
+  ['copycgedge_6615',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF']]],
+  ['copystmt_6616',['CopyStmt',['../classSVF_1_1CopyStmt.html',1,'SVF']]],
+  ['copyvfgnode_6617',['CopyVFGNode',['../classSVF_1_1CopyVFGNode.html',1,'SVF']]],
+  ['corebitvector_6618',['CoreBitVector',['../classSVF_1_1CoreBitVector.html',1,'SVF']]],
+  ['corebitvectoriterator_6619',['CoreBitVectorIterator',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html',1,'SVF::CoreBitVector']]],
+  ['csc_6620',['CSC',['../classSVF_1_1CSC.html',1,'SVF']]],
+  ['cxtdpitem_6621',['CxtDPItem',['../classSVF_1_1CxtDPItem.html',1,'SVF']]],
+  ['cxtproc_6622',['CxtProc',['../classSVF_1_1CxtProc.html',1,'SVF']]],
+  ['cxtstmt_6623',['CxtStmt',['../classSVF_1_1CxtStmt.html',1,'SVF']]],
+  ['cxtstmtdpitem_6624',['CxtStmtDPItem',['../classSVF_1_1CxtStmtDPItem.html',1,'SVF']]],
+  ['cxtthread_6625',['CxtThread',['../classSVF_1_1CxtThread.html',1,'SVF']]],
+  ['cxtthreadproc_6626',['CxtThreadProc',['../classSVF_1_1CxtThreadProc.html',1,'SVF']]],
+  ['cxtthreadstmt_6627',['CxtThreadStmt',['../classSVF_1_1CxtThreadStmt.html',1,'SVF']]]
 ];