remove callsite in icfgnode

[jumormt]

No description provided.

[jumormt]

--- log/redis-server.log 2024-10-09 12:25:19.015591272 +1100
+++ log/redis-server-xiao.log 2024-10-09 12:24:34.124088418 +1100
@@ -31,9 +31,9 @@
VarArrayObj 831
VarStructObj 1664
----------------Time and memory stats--------------------
-LLVMIRTime 3.244
-SVFIRTime 3.643
-SymbolTableTime 0.538
+LLVMIRTime 3.381
+SVFIRTime 3.675
+SymbolTableTime 0.576
#######################################################

CallGraph Stats (Andersen analysis)******
@@ -60,11 +60,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.16048e+06
-MemoryUsageVmsize 4.16008e+06
+MemoryUsageVmrss 4.1602e+06
+MemoryUsageVmsize 4.1601e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 135.305
+TotalTime 131.906
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17887
@@ -115,32 +115,32 @@
Persistent Points-To Cache Statistics: Andersen's analysis bitvector
################ (program : redis-server.bc)###############
UniquePointsToSets 44837
-TotalUnions 673055
+TotalUnions 673058
PropertyUnions 222658
UniqueUnions 19260
LookupUnions 395148
-PreemptiveUnions 35989
+PreemptiveUnions 35992
TotalComplements 3364152
PropertyComplements 2998574
UniqueComplements 16887
LookupComplements 331806
PreemptiveComplements 16885
-TotalIntersections 4182806
-PropertyIntersections 4145512
-UniqueIntersections 843
-LookupIntersections 2159
-PreemptiveIntersections 34292
+TotalIntersections 4182809
+PropertyIntersections 4145465
+UniqueIntersections 853
+LookupIntersections 2196
+PreemptiveIntersections 34295
#######################################################

Memory SSA Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 85.0301
-GenMUCHITime 1.927
-GenRegionTime 490.234
-InsertPHITime 0.608
-SSARenameTime 0.076
-TotalMSSATime 492.849
+GenMUCHITime 1.936
+GenRegionTime 468.264
+InsertPHITime 0.588
+SSARenameTime 0.078
+TotalMSSATime 470.869
----------------Numbers stats----------------------------
BBHasMSSAPhi 10755
CSChiNode 112337
@@ -163,13 +163,13 @@
SVFG Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 0.86
+ATNodeTime 0.873
AvgWeight 166.005
ConnDirEdgeTime 0
-ConnIndEdgeTime 4.449
+ConnIndEdgeTime 4.47
OptTime 0
TLNodeTime 0
-TotalTime 5.309
+TotalTime 5.343
----------------Numbers stats----------------------------
ActualIn 164766
ActualOut 112337
@@ -231,20 +231,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 3.57706e+06
-MemoryUsageVmsize 3.61148e+06
+MemoryUsageVmrss 3.57284e+06
+MemoryUsageVmsize 3.6099e+06
PhiTime 0
-PrelabelingTime 0.147
+PrelabelingTime 0.148
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 491.695
+SolveTime 468.493
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 702.6
+TotalTime 682.214
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 207.527
+meldLabelingTime 210.191
----------------Numbers stats----------------------------
CopysNum 14138
DummyFieldPtrs 2305
@@ -262,13 +262,13 @@
Pointers 494739
ProcessedAParam 0
ProcessedAddr 107322
-ProcessedCopy 162624
+ProcessedCopy 160525
ProcessedFRet 0
-ProcessedGep 862584
-ProcessedLoad 898184
+ProcessedGep 862536
+ProcessedLoad 871363
ProcessedMSSANode 2318016
-ProcessedPhi 104196
-ProcessedStore 324765
+ProcessedPhi 103892
+ProcessedStore 322153
SolveIterations 6
StoresNum 24164
StrongUpdates 3378
@@ -283,12 +283,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : redis-server.bc)###############
-UniquePointsToSets 29472
-TotalUnions 1181570610
-PropertyUnions 1024525552
-UniqueUnions 37778
-LookupUnions 156956435
-PreemptiveUnions 50845
+UniquePointsToSets 29354
+TotalUnions 1137072713
+PropertyUnions 982937604
+UniqueUnions 36538
+LookupUnions 154049163
+PreemptiveUnions 49408
TotalComplements 0
PropertyComplements 0
UniqueComplements 0

