svf-tools 1.0.837 → 1.0.839

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['nodeidallocator_2ecpp_7177',['NodeIDAllocator.cpp',['../NodeIDAllocator_8cpp.html',1,'']]],
-  ['nodeidallocator_2eh_7178',['NodeIDAllocator.h',['../NodeIDAllocator_8h.html',1,'']]],
-  ['numericliteral_2eh_7179',['NumericLiteral.h',['../NumericLiteral_8h.html',1,'']]]
+  ['nodeidallocator_2ecpp_7180',['NodeIDAllocator.cpp',['../NodeIDAllocator_8cpp.html',1,'']]],
+  ['nodeidallocator_2eh_7181',['NodeIDAllocator.h',['../NodeIDAllocator_8h.html',1,'']]],
+  ['numericliteral_2eh_7182',['NumericLiteral.h',['../NumericLiteral_8h.html',1,'']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['options_2ecpp_7180',['Options.cpp',['../Options_8cpp.html',1,'']]],
-  ['options_2eh_7181',['Options.h',['../Options_8h.html',1,'']]]
+  ['options_2ecpp_7183',['Options.cpp',['../Options_8cpp.html',1,'']]],
+  ['options_2eh_7184',['Options.h',['../Options_8h.html',1,'']]]
 ];

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

@@ -1,23 +1,23 @@
 var searchData=
 [
-  ['pagbuilderfromfile_2ecpp_7182',['PAGBuilderFromFile.cpp',['../PAGBuilderFromFile_8cpp.html',1,'']]],
-  ['pagbuilderfromfile_2eh_7183',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
-  ['paggrammar_2etxt_7184',['PAGGrammar.txt',['../PAGGrammar_8txt.html',1,'']]],
-  ['pcg_2ecpp_7185',['PCG.cpp',['../PCG_8cpp.html',1,'']]],
-  ['pcg_2eh_7186',['PCG.h',['../PCG_8h.html',1,'']]],
-  ['peggrammar_2etxt_7187',['PEGGrammar.txt',['../PEGGrammar_8txt.html',1,'']]],
-  ['persistentpointstocache_2eh_7188',['PersistentPointsToCache.h',['../PersistentPointsToCache_8h.html',1,'']]],
-  ['persistentpointstods_2eh_7189',['PersistentPointsToDS.h',['../PersistentPointsToDS_8h.html',1,'']]],
-  ['pointeranalysis_2ecpp_7190',['PointerAnalysis.cpp',['../PointerAnalysis_8cpp.html',1,'']]],
-  ['pointeranalysis_2eh_7191',['PointerAnalysis.h',['../PointerAnalysis_8h.html',1,'']]],
-  ['pointeranalysisimpl_2ecpp_7192',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
-  ['pointeranalysisimpl_2eh_7193',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
-  ['pointsto_2ecpp_7194',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
-  ['pointsto_2eh_7195',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
-  ['progslice_2ecpp_7196',['ProgSlice.cpp',['../ProgSlice_8cpp.html',1,'']]],
-  ['progslice_2eh_7197',['ProgSlice.h',['../ProgSlice_8h.html',1,'']]],
-  ['ptacallgraph_2ecpp_7198',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
-  ['ptacallgraph_2eh_7199',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
-  ['ptastat_2ecpp_7200',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
-  ['ptastat_2eh_7201',['PTAStat.h',['../PTAStat_8h.html',1,'']]]
+  ['pagbuilderfromfile_2ecpp_7185',['PAGBuilderFromFile.cpp',['../PAGBuilderFromFile_8cpp.html',1,'']]],
+  ['pagbuilderfromfile_2eh_7186',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
+  ['paggrammar_2etxt_7187',['PAGGrammar.txt',['../PAGGrammar_8txt.html',1,'']]],
+  ['pcg_2ecpp_7188',['PCG.cpp',['../PCG_8cpp.html',1,'']]],
+  ['pcg_2eh_7189',['PCG.h',['../PCG_8h.html',1,'']]],
+  ['peggrammar_2etxt_7190',['PEGGrammar.txt',['../PEGGrammar_8txt.html',1,'']]],
+  ['persistentpointstocache_2eh_7191',['PersistentPointsToCache.h',['../PersistentPointsToCache_8h.html',1,'']]],
+  ['persistentpointstods_2eh_7192',['PersistentPointsToDS.h',['../PersistentPointsToDS_8h.html',1,'']]],
+  ['pointeranalysis_2ecpp_7193',['PointerAnalysis.cpp',['../PointerAnalysis_8cpp.html',1,'']]],
+  ['pointeranalysis_2eh_7194',['PointerAnalysis.h',['../PointerAnalysis_8h.html',1,'']]],
+  ['pointeranalysisimpl_2ecpp_7195',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
+  ['pointeranalysisimpl_2eh_7196',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
+  ['pointsto_2ecpp_7197',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
+  ['pointsto_2eh_7198',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
+  ['progslice_2ecpp_7199',['ProgSlice.cpp',['../ProgSlice_8cpp.html',1,'']]],
+  ['progslice_2eh_7200',['ProgSlice.h',['../ProgSlice_8h.html',1,'']]],
+  ['ptacallgraph_2ecpp_7201',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
+  ['ptacallgraph_2eh_7202',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
+  ['ptastat_2ecpp_7203',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
+  ['ptastat_2eh_7204',['PTAStat.h',['../PTAStat_8h.html',1,'']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['relationsolver_2ecpp_7202',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
-  ['relationsolver_2eh_7203',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
-  ['relexestate_2ecpp_7204',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
-  ['relexestate_2eh_7205',['RelExeState.h',['../RelExeState_8h.html',1,'']]]
+  ['relationsolver_2ecpp_7205',['RelationSolver.cpp',['../RelationSolver_8cpp.html',1,'']]],
+  ['relationsolver_2eh_7206',['RelationSolver.h',['../RelationSolver_8h.html',1,'']]],
+  ['relexestate_2ecpp_7207',['RelExeState.cpp',['../RelExeState_8cpp.html',1,'']]],
+  ['relexestate_2eh_7208',['RelExeState.h',['../RelExeState_8h.html',1,'']]]
 ];

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

@@ -1,65 +1,65 @@
 var searchData=
 [
-  ['saber_2ecpp_7206',['saber.cpp',['../saber_8cpp.html',1,'']]],
-  ['sabercheckerapi_2ecpp_7207',['SaberCheckerAPI.cpp',['../SaberCheckerAPI_8cpp.html',1,'']]],
-  ['sabercheckerapi_2eh_7208',['SaberCheckerAPI.h',['../SaberCheckerAPI_8h.html',1,'']]],
-  ['sabercondallocator_2ecpp_7209',['SaberCondAllocator.cpp',['../SaberCondAllocator_8cpp.html',1,'']]],
-  ['sabercondallocator_2eh_7210',['SaberCondAllocator.h',['../SaberCondAllocator_8h.html',1,'']]],
-  ['sabersvfgbuilder_2ecpp_7211',['SaberSVFGBuilder.cpp',['../SaberSVFGBuilder_8cpp.html',1,'']]],
-  ['sabersvfgbuilder_2eh_7212',['SaberSVFGBuilder.h',['../SaberSVFGBuilder_8h.html',1,'']]],
-  ['scc_2eh_7213',['SCC.h',['../SCC_8h.html',1,'']]],
-  ['singleabsvalue_2eh_7214',['SingleAbsValue.h',['../SingleAbsValue_8h.html',1,'']]],
-  ['sparsebitvector_2eh_7215',['SparseBitVector.h',['../SparseBitVector_8h.html',1,'']]],
-  ['srcsnkdda_2ecpp_7216',['SrcSnkDDA.cpp',['../SrcSnkDDA_8cpp.html',1,'']]],
-  ['srcsnkdda_2eh_7217',['SrcSnkDDA.h',['../SrcSnkDDA_8h.html',1,'']]],
-  ['srcsnksolver_2eh_7218',['SrcSnkSolver.h',['../SrcSnkSolver_8h.html',1,'']]],
-  ['steensgaard_2ecpp_7219',['Steensgaard.cpp',['../Steensgaard_8cpp.html',1,'']]],
-  ['steensgaard_2eh_7220',['Steensgaard.h',['../Steensgaard_8h.html',1,'']]],
-  ['svf_2dex_2ecpp_7221',['svf-ex.cpp',['../svf-ex_8cpp.html',1,'']]],
-  ['svfbugreport_2ecpp_7222',['SVFBugReport.cpp',['../SVFBugReport_8cpp.html',1,'']]],
-  ['svfbugreport_2eh_7223',['SVFBugReport.h',['../SVFBugReport_8h.html',1,'']]],
-  ['svffilesystem_2ecpp_7224',['SVFFileSystem.cpp',['../SVFFileSystem_8cpp.html',1,'']]],
-  ['svffilesystem_2eh_7225',['SVFFileSystem.h',['../SVFFileSystem_8h.html',1,'']]],
-  ['svfg_2ecpp_7226',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
-  ['svfg_2eh_7227',['SVFG.h',['../SVFG_8h.html',1,'']]],
-  ['svfgbuilder_2ecpp_7228',['SVFGBuilder.cpp',['../SVFGBuilder_8cpp.html',1,'']]],
-  ['svfgbuilder_2eh_7229',['SVFGBuilder.h',['../SVFGBuilder_8h.html',1,'']]],
-  ['svfgedge_2eh_7230',['SVFGEdge.h',['../SVFGEdge_8h.html',1,'']]],
-  ['svfgnode_2eh_7231',['SVFGNode.h',['../SVFGNode_8h.html',1,'']]],
-  ['svfgopt_2ecpp_7232',['SVFGOPT.cpp',['../SVFGOPT_8cpp.html',1,'']]],
-  ['svfgopt_2eh_7233',['SVFGOPT.h',['../SVFGOPT_8h.html',1,'']]],
-  ['svfgreadwrite_2ecpp_7234',['SVFGReadWrite.cpp',['../SVFGReadWrite_8cpp.html',1,'']]],
-  ['svfgstat_2ecpp_7235',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
-  ['svfgstat_2eh_7236',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
-  ['svfir_2ecpp_7237',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
-  ['svfir_2eh_7238',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
-  ['svfir2consexestate_2ecpp_7239',['SVFIR2ConsExeState.cpp',['../SVFIR2ConsExeState_8cpp.html',1,'']]],
-  ['svfir2consexestate_2eh_7240',['SVFIR2ConsExeState.h',['../SVFIR2ConsExeState_8h.html',1,'']]],
-  ['svfir2itvexestate_2ecpp_7241',['SVFIR2ItvExeState.cpp',['../SVFIR2ItvExeState_8cpp.html',1,'']]],
-  ['svfir2itvexestate_2eh_7242',['SVFIR2ItvExeState.h',['../SVFIR2ItvExeState_8h.html',1,'']]],
-  ['svfir2relation_2ecpp_7243',['SVFIR2Relation.cpp',['../SVFIR2Relation_8cpp.html',1,'']]],
-  ['svfirbuilder_2ecpp_7244',['SVFIRBuilder.cpp',['../SVFIRBuilder_8cpp.html',1,'']]],
-  ['svfirbuilder_2eh_7245',['SVFIRBuilder.h',['../SVFIRBuilder_8h.html',1,'']]],
-  ['svfirextapi_2ecpp_7246',['SVFIRExtAPI.cpp',['../SVFIRExtAPI_8cpp.html',1,'']]],
-  ['svfloop_2eh_7247',['SVFLoop.h',['../SVFLoop_8h.html',1,'']]],
-  ['svfmodule_2ecpp_7248',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
-  ['svfmodule_2eh_7249',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
-  ['svfstat_2ecpp_7250',['SVFStat.cpp',['../SVFStat_8cpp.html',1,'']]],
-  ['svfstat_2eh_7251',['SVFStat.h',['../SVFStat_8h.html',1,'']]],
-  ['svfstatements_2ecpp_7252',['SVFStatements.cpp',['../SVFStatements_8cpp.html',1,'']]],
-  ['svfstatements_2eh_7253',['SVFStatements.h',['../SVFStatements_8h.html',1,'']]],
-  ['svftype_2ecpp_7254',['SVFType.cpp',['../SVFType_8cpp.html',1,'']]],
-  ['svftype_2eh_7255',['SVFType.h',['../SVFType_8h.html',1,'']]],
-  ['svfutil_2ecpp_7256',['SVFUtil.cpp',['../SVFUtil_8cpp.html',1,'']]],
-  ['svfutil_2eh_7257',['SVFUtil.h',['../SVFUtil_8h.html',1,'']]],
-  ['svfvalue_2ecpp_7258',['SVFValue.cpp',['../SVFValue_8cpp.html',1,'']]],
-  ['svfvalue_2eh_7259',['SVFValue.h',['../SVFValue_8h.html',1,'']]],
-  ['svfvariables_2ecpp_7260',['SVFVariables.cpp',['../SVFVariables_8cpp.html',1,'']]],
-  ['svfvariables_2eh_7261',['SVFVariables.h',['../SVFVariables_8h.html',1,'']]],
-  ['symboltablebuilder_2ecpp_7262',['SymbolTableBuilder.cpp',['../SymbolTableBuilder_8cpp.html',1,'']]],
-  ['symboltablebuilder_2eh_7263',['SymbolTableBuilder.h',['../SymbolTableBuilder_8h.html',1,'']]],
-  ['symboltableinfo_2ecpp_7264',['SymbolTableInfo.cpp',['../SymbolTableInfo_8cpp.html',1,'']]],
-  ['symboltableinfo_2eh_7265',['SymbolTableInfo.h',['../SymbolTableInfo_8h.html',1,'']]],
-  ['symstate_2ecpp_7266',['SymState.cpp',['../SymState_8cpp.html',1,'']]],
-  ['symstate_2eh_7267',['SymState.h',['../SymState_8h.html',1,'']]]
+  ['saber_2ecpp_7209',['saber.cpp',['../saber_8cpp.html',1,'']]],
+  ['sabercheckerapi_2ecpp_7210',['SaberCheckerAPI.cpp',['../SaberCheckerAPI_8cpp.html',1,'']]],
+  ['sabercheckerapi_2eh_7211',['SaberCheckerAPI.h',['../SaberCheckerAPI_8h.html',1,'']]],
+  ['sabercondallocator_2ecpp_7212',['SaberCondAllocator.cpp',['../SaberCondAllocator_8cpp.html',1,'']]],
+  ['sabercondallocator_2eh_7213',['SaberCondAllocator.h',['../SaberCondAllocator_8h.html',1,'']]],
+  ['sabersvfgbuilder_2ecpp_7214',['SaberSVFGBuilder.cpp',['../SaberSVFGBuilder_8cpp.html',1,'']]],
+  ['sabersvfgbuilder_2eh_7215',['SaberSVFGBuilder.h',['../SaberSVFGBuilder_8h.html',1,'']]],
+  ['scc_2eh_7216',['SCC.h',['../SCC_8h.html',1,'']]],
+  ['singleabsvalue_2eh_7217',['SingleAbsValue.h',['../SingleAbsValue_8h.html',1,'']]],
+  ['sparsebitvector_2eh_7218',['SparseBitVector.h',['../SparseBitVector_8h.html',1,'']]],
+  ['srcsnkdda_2ecpp_7219',['SrcSnkDDA.cpp',['../SrcSnkDDA_8cpp.html',1,'']]],
+  ['srcsnkdda_2eh_7220',['SrcSnkDDA.h',['../SrcSnkDDA_8h.html',1,'']]],
+  ['srcsnksolver_2eh_7221',['SrcSnkSolver.h',['../SrcSnkSolver_8h.html',1,'']]],
+  ['steensgaard_2ecpp_7222',['Steensgaard.cpp',['../Steensgaard_8cpp.html',1,'']]],
+  ['steensgaard_2eh_7223',['Steensgaard.h',['../Steensgaard_8h.html',1,'']]],
+  ['svf_2dex_2ecpp_7224',['svf-ex.cpp',['../svf-ex_8cpp.html',1,'']]],
+  ['svfbugreport_2ecpp_7225',['SVFBugReport.cpp',['../SVFBugReport_8cpp.html',1,'']]],
+  ['svfbugreport_2eh_7226',['SVFBugReport.h',['../SVFBugReport_8h.html',1,'']]],
+  ['svffilesystem_2ecpp_7227',['SVFFileSystem.cpp',['../SVFFileSystem_8cpp.html',1,'']]],
+  ['svffilesystem_2eh_7228',['SVFFileSystem.h',['../SVFFileSystem_8h.html',1,'']]],
+  ['svfg_2ecpp_7229',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
+  ['svfg_2eh_7230',['SVFG.h',['../SVFG_8h.html',1,'']]],
+  ['svfgbuilder_2ecpp_7231',['SVFGBuilder.cpp',['../SVFGBuilder_8cpp.html',1,'']]],
+  ['svfgbuilder_2eh_7232',['SVFGBuilder.h',['../SVFGBuilder_8h.html',1,'']]],
+  ['svfgedge_2eh_7233',['SVFGEdge.h',['../SVFGEdge_8h.html',1,'']]],
+  ['svfgnode_2eh_7234',['SVFGNode.h',['../SVFGNode_8h.html',1,'']]],
+  ['svfgopt_2ecpp_7235',['SVFGOPT.cpp',['../SVFGOPT_8cpp.html',1,'']]],
+  ['svfgopt_2eh_7236',['SVFGOPT.h',['../SVFGOPT_8h.html',1,'']]],
+  ['svfgreadwrite_2ecpp_7237',['SVFGReadWrite.cpp',['../SVFGReadWrite_8cpp.html',1,'']]],
+  ['svfgstat_2ecpp_7238',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
+  ['svfgstat_2eh_7239',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
+  ['svfir_2ecpp_7240',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
+  ['svfir_2eh_7241',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
+  ['svfir2consexestate_2ecpp_7242',['SVFIR2ConsExeState.cpp',['../SVFIR2ConsExeState_8cpp.html',1,'']]],
+  ['svfir2consexestate_2eh_7243',['SVFIR2ConsExeState.h',['../SVFIR2ConsExeState_8h.html',1,'']]],
+  ['svfir2itvexestate_2ecpp_7244',['SVFIR2ItvExeState.cpp',['../SVFIR2ItvExeState_8cpp.html',1,'']]],
+  ['svfir2itvexestate_2eh_7245',['SVFIR2ItvExeState.h',['../SVFIR2ItvExeState_8h.html',1,'']]],
+  ['svfir2relation_2ecpp_7246',['SVFIR2Relation.cpp',['../SVFIR2Relation_8cpp.html',1,'']]],
+  ['svfirbuilder_2ecpp_7247',['SVFIRBuilder.cpp',['../SVFIRBuilder_8cpp.html',1,'']]],
+  ['svfirbuilder_2eh_7248',['SVFIRBuilder.h',['../SVFIRBuilder_8h.html',1,'']]],
+  ['svfirextapi_2ecpp_7249',['SVFIRExtAPI.cpp',['../SVFIRExtAPI_8cpp.html',1,'']]],
+  ['svfloop_2eh_7250',['SVFLoop.h',['../SVFLoop_8h.html',1,'']]],
+  ['svfmodule_2ecpp_7251',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
+  ['svfmodule_2eh_7252',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
+  ['svfstat_2ecpp_7253',['SVFStat.cpp',['../SVFStat_8cpp.html',1,'']]],
+  ['svfstat_2eh_7254',['SVFStat.h',['../SVFStat_8h.html',1,'']]],
+  ['svfstatements_2ecpp_7255',['SVFStatements.cpp',['../SVFStatements_8cpp.html',1,'']]],
+  ['svfstatements_2eh_7256',['SVFStatements.h',['../SVFStatements_8h.html',1,'']]],
+  ['svftype_2ecpp_7257',['SVFType.cpp',['../SVFType_8cpp.html',1,'']]],
+  ['svftype_2eh_7258',['SVFType.h',['../SVFType_8h.html',1,'']]],
+  ['svfutil_2ecpp_7259',['SVFUtil.cpp',['../SVFUtil_8cpp.html',1,'']]],
+  ['svfutil_2eh_7260',['SVFUtil.h',['../SVFUtil_8h.html',1,'']]],
+  ['svfvalue_2ecpp_7261',['SVFValue.cpp',['../SVFValue_8cpp.html',1,'']]],
+  ['svfvalue_2eh_7262',['SVFValue.h',['../SVFValue_8h.html',1,'']]],
+  ['svfvariables_2ecpp_7263',['SVFVariables.cpp',['../SVFVariables_8cpp.html',1,'']]],
+  ['svfvariables_2eh_7264',['SVFVariables.h',['../SVFVariables_8h.html',1,'']]],
+  ['symboltablebuilder_2ecpp_7265',['SymbolTableBuilder.cpp',['../SymbolTableBuilder_8cpp.html',1,'']]],
+  ['symboltablebuilder_2eh_7266',['SymbolTableBuilder.h',['../SymbolTableBuilder_8h.html',1,'']]],
+  ['symboltableinfo_2ecpp_7267',['SymbolTableInfo.cpp',['../SymbolTableInfo_8cpp.html',1,'']]],
+  ['symboltableinfo_2eh_7268',['SymbolTableInfo.h',['../SymbolTableInfo_8h.html',1,'']]],
+  ['symstate_2ecpp_7269',['SymState.cpp',['../SymState_8cpp.html',1,'']]],
+  ['symstate_2eh_7270',['SymState.h',['../SymState_8h.html',1,'']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['tct_2ecpp_7268',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
-  ['tct_2eh_7269',['TCT.h',['../TCT_8h.html',1,'']]],
-  ['threadapi_2ecpp_7270',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
-  ['threadapi_2eh_7271',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
-  ['threadcallgraph_2ecpp_7272',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
-  ['threadcallgraph_2eh_7273',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
-  ['typeanalysis_2ecpp_7274',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
-  ['typeanalysis_2eh_7275',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]]
+  ['tct_2ecpp_7271',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
+  ['tct_2eh_7272',['TCT.h',['../TCT_8h.html',1,'']]],
+  ['threadapi_2ecpp_7273',['ThreadAPI.cpp',['../ThreadAPI_8cpp.html',1,'']]],
+  ['threadapi_2eh_7274',['ThreadAPI.h',['../ThreadAPI_8h.html',1,'']]],
+  ['threadcallgraph_2ecpp_7275',['ThreadCallGraph.cpp',['../ThreadCallGraph_8cpp.html',1,'']]],
+  ['threadcallgraph_2eh_7276',['ThreadCallGraph.h',['../ThreadCallGraph_8h.html',1,'']]],
+  ['typeanalysis_2ecpp_7277',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
+  ['typeanalysis_2eh_7278',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['_5f_5fattribute_5f_5f_7294',['__attribute__',['../extapi_8c.html#a3a547ecc92598d2d029246dab1630428',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0"))): extapi.c'],['../extapi_8c.html#a0d2d52b60870b500c2b4844a0ee2c90d',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#afdab9dcd0a3e6185c17c11ab0d5fc968',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0*Arg1"))): extapi.c'],['../extapi_8c.html#afc1cad7cb40c599988237bf687c00929',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a1e7f01f19313d2c4c4f9b18a02574c93',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a2053c6691b7c7b2e199d342ac2cbdc54',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1*Arg2"))): extapi.c'],['../extapi_8c.html#a1a9dbf9c1aae63329912afd2c7e2cf4c',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#acdc4a948c527401ff9433498a9757f03',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:Arg2"))): extapi.c'],['../extapi_8c.html#a06951362ddd7447558e892464d726187',1,'__attribute__((annotate("ALLOC_ARG1"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a4a246cca542ae318b758081d5e0b41fe',1,'__attribute__((annotate("ALLOC_ARG2"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a',1,'__attribute__((annotate("MEMSET"), annotate("BUF_CHECK:Arg0, Arg2"))): extapi.c'],['../extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e',1,'__attribute__((annotate("STRCPY"))): extapi.c'],['../extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3',1,'__attribute__((annotate("STRCAT"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
-  ['_5f_5fctype_5fb_5floc_7295',['__ctype_b_loc',['../extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2',1,'extapi.c']]],
-  ['_5f_5fctype_5ftolower_5floc_7296',['__ctype_tolower_loc',['../extapi_8c.html#ab80118dda05e64167867c0a7ee84bec7',1,'extapi.c']]],
-  ['_5f_5fctype_5ftoupper_5floc_7297',['__ctype_toupper_loc',['../extapi_8c.html#a45737a9e57d118eb6f6298e4411e3d3d',1,'extapi.c']]],
-  ['_5f_5fdynamic_5fcast_7298',['__dynamic_cast',['../extapi_8c.html#a92b16d30ba9908c9b2218dad2f2247b3',1,'extapi.c']]],
-  ['_5f_5ferrno_5flocation_7299',['__errno_location',['../extapi_8c.html#af7421234b15b89062853a783279b7885',1,'extapi.c']]],
-  ['_5f_5fh_5ferrno_5flocation_7300',['__h_errno_location',['../extapi_8c.html#a78579ef16de38e7c4d6b6c31662f7741',1,'extapi.c']]],
-  ['_5f_5frawmemchr_7301',['__rawmemchr',['../extapi_8c.html#a1eb5371072d8bf51775205ee35058949',1,'extapi.c']]],
-  ['_5f_5fres_5fstate_7302',['__res_state',['../extapi_8c.html#a74e237127d0382ea86b6d96ebdf81583',1,'extapi.c']]],
-  ['_5f_5fstrchrnull_7303',['__strchrnull',['../extapi_8c.html#a4d41ebdaac1e767baa35d0094eb18874',1,'extapi.c']]],
-  ['_5fznssc1epkcrksaice_7304',['_ZNSsC1EPKcRKSaIcE',['../extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e',1,'extapi.c']]],
-  ['_5fznst7_5f_5fcxx1112basic_5fstringicst11char_5ftraitsicesaiceec1epkcrks3_5f_7305',['_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_',['../extapi_8c.html#a6b628494b34855b545b4d1837ddf5048',1,'extapi.c']]],
-  ['_5fznst8_5f_5fdetail15_5flist_5fnode_5fbase7_5fm_5fhookeps0_5f_7306',['_ZNSt8__detail15_List_node_base7_M_hookEPS0_',['../extapi_8c.html#a8722c08a7fc65863c500bd0f71307382',1,'extapi.c']]]
+  ['_5f_5fattribute_5f_5f_7297',['__attribute__',['../extapi_8c.html#a3a547ecc92598d2d029246dab1630428',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0"))): extapi.c'],['../extapi_8c.html#a0d2d52b60870b500c2b4844a0ee2c90d',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#afdab9dcd0a3e6185c17c11ab0d5fc968',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg0*Arg1"))): extapi.c'],['../extapi_8c.html#afc1cad7cb40c599988237bf687c00929',1,'__attribute__((annotate("ALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a71fa8bd2eab45f458251611d08c1db7c',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a1e7f01f19313d2c4c4f9b18a02574c93',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1"))): extapi.c'],['../extapi_8c.html#a2053c6691b7c7b2e199d342ac2cbdc54',1,'__attribute__((annotate("REALLOC_RET"), annotate("AllocSize:Arg1*Arg2"))): extapi.c'],['../extapi_8c.html#a1a9dbf9c1aae63329912afd2c7e2cf4c',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#acdc4a948c527401ff9433498a9757f03',1,'__attribute__((annotate("ALLOC_ARG0"), annotate("AllocSize:Arg2"))): extapi.c'],['../extapi_8c.html#a06951362ddd7447558e892464d726187',1,'__attribute__((annotate("ALLOC_ARG1"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a4a246cca542ae318b758081d5e0b41fe',1,'__attribute__((annotate("ALLOC_ARG2"), annotate("AllocSize:UNKNOWN"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#a09f0eaec0f51d66148f8b81ea44e9f2a',1,'__attribute__((annotate("MEMSET"), annotate("BUF_CHECK:Arg0, Arg2"))): extapi.c'],['../extapi_8c.html#ac8de243be63b5a590e4921642fd4bf4e',1,'__attribute__((annotate("STRCPY"))): extapi.c'],['../extapi_8c.html#a3510ee3eaec8acfcf3ae0f084bb098c3',1,'__attribute__((annotate("STRCAT"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
+  ['_5f_5fctype_5fb_5floc_7298',['__ctype_b_loc',['../extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2',1,'extapi.c']]],
+  ['_5f_5fctype_5ftolower_5floc_7299',['__ctype_tolower_loc',['../extapi_8c.html#ab80118dda05e64167867c0a7ee84bec7',1,'extapi.c']]],
+  ['_5f_5fctype_5ftoupper_5floc_7300',['__ctype_toupper_loc',['../extapi_8c.html#a45737a9e57d118eb6f6298e4411e3d3d',1,'extapi.c']]],
+  ['_5f_5fdynamic_5fcast_7301',['__dynamic_cast',['../extapi_8c.html#a92b16d30ba9908c9b2218dad2f2247b3',1,'extapi.c']]],
+  ['_5f_5ferrno_5flocation_7302',['__errno_location',['../extapi_8c.html#af7421234b15b89062853a783279b7885',1,'extapi.c']]],
+  ['_5f_5fh_5ferrno_5flocation_7303',['__h_errno_location',['../extapi_8c.html#a78579ef16de38e7c4d6b6c31662f7741',1,'extapi.c']]],
+  ['_5f_5frawmemchr_7304',['__rawmemchr',['../extapi_8c.html#a1eb5371072d8bf51775205ee35058949',1,'extapi.c']]],
+  ['_5f_5fres_5fstate_7305',['__res_state',['../extapi_8c.html#a74e237127d0382ea86b6d96ebdf81583',1,'extapi.c']]],
+  ['_5f_5fstrchrnull_7306',['__strchrnull',['../extapi_8c.html#a4d41ebdaac1e767baa35d0094eb18874',1,'extapi.c']]],
+  ['_5fznssc1epkcrksaice_7307',['_ZNSsC1EPKcRKSaIcE',['../extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e',1,'extapi.c']]],
+  ['_5fznst7_5f_5fcxx1112basic_5fstringicst11char_5ftraitsicesaiceec1epkcrks3_5f_7308',['_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_',['../extapi_8c.html#a6b628494b34855b545b4d1837ddf5048',1,'extapi.c']]],
+  ['_5fznst8_5f_5fdetail15_5flist_5fnode_5fbase7_5fm_5fhookeps0_5f_7309',['_ZNSt8__detail15_List_node_base7_M_hookEPS0_',['../extapi_8c.html#a8722c08a7fc65863c500bd0f71307382',1,'extapi.c']]]
 ];