svf-tools 1.0.763 → 1.0.765

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

@@ -1,52 +1,52 @@
 var searchData=
 [
-  ['callgraphbuilder_2ecpp_6851',['CallGraphBuilder.cpp',['../CallGraphBuilder_8cpp.html',1,'']]],
-  ['callgraphbuilder_2eh_6852',['CallGraphBuilder.h',['../CallGraphBuilder_8h.html',1,'']]],
-  ['casting_2eh_6853',['Casting.h',['../Casting_8h.html',1,'']]],
-  ['cfbasicblockg_2ecpp_6854',['CFBasicBlockG.cpp',['../CFBasicBlockG_8cpp.html',1,'']]],
-  ['cfbasicblockg_2eh_6855',['CFBasicBlockG.h',['../CFBasicBlockG_8h.html',1,'']]],
-  ['cfgnormalizer_2ecpp_6856',['CFGNormalizer.cpp',['../CFGNormalizer_8cpp.html',1,'']]],
-  ['cfgnormalizer_2eh_6857',['CFGNormalizer.h',['../CFGNormalizer_8h.html',1,'']]],
-  ['cfgrammar_2ecpp_6858',['CFGrammar.cpp',['../CFGrammar_8cpp.html',1,'']]],
-  ['cfgrammar_2eh_6859',['CFGrammar.h',['../CFGrammar_8h.html',1,'']]],
-  ['cfl_2ecpp_6860',['cfl.cpp',['../cfl_8cpp.html',1,'']]],
-  ['cflalias_2ecpp_6861',['CFLAlias.cpp',['../CFLAlias_8cpp.html',1,'']]],
-  ['cflalias_2eh_6862',['CFLAlias.h',['../CFLAlias_8h.html',1,'']]],
-  ['cflbase_2ecpp_6863',['CFLBase.cpp',['../CFLBase_8cpp.html',1,'']]],
-  ['cflbase_2eh_6864',['CFLBase.h',['../CFLBase_8h.html',1,'']]],
-  ['cflgramgraphchecker_2eh_6865',['CFLGramGraphChecker.h',['../CFLGramGraphChecker_8h.html',1,'']]],
-  ['cflgraph_2ecpp_6866',['CFLGraph.cpp',['../CFLGraph_8cpp.html',1,'']]],
-  ['cflgraph_2eh_6867',['CFLGraph.h',['../CFLGraph_8h.html',1,'']]],
-  ['cflgraphbuilder_2ecpp_6868',['CFLGraphBuilder.cpp',['../CFLGraphBuilder_8cpp.html',1,'']]],
-  ['cflgraphbuilder_2eh_6869',['CFLGraphBuilder.h',['../CFLGraphBuilder_8h.html',1,'']]],
-  ['cflsolver_2ecpp_6870',['CFLSolver.cpp',['../CFLSolver_8cpp.html',1,'']]],
-  ['cflsolver_2eh_6871',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
-  ['cflstat_2ecpp_6872',['CFLStat.cpp',['../CFLStat_8cpp.html',1,'']]],
-  ['cflstat_2eh_6873',['CFLStat.h',['../CFLStat_8h.html',1,'']]],
-  ['cflvf_2ecpp_6874',['CFLVF.cpp',['../CFLVF_8cpp.html',1,'']]],
-  ['cflvf_2eh_6875',['CFLVF.h',['../CFLVF_8h.html',1,'']]],
-  ['chg_2ecpp_6876',['CHG.cpp',['../CHG_8cpp.html',1,'']]],
-  ['chg_2eh_6877',['CHG.h',['../CHG_8h.html',1,'']]],
-  ['chgbuilder_2ecpp_6878',['CHGBuilder.cpp',['../CHGBuilder_8cpp.html',1,'']]],
-  ['chgbuilder_2eh_6879',['CHGBuilder.h',['../CHGBuilder_8h.html',1,'']]],
-  ['cjson_2ecpp_6880',['cJSON.cpp',['../cJSON_8cpp.html',1,'']]],
-  ['cjson_2eh_6881',['cJSON.h',['../cJSON_8h.html',1,'']]],
-  ['cmakelists_2etxt_6882',['CMakeLists.txt',['../CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../CMakeLists_8txt.html',1,'(Global Namespace)'],['../DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../LLVM2SVF_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
-  ['commandline_2eh_6883',['CommandLine.h',['../CommandLine_8h.html',1,'']]],
-  ['conditionalpt_2eh_6884',['ConditionalPT.h',['../ConditionalPT_8h.html',1,'']]],
-  ['consexestate_2ecpp_6885',['ConsExeState.cpp',['../ConsExeState_8cpp.html',1,'']]],
-  ['consexestate_2eh_6886',['ConsExeState.h',['../ConsExeState_8h.html',1,'']]],
-  ['consg_2ecpp_6887',['ConsG.cpp',['../ConsG_8cpp.html',1,'']]],
-  ['consg_2eh_6888',['ConsG.h',['../ConsG_8h.html',1,'']]],
-  ['consgedge_2eh_6889',['ConsGEdge.h',['../ConsGEdge_8h.html',1,'']]],
-  ['consgnode_2eh_6890',['ConsGNode.h',['../ConsGNode_8h.html',1,'']]],
-  ['contextdda_2ecpp_6891',['ContextDDA.cpp',['../ContextDDA_8cpp.html',1,'']]],
-  ['contextdda_2eh_6892',['ContextDDA.h',['../ContextDDA_8h.html',1,'']]],
-  ['corebitvector_2ecpp_6893',['CoreBitVector.cpp',['../CoreBitVector_8cpp.html',1,'']]],
-  ['corebitvector_2eh_6894',['CoreBitVector.h',['../CoreBitVector_8h.html',1,'']]],
-  ['cpputil_2ecpp_6895',['CppUtil.cpp',['../CppUtil_8cpp.html',1,'']]],
-  ['cpputil_2eh_6896',['CppUtil.h',['../CppUtil_8h.html',1,'']]],
-  ['csc_2ecpp_6897',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
-  ['csc_2eh_6898',['CSC.h',['../CSC_8h.html',1,'']]],
-  ['cxtstmt_2eh_6899',['CxtStmt.h',['../CxtStmt_8h.html',1,'']]]
+  ['callgraphbuilder_2ecpp_6850',['CallGraphBuilder.cpp',['../CallGraphBuilder_8cpp.html',1,'']]],
+  ['callgraphbuilder_2eh_6851',['CallGraphBuilder.h',['../CallGraphBuilder_8h.html',1,'']]],
+  ['casting_2eh_6852',['Casting.h',['../Casting_8h.html',1,'']]],
+  ['cfbasicblockg_2ecpp_6853',['CFBasicBlockG.cpp',['../CFBasicBlockG_8cpp.html',1,'']]],
+  ['cfbasicblockg_2eh_6854',['CFBasicBlockG.h',['../CFBasicBlockG_8h.html',1,'']]],
+  ['cfgnormalizer_2ecpp_6855',['CFGNormalizer.cpp',['../CFGNormalizer_8cpp.html',1,'']]],
+  ['cfgnormalizer_2eh_6856',['CFGNormalizer.h',['../CFGNormalizer_8h.html',1,'']]],
+  ['cfgrammar_2ecpp_6857',['CFGrammar.cpp',['../CFGrammar_8cpp.html',1,'']]],
+  ['cfgrammar_2eh_6858',['CFGrammar.h',['../CFGrammar_8h.html',1,'']]],
+  ['cfl_2ecpp_6859',['cfl.cpp',['../cfl_8cpp.html',1,'']]],
+  ['cflalias_2ecpp_6860',['CFLAlias.cpp',['../CFLAlias_8cpp.html',1,'']]],
+  ['cflalias_2eh_6861',['CFLAlias.h',['../CFLAlias_8h.html',1,'']]],
+  ['cflbase_2ecpp_6862',['CFLBase.cpp',['../CFLBase_8cpp.html',1,'']]],
+  ['cflbase_2eh_6863',['CFLBase.h',['../CFLBase_8h.html',1,'']]],
+  ['cflgramgraphchecker_2eh_6864',['CFLGramGraphChecker.h',['../CFLGramGraphChecker_8h.html',1,'']]],
+  ['cflgraph_2ecpp_6865',['CFLGraph.cpp',['../CFLGraph_8cpp.html',1,'']]],
+  ['cflgraph_2eh_6866',['CFLGraph.h',['../CFLGraph_8h.html',1,'']]],
+  ['cflgraphbuilder_2ecpp_6867',['CFLGraphBuilder.cpp',['../CFLGraphBuilder_8cpp.html',1,'']]],
+  ['cflgraphbuilder_2eh_6868',['CFLGraphBuilder.h',['../CFLGraphBuilder_8h.html',1,'']]],
+  ['cflsolver_2ecpp_6869',['CFLSolver.cpp',['../CFLSolver_8cpp.html',1,'']]],
+  ['cflsolver_2eh_6870',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
+  ['cflstat_2ecpp_6871',['CFLStat.cpp',['../CFLStat_8cpp.html',1,'']]],
+  ['cflstat_2eh_6872',['CFLStat.h',['../CFLStat_8h.html',1,'']]],
+  ['cflvf_2ecpp_6873',['CFLVF.cpp',['../CFLVF_8cpp.html',1,'']]],
+  ['cflvf_2eh_6874',['CFLVF.h',['../CFLVF_8h.html',1,'']]],
+  ['chg_2ecpp_6875',['CHG.cpp',['../CHG_8cpp.html',1,'']]],
+  ['chg_2eh_6876',['CHG.h',['../CHG_8h.html',1,'']]],
+  ['chgbuilder_2ecpp_6877',['CHGBuilder.cpp',['../CHGBuilder_8cpp.html',1,'']]],
+  ['chgbuilder_2eh_6878',['CHGBuilder.h',['../CHGBuilder_8h.html',1,'']]],
+  ['cjson_2ecpp_6879',['cJSON.cpp',['../cJSON_8cpp.html',1,'']]],
+  ['cjson_2eh_6880',['cJSON.h',['../cJSON_8h.html',1,'']]],
+  ['cmakelists_2etxt_6881',['CMakeLists.txt',['../CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../CMakeLists_8txt.html',1,'(Global Namespace)'],['../DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../LLVM2SVF_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
+  ['commandline_2eh_6882',['CommandLine.h',['../CommandLine_8h.html',1,'']]],
+  ['conditionalpt_2eh_6883',['ConditionalPT.h',['../ConditionalPT_8h.html',1,'']]],
+  ['consexestate_2ecpp_6884',['ConsExeState.cpp',['../ConsExeState_8cpp.html',1,'']]],
+  ['consexestate_2eh_6885',['ConsExeState.h',['../ConsExeState_8h.html',1,'']]],
+  ['consg_2ecpp_6886',['ConsG.cpp',['../ConsG_8cpp.html',1,'']]],
+  ['consg_2eh_6887',['ConsG.h',['../ConsG_8h.html',1,'']]],
+  ['consgedge_2eh_6888',['ConsGEdge.h',['../ConsGEdge_8h.html',1,'']]],
+  ['consgnode_2eh_6889',['ConsGNode.h',['../ConsGNode_8h.html',1,'']]],
+  ['contextdda_2ecpp_6890',['ContextDDA.cpp',['../ContextDDA_8cpp.html',1,'']]],
+  ['contextdda_2eh_6891',['ContextDDA.h',['../ContextDDA_8h.html',1,'']]],
+  ['corebitvector_2ecpp_6892',['CoreBitVector.cpp',['../CoreBitVector_8cpp.html',1,'']]],
+  ['corebitvector_2eh_6893',['CoreBitVector.h',['../CoreBitVector_8h.html',1,'']]],
+  ['cpputil_2ecpp_6894',['CppUtil.cpp',['../CppUtil_8cpp.html',1,'']]],
+  ['cpputil_2eh_6895',['CppUtil.h',['../CppUtil_8h.html',1,'']]],
+  ['csc_2ecpp_6896',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
+  ['csc_2eh_6897',['CSC.h',['../CSC_8h.html',1,'']]],
+  ['cxtstmt_2eh_6898',['CxtStmt.h',['../CxtStmt_8h.html',1,'']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['dchg_2ecpp_6900',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
-  ['dchg_2eh_6901',['DCHG.h',['../DCHG_8h.html',1,'']]],
-  ['dda_2ecpp_6902',['dda.cpp',['../dda_8cpp.html',1,'']]],
-  ['ddaclient_2ecpp_6903',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
-  ['ddaclient_2eh_6904',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
-  ['ddapass_2ecpp_6905',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
-  ['ddapass_2eh_6906',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
-  ['ddastat_2ecpp_6907',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
-  ['ddastat_2eh_6908',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
-  ['ddavfsolver_2eh_6909',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
-  ['dotgraphtraits_2eh_6910',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
-  ['doublefreechecker_2ecpp_6911',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
-  ['doublefreechecker_2eh_6912',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
-  ['dpitem_2eh_6913',['DPItem.h',['../DPItem_8h.html',1,'']]]
+  ['dchg_2ecpp_6899',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
+  ['dchg_2eh_6900',['DCHG.h',['../DCHG_8h.html',1,'']]],
+  ['dda_2ecpp_6901',['dda.cpp',['../dda_8cpp.html',1,'']]],
+  ['ddaclient_2ecpp_6902',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
+  ['ddaclient_2eh_6903',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
+  ['ddapass_2ecpp_6904',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
+  ['ddapass_2eh_6905',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
+  ['ddastat_2ecpp_6906',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
+  ['ddastat_2eh_6907',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
+  ['ddavfsolver_2eh_6908',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
+  ['dotgraphtraits_2eh_6909',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
+  ['doublefreechecker_2ecpp_6910',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
+  ['doublefreechecker_2eh_6911',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
+  ['dpitem_2eh_6912',['DPItem.h',['../DPItem_8h.html',1,'']]]
 ];

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

@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['exestate_2ecpp_6914',['ExeState.cpp',['../ExeState_8cpp.html',1,'']]],
-  ['exestate_2eh_6915',['ExeState.h',['../ExeState_8h.html',1,'']]],
-  ['extapi_2ec_6916',['extapi.c',['../extapi_8c.html',1,'']]],
-  ['extapi_2ecpp_6917',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
-  ['extapi_2eh_6918',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]]
+  ['exestate_2ecpp_6913',['ExeState.cpp',['../ExeState_8cpp.html',1,'']]],
+  ['exestate_2eh_6914',['ExeState.h',['../ExeState_8h.html',1,'']]],
+  ['extapi_2ec_6915',['extapi.c',['../extapi_8c.html',1,'']]],
+  ['extapi_2ecpp_6916',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
+  ['extapi_2eh_6917',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['fastcluster_2ecpp_6919',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
-  ['fastcluster_2eh_6920',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
-  ['fastcluster_5fdm_2ecpp_2einc_6921',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
-  ['fastcluster_5fr_5fdm_2ecpp_2einc_6922',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
-  ['filechecker_2ecpp_6923',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
-  ['filechecker_2eh_6924',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
-  ['flowdda_2ecpp_6925',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
-  ['flowdda_2eh_6926',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
-  ['flowsensitive_2ecpp_6927',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
-  ['flowsensitive_2eh_6928',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
-  ['flowsensitivestat_2ecpp_6929',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
-  ['fsmpta_2ecpp_6930',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
-  ['fsmpta_2eh_6931',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]]
+  ['fastcluster_2ecpp_6918',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
+  ['fastcluster_2eh_6919',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
+  ['fastcluster_5fdm_2ecpp_2einc_6920',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
+  ['fastcluster_5fr_5fdm_2ecpp_2einc_6921',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
+  ['filechecker_2ecpp_6922',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
+  ['filechecker_2eh_6923',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
+  ['flowdda_2ecpp_6924',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
+  ['flowdda_2eh_6925',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
+  ['flowsensitive_2ecpp_6926',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
+  ['flowsensitive_2eh_6927',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
+  ['flowsensitivestat_2ecpp_6928',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
+  ['fsmpta_2ecpp_6929',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
+  ['fsmpta_2eh_6930',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['genericgraph_2eh_6932',['GenericGraph.h',['../GenericGraph_8h.html',1,'']]],
-  ['geptypebridgeiterator_2eh_6933',['GEPTypeBridgeIterator.h',['../GEPTypeBridgeIterator_8h.html',1,'']]],
-  ['grammarbuilder_2ecpp_6934',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
-  ['grammarbuilder_2eh_6935',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
-  ['graphprinter_2eh_6936',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
-  ['graphreachsolver_2eh_6937',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]],
-  ['graphtraits_2eh_6938',['GraphTraits.h',['../GraphTraits_8h.html',1,'']]],
-  ['graphwriter_2ecpp_6939',['GraphWriter.cpp',['../GraphWriter_8cpp.html',1,'']]],
-  ['graphwriter_2eh_6940',['GraphWriter.h',['../GraphWriter_8h.html',1,'']]]
+  ['genericgraph_2eh_6931',['GenericGraph.h',['../GenericGraph_8h.html',1,'']]],
+  ['geptypebridgeiterator_2eh_6932',['GEPTypeBridgeIterator.h',['../GEPTypeBridgeIterator_8h.html',1,'']]],
+  ['grammarbuilder_2ecpp_6933',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
+  ['grammarbuilder_2eh_6934',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
+  ['graphprinter_2eh_6935',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
+  ['graphreachsolver_2eh_6936',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]],
+  ['graphtraits_2eh_6937',['GraphTraits.h',['../GraphTraits_8h.html',1,'']]],
+  ['graphwriter_2ecpp_6938',['GraphWriter.cpp',['../GraphWriter_8cpp.html',1,'']]],
+  ['graphwriter_2eh_6939',['GraphWriter.h',['../GraphWriter_8h.html',1,'']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['icfg_2ecpp_6941',['ICFG.cpp',['../ICFG_8cpp.html',1,'']]],
-  ['icfg_2eh_6942',['ICFG.h',['../ICFG_8h.html',1,'']]],
-  ['icfgbuilder_2ecpp_6943',['ICFGBuilder.cpp',['../ICFGBuilder_8cpp.html',1,'']]],
-  ['icfgbuilder_2eh_6944',['ICFGBuilder.h',['../ICFGBuilder_8h.html',1,'']]],
-  ['icfgedge_2eh_6945',['ICFGEdge.h',['../ICFGEdge_8h.html',1,'']]],
-  ['icfgnode_2eh_6946',['ICFGNode.h',['../ICFGNode_8h.html',1,'']]],
-  ['icfgstat_2eh_6947',['ICFGStat.h',['../ICFGStat_8h.html',1,'']]],
-  ['intervalexestate_2ecpp_6948',['IntervalExeState.cpp',['../IntervalExeState_8cpp.html',1,'']]],
-  ['intervalexestate_2eh_6949',['IntervalExeState.h',['../IntervalExeState_8h.html',1,'']]],
-  ['intervalvalue_2eh_6950',['IntervalValue.h',['../IntervalValue_8h.html',1,'']]],
-  ['irgraph_2ecpp_6951',['IRGraph.cpp',['../IRGraph_8cpp.html',1,'']]],
-  ['irgraph_2eh_6952',['IRGraph.h',['../IRGraph_8h.html',1,'']]],
-  ['iterator_2eh_6953',['iterator.h',['../iterator_8h.html',1,'']]],
-  ['iterator_5frange_2eh_6954',['iterator_range.h',['../iterator__range_8h.html',1,'']]]
+  ['icfg_2ecpp_6940',['ICFG.cpp',['../ICFG_8cpp.html',1,'']]],
+  ['icfg_2eh_6941',['ICFG.h',['../ICFG_8h.html',1,'']]],
+  ['icfgbuilder_2ecpp_6942',['ICFGBuilder.cpp',['../ICFGBuilder_8cpp.html',1,'']]],
+  ['icfgbuilder_2eh_6943',['ICFGBuilder.h',['../ICFGBuilder_8h.html',1,'']]],
+  ['icfgedge_2eh_6944',['ICFGEdge.h',['../ICFGEdge_8h.html',1,'']]],
+  ['icfgnode_2eh_6945',['ICFGNode.h',['../ICFGNode_8h.html',1,'']]],
+  ['icfgstat_2eh_6946',['ICFGStat.h',['../ICFGStat_8h.html',1,'']]],
+  ['intervalexestate_2ecpp_6947',['IntervalExeState.cpp',['../IntervalExeState_8cpp.html',1,'']]],
+  ['intervalexestate_2eh_6948',['IntervalExeState.h',['../IntervalExeState_8h.html',1,'']]],
+  ['intervalvalue_2eh_6949',['IntervalValue.h',['../IntervalValue_8h.html',1,'']]],
+  ['irgraph_2ecpp_6950',['IRGraph.cpp',['../IRGraph_8cpp.html',1,'']]],
+  ['irgraph_2eh_6951',['IRGraph.h',['../IRGraph_8h.html',1,'']]],
+  ['iterator_2eh_6952',['iterator.h',['../iterator_8h.html',1,'']]],
+  ['iterator_5frange_2eh_6953',['iterator_range.h',['../iterator__range_8h.html',1,'']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['leakchecker_2ecpp_6955',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
-  ['leakchecker_2eh_6956',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
-  ['llvm2svf_2ecpp_6957',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
-  ['llvmloopanalysis_2ecpp_6958',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
-  ['llvmloopanalysis_2eh_6959',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
-  ['llvmmodule_2ecpp_6960',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
-  ['llvmmodule_2eh_6961',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmutil_2ecpp_6962',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
-  ['llvmutil_2eh_6963',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['lockanalysis_2ecpp_6964',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
-  ['lockanalysis_2eh_6965',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
-  ['lockresultvalidator_2ecpp_6966',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
-  ['lockresultvalidator_2eh_6967',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]]
+  ['leakchecker_2ecpp_6954',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
+  ['leakchecker_2eh_6955',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
+  ['llvm2svf_2ecpp_6956',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
+  ['llvmloopanalysis_2ecpp_6957',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
+  ['llvmloopanalysis_2eh_6958',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
+  ['llvmmodule_2ecpp_6959',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
+  ['llvmmodule_2eh_6960',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
+  ['llvmutil_2ecpp_6961',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
+  ['llvmutil_2eh_6962',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
+  ['lockanalysis_2ecpp_6963',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
+  ['lockanalysis_2eh_6964',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
+  ['lockresultvalidator_2ecpp_6965',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
+  ['lockresultvalidator_2eh_6966',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]]
 ];

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

@@ -1,21 +1,21 @@
 var searchData=
 [
-  ['mempartition_2ecpp_6968',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
-  ['mempartition_2eh_6969',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
-  ['memregion_2ecpp_6970',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
-  ['memregion_2eh_6971',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
-  ['memssa_2ecpp_6972',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
-  ['memssa_2eh_6973',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
-  ['mhp_2ecpp_6974',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
-  ['mhp_2eh_6975',['MHP.h',['../MHP_8h.html',1,'']]],
-  ['mssamuchi_2eh_6976',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
-  ['mta_2ecpp_6977',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
-  ['mta_2eh_6978',['MTA.h',['../MTA_8h.html',1,'']]],
-  ['mtaannotator_2ecpp_6979',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
-  ['mtaannotator_2eh_6980',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
-  ['mtaresultvalidator_2ecpp_6981',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
-  ['mtaresultvalidator_2eh_6982',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
-  ['mtastat_2ecpp_6983',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
-  ['mtastat_2eh_6984',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
-  ['mutablepointstods_2eh_6985',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]]
+  ['mempartition_2ecpp_6967',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
+  ['mempartition_2eh_6968',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
+  ['memregion_2ecpp_6969',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
+  ['memregion_2eh_6970',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
+  ['memssa_2ecpp_6971',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
+  ['memssa_2eh_6972',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
+  ['mhp_2ecpp_6973',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
+  ['mhp_2eh_6974',['MHP.h',['../MHP_8h.html',1,'']]],
+  ['mssamuchi_2eh_6975',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
+  ['mta_2ecpp_6976',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
+  ['mta_2eh_6977',['MTA.h',['../MTA_8h.html',1,'']]],
+  ['mtaannotator_2ecpp_6978',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
+  ['mtaannotator_2eh_6979',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
+  ['mtaresultvalidator_2ecpp_6980',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
+  ['mtaresultvalidator_2eh_6981',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
+  ['mtastat_2ecpp_6982',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
+  ['mtastat_2eh_6983',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
+  ['mutablepointstods_2eh_6984',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['nodeidallocator_2ecpp_6986',['NodeIDAllocator.cpp',['../NodeIDAllocator_8cpp.html',1,'']]],
-  ['nodeidallocator_2eh_6987',['NodeIDAllocator.h',['../NodeIDAllocator_8h.html',1,'']]],
-  ['numericliteral_2eh_6988',['NumericLiteral.h',['../NumericLiteral_8h.html',1,'']]]
+  ['nodeidallocator_2ecpp_6985',['NodeIDAllocator.cpp',['../NodeIDAllocator_8cpp.html',1,'']]],
+  ['nodeidallocator_2eh_6986',['NodeIDAllocator.h',['../NodeIDAllocator_8h.html',1,'']]],
+  ['numericliteral_2eh_6987',['NumericLiteral.h',['../NumericLiteral_8h.html',1,'']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['options_2ecpp_6989',['Options.cpp',['../Options_8cpp.html',1,'']]],
-  ['options_2eh_6990',['Options.h',['../Options_8h.html',1,'']]]
+  ['options_2ecpp_6988',['Options.cpp',['../Options_8cpp.html',1,'']]],
+  ['options_2eh_6989',['Options.h',['../Options_8h.html',1,'']]]
 ];

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

@@ -1,23 +1,23 @@
 var searchData=
 [
-  ['pagbuilderfromfile_2ecpp_6991',['PAGBuilderFromFile.cpp',['../PAGBuilderFromFile_8cpp.html',1,'']]],
-  ['pagbuilderfromfile_2eh_6992',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
-  ['paggrammar_2etxt_6993',['PAGGrammar.txt',['../PAGGrammar_8txt.html',1,'']]],
-  ['pcg_2ecpp_6994',['PCG.cpp',['../PCG_8cpp.html',1,'']]],
-  ['pcg_2eh_6995',['PCG.h',['../PCG_8h.html',1,'']]],
-  ['peggrammar_2etxt_6996',['PEGGrammar.txt',['../PEGGrammar_8txt.html',1,'']]],
-  ['persistentpointstocache_2eh_6997',['PersistentPointsToCache.h',['../PersistentPointsToCache_8h.html',1,'']]],
-  ['persistentpointstods_2eh_6998',['PersistentPointsToDS.h',['../PersistentPointsToDS_8h.html',1,'']]],
-  ['pointeranalysis_2ecpp_6999',['PointerAnalysis.cpp',['../PointerAnalysis_8cpp.html',1,'']]],
-  ['pointeranalysis_2eh_7000',['PointerAnalysis.h',['../PointerAnalysis_8h.html',1,'']]],
-  ['pointeranalysisimpl_2ecpp_7001',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
-  ['pointeranalysisimpl_2eh_7002',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
-  ['pointsto_2ecpp_7003',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
-  ['pointsto_2eh_7004',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
-  ['progslice_2ecpp_7005',['ProgSlice.cpp',['../ProgSlice_8cpp.html',1,'']]],
-  ['progslice_2eh_7006',['ProgSlice.h',['../ProgSlice_8h.html',1,'']]],
-  ['ptacallgraph_2ecpp_7007',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
-  ['ptacallgraph_2eh_7008',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
-  ['ptastat_2ecpp_7009',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
-  ['ptastat_2eh_7010',['PTAStat.h',['../PTAStat_8h.html',1,'']]]
+  ['pagbuilderfromfile_2ecpp_6990',['PAGBuilderFromFile.cpp',['../PAGBuilderFromFile_8cpp.html',1,'']]],
+  ['pagbuilderfromfile_2eh_6991',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
+  ['paggrammar_2etxt_6992',['PAGGrammar.txt',['../PAGGrammar_8txt.html',1,'']]],
+  ['pcg_2ecpp_6993',['PCG.cpp',['../PCG_8cpp.html',1,'']]],
+  ['pcg_2eh_6994',['PCG.h',['../PCG_8h.html',1,'']]],
+  ['peggrammar_2etxt_6995',['PEGGrammar.txt',['../PEGGrammar_8txt.html',1,'']]],
+  ['persistentpointstocache_2eh_6996',['PersistentPointsToCache.h',['../PersistentPointsToCache_8h.html',1,'']]],
+  ['persistentpointstods_2eh_6997',['PersistentPointsToDS.h',['../PersistentPointsToDS_8h.html',1,'']]],
+  ['pointeranalysis_2ecpp_6998',['PointerAnalysis.cpp',['../PointerAnalysis_8cpp.html',1,'']]],
+  ['pointeranalysis_2eh_6999',['PointerAnalysis.h',['../PointerAnalysis_8h.html',1,'']]],
+  ['pointeranalysisimpl_2ecpp_7000',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
+  ['pointeranalysisimpl_2eh_7001',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
+  ['pointsto_2ecpp_7002',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
+  ['pointsto_2eh_7003',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
+  ['progslice_2ecpp_7004',['ProgSlice.cpp',['../ProgSlice_8cpp.html',1,'']]],
+  ['progslice_2eh_7005',['ProgSlice.h',['../ProgSlice_8h.html',1,'']]],
+  ['ptacallgraph_2ecpp_7006',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
+  ['ptacallgraph_2eh_7007',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
+  ['ptastat_2ecpp_7008',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
+  ['ptastat_2eh_7009',['PTAStat.h',['../PTAStat_8h.html',1,'']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['relationsolver_2ecpp_7011',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
-  ['relationsolver_2eh_7012',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
-  ['relexestate_2ecpp_7013',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
-  ['relexestate_2eh_7014',['RelExeState.h',['../RelExeState_8h.html',1,'']]]
+  ['relationsolver_2ecpp_7010',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
+  ['relationsolver_2eh_7011',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
+  ['relexestate_2ecpp_7012',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
+  ['relexestate_2eh_7013',['RelExeState.h',['../RelExeState_8h.html',1,'']]]
 ];

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

@@ -1,65 +1,65 @@
 var searchData=
 [
-  ['saber_2ecpp_7015',['saber.cpp',['../saber_8cpp.html',1,'']]],
-  ['sabercheckerapi_2ecpp_7016',['SaberCheckerAPI.cpp',['../SaberCheckerAPI_8cpp.html',1,'']]],
-  ['sabercheckerapi_2eh_7017',['SaberCheckerAPI.h',['../SaberCheckerAPI_8h.html',1,'']]],
-  ['sabercondallocator_2ecpp_7018',['SaberCondAllocator.cpp',['../SaberCondAllocator_8cpp.html',1,'']]],
-  ['sabercondallocator_2eh_7019',['SaberCondAllocator.h',['../SaberCondAllocator_8h.html',1,'']]],
-  ['sabersvfgbuilder_2ecpp_7020',['SaberSVFGBuilder.cpp',['../SaberSVFGBuilder_8cpp.html',1,'']]],
-  ['sabersvfgbuilder_2eh_7021',['SaberSVFGBuilder.h',['../SaberSVFGBuilder_8h.html',1,'']]],
-  ['scc_2eh_7022',['SCC.h',['../SCC_8h.html',1,'']]],
-  ['singleabsvalue_2eh_7023',['SingleAbsValue.h',['../SingleAbsValue_8h.html',1,'']]],
-  ['sparsebitvector_2eh_7024',['SparseBitVector.h',['../SparseBitVector_8h.html',1,'']]],
-  ['srcsnkdda_2ecpp_7025',['SrcSnkDDA.cpp',['../SrcSnkDDA_8cpp.html',1,'']]],
-  ['srcsnkdda_2eh_7026',['SrcSnkDDA.h',['../SrcSnkDDA_8h.html',1,'']]],
-  ['srcsnksolver_2eh_7027',['SrcSnkSolver.h',['../SrcSnkSolver_8h.html',1,'']]],
-  ['steensgaard_2ecpp_7028',['Steensgaard.cpp',['../Steensgaard_8cpp.html',1,'']]],
-  ['steensgaard_2eh_7029',['Steensgaard.h',['../Steensgaard_8h.html',1,'']]],
-  ['svf_2dex_2ecpp_7030',['svf-ex.cpp',['../svf-ex_8cpp.html',1,'']]],
-  ['svfbugreport_2ecpp_7031',['SVFBugReport.cpp',['../SVFBugReport_8cpp.html',1,'']]],
-  ['svfbugreport_2eh_7032',['SVFBugReport.h',['../SVFBugReport_8h.html',1,'']]],
-  ['svffilesystem_2ecpp_7033',['SVFFileSystem.cpp',['../SVFFileSystem_8cpp.html',1,'']]],
-  ['svffilesystem_2eh_7034',['SVFFileSystem.h',['../SVFFileSystem_8h.html',1,'']]],
-  ['svfg_2ecpp_7035',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
-  ['svfg_2eh_7036',['SVFG.h',['../SVFG_8h.html',1,'']]],
-  ['svfgbuilder_2ecpp_7037',['SVFGBuilder.cpp',['../SVFGBuilder_8cpp.html',1,'']]],
-  ['svfgbuilder_2eh_7038',['SVFGBuilder.h',['../SVFGBuilder_8h.html',1,'']]],
-  ['svfgedge_2eh_7039',['SVFGEdge.h',['../SVFGEdge_8h.html',1,'']]],
-  ['svfgnode_2eh_7040',['SVFGNode.h',['../SVFGNode_8h.html',1,'']]],
-  ['svfgopt_2ecpp_7041',['SVFGOPT.cpp',['../SVFGOPT_8cpp.html',1,'']]],
-  ['svfgopt_2eh_7042',['SVFGOPT.h',['../SVFGOPT_8h.html',1,'']]],
-  ['svfgreadwrite_2ecpp_7043',['SVFGReadWrite.cpp',['../SVFGReadWrite_8cpp.html',1,'']]],
-  ['svfgstat_2ecpp_7044',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
-  ['svfgstat_2eh_7045',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
-  ['svfir_2ecpp_7046',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
-  ['svfir_2eh_7047',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
-  ['svfir2consexestate_2ecpp_7048',['SVFIR2ConsExeState.cpp',['../SVFIR2ConsExeState_8cpp.html',1,'']]],
-  ['svfir2consexestate_2eh_7049',['SVFIR2ConsExeState.h',['../SVFIR2ConsExeState_8h.html',1,'']]],
-  ['svfir2itvexestate_2ecpp_7050',['SVFIR2ItvExeState.cpp',['../SVFIR2ItvExeState_8cpp.html',1,'']]],
-  ['svfir2itvexestate_2eh_7051',['SVFIR2ItvExeState.h',['../SVFIR2ItvExeState_8h.html',1,'']]],
-  ['svfir2relation_2ecpp_7052',['SVFIR2Relation.cpp',['../SVFIR2Relation_8cpp.html',1,'']]],
-  ['svfirbuilder_2ecpp_7053',['SVFIRBuilder.cpp',['../SVFIRBuilder_8cpp.html',1,'']]],
-  ['svfirbuilder_2eh_7054',['SVFIRBuilder.h',['../SVFIRBuilder_8h.html',1,'']]],
-  ['svfirextapi_2ecpp_7055',['SVFIRExtAPI.cpp',['../SVFIRExtAPI_8cpp.html',1,'']]],
-  ['svfloop_2eh_7056',['SVFLoop.h',['../SVFLoop_8h.html',1,'']]],
-  ['svfmodule_2ecpp_7057',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
-  ['svfmodule_2eh_7058',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
-  ['svfstat_2ecpp_7059',['SVFStat.cpp',['../SVFStat_8cpp.html',1,'']]],
-  ['svfstat_2eh_7060',['SVFStat.h',['../SVFStat_8h.html',1,'']]],
-  ['svfstatements_2ecpp_7061',['SVFStatements.cpp',['../SVFStatements_8cpp.html',1,'']]],
-  ['svfstatements_2eh_7062',['SVFStatements.h',['../SVFStatements_8h.html',1,'']]],
-  ['svftype_2ecpp_7063',['SVFType.cpp',['../SVFType_8cpp.html',1,'']]],
-  ['svftype_2eh_7064',['SVFType.h',['../SVFType_8h.html',1,'']]],
-  ['svfutil_2ecpp_7065',['SVFUtil.cpp',['../SVFUtil_8cpp.html',1,'']]],
-  ['svfutil_2eh_7066',['SVFUtil.h',['../SVFUtil_8h.html',1,'']]],
-  ['svfvalue_2ecpp_7067',['SVFValue.cpp',['../SVFValue_8cpp.html',1,'']]],
-  ['svfvalue_2eh_7068',['SVFValue.h',['../SVFValue_8h.html',1,'']]],
-  ['svfvariables_2ecpp_7069',['SVFVariables.cpp',['../SVFVariables_8cpp.html',1,'']]],
-  ['svfvariables_2eh_7070',['SVFVariables.h',['../SVFVariables_8h.html',1,'']]],
-  ['symboltablebuilder_2ecpp_7071',['SymbolTableBuilder.cpp',['../SymbolTableBuilder_8cpp.html',1,'']]],
-  ['symboltablebuilder_2eh_7072',['SymbolTableBuilder.h',['../SymbolTableBuilder_8h.html',1,'']]],
-  ['symboltableinfo_2ecpp_7073',['SymbolTableInfo.cpp',['../SymbolTableInfo_8cpp.html',1,'']]],
-  ['symboltableinfo_2eh_7074',['SymbolTableInfo.h',['../SymbolTableInfo_8h.html',1,'']]],
-  ['symstate_2ecpp_7075',['SymState.cpp',['../SymState_8cpp.html',1,'']]],
-  ['symstate_2eh_7076',['SymState.h',['../SymState_8h.html',1,'']]]
+  ['saber_2ecpp_7014',['saber.cpp',['../saber_8cpp.html',1,'']]],
+  ['sabercheckerapi_2ecpp_7015',['SaberCheckerAPI.cpp',['../SaberCheckerAPI_8cpp.html',1,'']]],
+  ['sabercheckerapi_2eh_7016',['SaberCheckerAPI.h',['../SaberCheckerAPI_8h.html',1,'']]],
+  ['sabercondallocator_2ecpp_7017',['SaberCondAllocator.cpp',['../SaberCondAllocator_8cpp.html',1,'']]],
+  ['sabercondallocator_2eh_7018',['SaberCondAllocator.h',['../SaberCondAllocator_8h.html',1,'']]],
+  ['sabersvfgbuilder_2ecpp_7019',['SaberSVFGBuilder.cpp',['../SaberSVFGBuilder_8cpp.html',1,'']]],
+  ['sabersvfgbuilder_2eh_7020',['SaberSVFGBuilder.h',['../SaberSVFGBuilder_8h.html',1,'']]],
+  ['scc_2eh_7021',['SCC.h',['../SCC_8h.html',1,'']]],
+  ['singleabsvalue_2eh_7022',['SingleAbsValue.h',['../SingleAbsValue_8h.html',1,'']]],
+  ['sparsebitvector_2eh_7023',['SparseBitVector.h',['../SparseBitVector_8h.html',1,'']]],
+  ['srcsnkdda_2ecpp_7024',['SrcSnkDDA.cpp',['../SrcSnkDDA_8cpp.html',1,'']]],
+  ['srcsnkdda_2eh_7025',['SrcSnkDDA.h',['../SrcSnkDDA_8h.html',1,'']]],
+  ['srcsnksolver_2eh_7026',['SrcSnkSolver.h',['../SrcSnkSolver_8h.html',1,'']]],
+  ['steensgaard_2ecpp_7027',['Steensgaard.cpp',['../Steensgaard_8cpp.html',1,'']]],
+  ['steensgaard_2eh_7028',['Steensgaard.h',['../Steensgaard_8h.html',1,'']]],
+  ['svf_2dex_2ecpp_7029',['svf-ex.cpp',['../svf-ex_8cpp.html',1,'']]],
+  ['svfbugreport_2ecpp_7030',['SVFBugReport.cpp',['../SVFBugReport_8cpp.html',1,'']]],
+  ['svfbugreport_2eh_7031',['SVFBugReport.h',['../SVFBugReport_8h.html',1,'']]],
+  ['svffilesystem_2ecpp_7032',['SVFFileSystem.cpp',['../SVFFileSystem_8cpp.html',1,'']]],
+  ['svffilesystem_2eh_7033',['SVFFileSystem.h',['../SVFFileSystem_8h.html',1,'']]],
+  ['svfg_2ecpp_7034',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
+  ['svfg_2eh_7035',['SVFG.h',['../SVFG_8h.html',1,'']]],
+  ['svfgbuilder_2ecpp_7036',['SVFGBuilder.cpp',['../SVFGBuilder_8cpp.html',1,'']]],
+  ['svfgbuilder_2eh_7037',['SVFGBuilder.h',['../SVFGBuilder_8h.html',1,'']]],
+  ['svfgedge_2eh_7038',['SVFGEdge.h',['../SVFGEdge_8h.html',1,'']]],
+  ['svfgnode_2eh_7039',['SVFGNode.h',['../SVFGNode_8h.html',1,'']]],
+  ['svfgopt_2ecpp_7040',['SVFGOPT.cpp',['../SVFGOPT_8cpp.html',1,'']]],
+  ['svfgopt_2eh_7041',['SVFGOPT.h',['../SVFGOPT_8h.html',1,'']]],
+  ['svfgreadwrite_2ecpp_7042',['SVFGReadWrite.cpp',['../SVFGReadWrite_8cpp.html',1,'']]],
+  ['svfgstat_2ecpp_7043',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
+  ['svfgstat_2eh_7044',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
+  ['svfir_2ecpp_7045',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
+  ['svfir_2eh_7046',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
+  ['svfir2consexestate_2ecpp_7047',['SVFIR2ConsExeState.cpp',['../SVFIR2ConsExeState_8cpp.html',1,'']]],
+  ['svfir2consexestate_2eh_7048',['SVFIR2ConsExeState.h',['../SVFIR2ConsExeState_8h.html',1,'']]],
+  ['svfir2itvexestate_2ecpp_7049',['SVFIR2ItvExeState.cpp',['../SVFIR2ItvExeState_8cpp.html',1,'']]],
+  ['svfir2itvexestate_2eh_7050',['SVFIR2ItvExeState.h',['../SVFIR2ItvExeState_8h.html',1,'']]],
+  ['svfir2relation_2ecpp_7051',['SVFIR2Relation.cpp',['../SVFIR2Relation_8cpp.html',1,'']]],
+  ['svfirbuilder_2ecpp_7052',['SVFIRBuilder.cpp',['../SVFIRBuilder_8cpp.html',1,'']]],
+  ['svfirbuilder_2eh_7053',['SVFIRBuilder.h',['../SVFIRBuilder_8h.html',1,'']]],
+  ['svfirextapi_2ecpp_7054',['SVFIRExtAPI.cpp',['../SVFIRExtAPI_8cpp.html',1,'']]],
+  ['svfloop_2eh_7055',['SVFLoop.h',['../SVFLoop_8h.html',1,'']]],
+  ['svfmodule_2ecpp_7056',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
+  ['svfmodule_2eh_7057',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
+  ['svfstat_2ecpp_7058',['SVFStat.cpp',['../SVFStat_8cpp.html',1,'']]],
+  ['svfstat_2eh_7059',['SVFStat.h',['../SVFStat_8h.html',1,'']]],
+  ['svfstatements_2ecpp_7060',['SVFStatements.cpp',['../SVFStatements_8cpp.html',1,'']]],
+  ['svfstatements_2eh_7061',['SVFStatements.h',['../SVFStatements_8h.html',1,'']]],
+  ['svftype_2ecpp_7062',['SVFType.cpp',['../SVFType_8cpp.html',1,'']]],
+  ['svftype_2eh_7063',['SVFType.h',['../SVFType_8h.html',1,'']]],
+  ['svfutil_2ecpp_7064',['SVFUtil.cpp',['../SVFUtil_8cpp.html',1,'']]],
+  ['svfutil_2eh_7065',['SVFUtil.h',['../SVFUtil_8h.html',1,'']]],
+  ['svfvalue_2ecpp_7066',['SVFValue.cpp',['../SVFValue_8cpp.html',1,'']]],
+  ['svfvalue_2eh_7067',['SVFValue.h',['../SVFValue_8h.html',1,'']]],
+  ['svfvariables_2ecpp_7068',['SVFVariables.cpp',['../SVFVariables_8cpp.html',1,'']]],
+  ['svfvariables_2eh_7069',['SVFVariables.h',['../SVFVariables_8h.html',1,'']]],
+  ['symboltablebuilder_2ecpp_7070',['SymbolTableBuilder.cpp',['../SymbolTableBuilder_8cpp.html',1,'']]],
+  ['symboltablebuilder_2eh_7071',['SymbolTableBuilder.h',['../SymbolTableBuilder_8h.html',1,'']]],
+  ['symboltableinfo_2ecpp_7072',['SymbolTableInfo.cpp',['../SymbolTableInfo_8cpp.html',1,'']]],
+  ['symboltableinfo_2eh_7073',['SymbolTableInfo.h',['../SymbolTableInfo_8h.html',1,'']]],
+  ['symstate_2ecpp_7074',['SymState.cpp',['../SymState_8cpp.html',1,'']]],
+  ['symstate_2eh_7075',['SymState.h',['../SymState_8h.html',1,'']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['tct_2ecpp_7077',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
-  ['tct_2eh_7078',['TCT.h',['../TCT_8h.html',1,'']]],
-  ['threadapi_2ecpp_7079',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
-  ['threadapi_2eh_7080',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
-  ['threadcallgraph_2ecpp_7081',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
-  ['threadcallgraph_2eh_7082',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
-  ['typeanalysis_2ecpp_7083',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
-  ['typeanalysis_2eh_7084',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]]
+  ['tct_2ecpp_7076',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
+  ['tct_2eh_7077',['TCT.h',['../TCT_8h.html',1,'']]],
+  ['threadapi_2ecpp_7078',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
+  ['threadapi_2eh_7079',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
+  ['threadcallgraph_2ecpp_7080',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
+  ['threadcallgraph_2eh_7081',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
+  ['typeanalysis_2ecpp_7082',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
+  ['typeanalysis_2eh_7083',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]]
 ];