rename CallGraph to PTACallGraph

[Geoffrey1014]

No description provided.

[Geoffrey1014]

--- master.txt 2024-10-22 15:53:48
+++ callgraph.txt 2024-10-22 15:54:21
@@ -31,12 +31,12 @@
VarArrayObj 831
VarStructObj 1664
----------------Time and memory stats--------------------
-LLVMIRTime 4.053
-SVFIRTime 2.564
-SymbolTableTime 0.516
+LLVMIRTime 4.155
+SVFIRTime 2.612
+SymbolTableTime 0.572
#######################################################

-CallGraph Stats (Andersen analysis)******
+PTACallGraph Stats (Andersen analysis)******
################ (program : redis-server.bc)###############
----------------Numbers stats----------------------------
CalRetPairInCycle 46427
\ No newline at end of file
@@ -60,11 +60,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.1645e+06
-MemoryUsageVmsize 4.16455e+06
+MemoryUsageVmrss 4.16464e+06
+MemoryUsageVmsize 4.16453e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 124.637
+TotalTime 124.346
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17887
\ No newline at end of file
@@ -115,32 +115,32 @@
Persistent Points-To Cache Statistics: Andersen's analysis bitvector
################ (program : redis-server.bc)###############
UniquePointsToSets 44837
-TotalUnions 673060
+TotalUnions 673055
PropertyUnions 222658
UniqueUnions 19260
LookupUnions 395148
-PreemptiveUnions 35994
+PreemptiveUnions 35989
TotalComplements 3364152
PropertyComplements 2998574
UniqueComplements 16887
LookupComplements 331806
PreemptiveComplements 16885
-TotalIntersections 4182811
-PropertyIntersections 4145489
-UniqueIntersections 838
-LookupIntersections 2187
-PreemptiveIntersections 34297
+TotalIntersections 4182806
+PropertyIntersections 4145524
+UniqueIntersections 845
+LookupIntersections 2145
+PreemptiveIntersections 34292
#######################################################

Memory SSA Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 85.0301
-GenMUCHITime 2.031
-GenRegionTime 506.326
-InsertPHITime 0.578
-SSARenameTime 0.132
-TotalMSSATime 509.082
+GenMUCHITime 1.816
+GenRegionTime 524.738
+InsertPHITime 0.542
+SSARenameTime 0.091
+TotalMSSATime 527.2
----------------Numbers stats----------------------------
BBHasMSSAPhi 10755
CSChiNode 112337
\ No newline at end of file
@@ -163,13 +163,13 @@
SVFG Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 1.035
+ATNodeTime 0.89
AvgWeight 166.005
ConnDirEdgeTime 0
-ConnIndEdgeTime 5.223
+ConnIndEdgeTime 4.483
OptTime 0
TLNodeTime 0
-TotalTime 6.258
+TotalTime 5.373
----------------Numbers stats----------------------------
ActualIn 164766
ActualOut 112337
\ No newline at end of file
@@ -205,7 +205,7 @@
TotalNode 632140
#######################################################

-CallGraph Stats (Flow-sensitive analysis)******
+PTACallGraph Stats (Flow-sensitive analysis)******
################ (program : redis-server.bc)###############
----------------Numbers stats----------------------------
CalRetPairInCycle 34606
\ No newline at end of file
@@ -231,20 +231,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 3.57937e+06
-MemoryUsageVmsize 3.61623e+06
+MemoryUsageVmrss 3.58356e+06
+MemoryUsageVmsize 3.61526e+06
PhiTime 0
-PrelabelingTime 0.145
+PrelabelingTime 0.133
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 419.152
+SolveTime 421.032
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 653.525
+TotalTime 653.882
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 230.988
+meldLabelingTime 229.513
----------------Numbers stats----------------------------
CopysNum 14138
DummyFieldPtrs 2305
\ No newline at end of file
@@ -262,13 +262,13 @@
Pointers 494739
ProcessedAParam 0
ProcessedAddr 107322
-ProcessedCopy 164178
+ProcessedCopy 163003
ProcessedFRet 0
-ProcessedGep 873868
-ProcessedLoad 902726
+ProcessedGep 867194
+ProcessedLoad 889823
ProcessedMSSANode 2318016
-ProcessedPhi 104881
-ProcessedStore 327070
+ProcessedPhi 104781
+ProcessedStore 324761
SolveIterations 6
StoresNum 24164
StrongUpdates 3378
\ No newline at end of file
@@ -283,12 +283,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : redis-server.bc)###############
-UniquePointsToSets 29693
-TotalUnions 1181848442
-PropertyUnions 1021785949
-UniqueUnions 38333
-LookupUnions 159972603
-PreemptiveUnions 51557
+UniquePointsToSets 29590
+TotalUnions 1175183295
+PropertyUnions 1010044933
+UniqueUnions 38211
+LookupUnions 165048736
+PreemptiveUnions 51415
TotalComplements 0
PropertyComplements 0
UniqueComplements 0
\ No newline at end of file