[jumormt]

--- log/tmux.log 2024-10-09 12:01:55.187158851 +1100
+++ log/tmux-xiao.log 2024-10-09 12:02:03.719064120 +1100
@@ -31,9 +31,9 @@
VarArrayObj 136
VarStructObj 530
----------------Time and memory stats--------------------
-LLVMIRTime 1.204
-SVFIRTime 1.233
-SymbolTableTime 0.175
+LLVMIRTime 1.207
+SVFIRTime 1.229
+SymbolTableTime 0.18
#######################################################

CallGraph Stats (Andersen analysis)******
@@ -60,11 +60,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 807424
+MemoryUsageVmrss 807312
MemoryUsageVmsize 807268
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 22.497
+TotalTime 22.175
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 8758
@@ -117,30 +117,30 @@
UniquePointsToSets 22017
TotalUnions 361119
PropertyUnions 165095
-UniqueUnions 10226
-LookupUnions 166520
+UniqueUnions 10229
+LookupUnions 166517
PreemptiveUnions 19278
TotalComplements 1355848
PropertyComplements 1204909
UniqueComplements 8126
LookupComplements 134687
PreemptiveComplements 8126
-TotalIntersections 418262
-PropertyIntersections 401893
-UniqueIntersections 34
-LookupIntersections 61
-PreemptiveIntersections 16274
+TotalIntersections 418259
+PropertyIntersections 401916
+UniqueIntersections 31
+LookupIntersections 41
+PreemptiveIntersections 16271
#######################################################

Memory SSA Statistics******
################ (program : tmux.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 23.8604
-GenMUCHITime 0.333
-GenRegionTime 12.88
-InsertPHITime 0.113
-SSARenameTime 0.044
-TotalMSSATime 13.371
+GenMUCHITime 0.348
+GenRegionTime 12.303
+InsertPHITime 0.103
+SSARenameTime 0.027
+TotalMSSATime 12.782
----------------Numbers stats----------------------------
BBHasMSSAPhi 4505
CSChiNode 23187
@@ -163,13 +163,13 @@
SVFG Statistics******
################ (program : tmux.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 0.195
+ATNodeTime 0.181
AvgWeight 62.6074
ConnDirEdgeTime 0
-ConnIndEdgeTime 0.829
+ConnIndEdgeTime 0.823
OptTime 0
TLNodeTime 0
-TotalTime 1.024
+TotalTime 1.004
----------------Numbers stats----------------------------
ActualIn 40835
ActualOut 23187
@@ -231,20 +231,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 921212
-MemoryUsageVmsize 949244
+MemoryUsageVmrss 923632
+MemoryUsageVmsize 951480
PhiTime 0
-PrelabelingTime 0.051
+PrelabelingTime 0.049
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 98.965
+SolveTime 101.71
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 120.511
+TotalTime 125.642
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 20.729
+meldLabelingTime 23.088
----------------Numbers stats----------------------------
CopysNum 3941
DummyFieldPtrs 779
@@ -262,13 +262,13 @@
Pointers 179183
ProcessedAParam 0
ProcessedAddr 35032
-ProcessedCopy 32602
+ProcessedCopy 33414
ProcessedFRet 0
-ProcessedGep 417856
-ProcessedLoad 464141
+ProcessedGep 426867
+ProcessedLoad 454761
ProcessedMSSANode 421536
-ProcessedPhi 114407
-ProcessedStore 234569
+ProcessedPhi 116648
+ProcessedStore 229018
SolveIterations 4
StoresNum 10758
StrongUpdates 1193
@@ -283,12 +283,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : tmux.bc)###############
-UniquePointsToSets 17843
-TotalUnions 248051408
-PropertyUnions 188191214
-UniqueUnions 37521
-LookupUnions 59775121
-PreemptiveUnions 47552
+UniquePointsToSets 17950
+TotalUnions 246364466
+PropertyUnions 184438000
+UniqueUnions 37624
+LookupUnions 61841070
+PreemptiveUnions 47772
TotalComplements 0
PropertyComplements 0
UniqueComplements 0
@@ -300,4 +300,3 @@
LookupIntersections 0
PreemptiveIntersections 0
#######################################################
-#