add value back for heap/stack/fun

[jumormt]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.04%. Comparing base (4bf4806) to head (dab000b).
Report is 3 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1611      +/-   ##
==========================================
- Coverage   63.05%   63.04%   -0.01%     
==========================================
  Files         246      246              
  Lines       27472    27472              
  Branches     4535     4535              
==========================================
- Hits        17322    17321       -1     
- Misses      10150    10151       +1     

Files with missing lines	Coverage Δ
svf/lib/SVFIR/SVFVariables.cpp	47.29% <100.00%> (ø)

... and 1 file with indirect coverage changes

[jumormt]

--- master.txt 2024-12-18 20:10:18.000000000 +1100
+++ xiao.txt 2024-12-18 20:10:26.000000000 +1100
@@ -1,3 +1,5 @@
+isIRFile: ./home/561/xc8206/ey69/dataset/projectbc/llvm16/redis-server.bc: error: Could not open input file: No such file or directory
+not an IR file: ./home/561/xc8206/ey69/dataset/projectbc/llvm16/redis-server.bc

General Stats******
################ (program : redis-server.bc)###############
@@ -31,9 +33,9 @@
VarArrayObj 831
VarStructObj 1664
----------------Time and memory stats--------------------
-LLVMIRTime 6.924
-SVFIRTime 3.353
-SymbolTableTime 0.696
+LLVMIRTime 6.851
+SVFIRTime 3.314
+SymbolTableTime 0.688
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -60,11 +62,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 3.71012e+06
-MemoryUsageVmsize 3.70985e+06
+MemoryUsageVmrss 3.70999e+06
+MemoryUsageVmsize 3.70984e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 186.912
+TotalTime 184.816
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17887
@@ -115,32 +117,32 @@
Persistent Points-To Cache Statistics: Andersen's analysis bitvector
################ (program : redis-server.bc)###############
UniquePointsToSets 44837
-TotalUnions 673049
+TotalUnions 673042
PropertyUnions 222658
-UniqueUnions 19260
-LookupUnions 395148
-PreemptiveUnions 35983
+UniqueUnions 19263
+LookupUnions 395145
+PreemptiveUnions 35976
TotalComplements 3364152
PropertyComplements 2998574
UniqueComplements 16887
LookupComplements 331806
PreemptiveComplements 16885
-TotalIntersections 4182800
-PropertyIntersections 4145529
-UniqueIntersections 832
-LookupIntersections 2153
-PreemptiveIntersections 34286
+TotalIntersections 4182790
+PropertyIntersections 4145557
+UniqueIntersections 821
+LookupIntersections 2136
+PreemptiveIntersections 34276
#######################################################

Memory SSA Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 84.9601
-GenMUCHITime 4.065
-GenRegionTime 1762.38
-InsertPHITime 1.22
-SSARenameTime 0.144
-TotalMSSATime 1767.82
+GenMUCHITime 4.032
+GenRegionTime 1507.43
+InsertPHITime 1.249
+SSARenameTime 0.146
+TotalMSSATime 1512.87
----------------Numbers stats----------------------------
BBHasMSSAPhi 10755
CSChiNode 112776
@@ -163,13 +165,13 @@
SVFG Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 1.232
+ATNodeTime 1.183
AvgWeight 165.383
ConnDirEdgeTime 0
-ConnIndEdgeTime 6.006
+ConnIndEdgeTime 5.917
OptTime 0
TLNodeTime 0
-TotalTime 7.238
+TotalTime 7.1
----------------Numbers stats----------------------------
ActualIn 165438
ActualOut 112776
@@ -231,20 +233,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 3.62135e+06
-MemoryUsageVmsize 3.67434e+06
+MemoryUsageVmrss 3.60816e+06
+MemoryUsageVmsize 3.66547e+06
PhiTime 0
-PrelabelingTime 0.298
+PrelabelingTime 0.279
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 1421.84
+SolveTime 1231.36
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 1943.14
+TotalTime 1948.16
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 510.182
+meldLabelingTime 461.736
----------------Numbers stats----------------------------
CopysNum 14138
DummyFieldPtrs 2305
@@ -262,13 +264,13 @@
Pointers 494739
ProcessedAParam 0
ProcessedAddr 107322
-ProcessedCopy 162708
+ProcessedCopy 157925
ProcessedFRet 0
-ProcessedGep 869849
-ProcessedLoad 870224
+ProcessedGep 855042
+ProcessedLoad 834019
ProcessedMSSANode 2327202
-ProcessedPhi 104765
-ProcessedStore 320835
+ProcessedPhi 101075
+ProcessedStore 314382
SolveIterations 6
StoresNum 24164
StrongUpdates 3378
@@ -283,12 +285,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : redis-server.bc)###############
-UniquePointsToSets 29387
-TotalUnions 1172444938
-PropertyUnions 1019280312
-UniqueUnions 36539
-LookupUnions 153078690
-PreemptiveUnions 49397
+UniquePointsToSets 29196
+TotalUnions 1097102465
+PropertyUnions 952041557
+UniqueUnions 36147
+LookupUnions 144975866
+PreemptiveUnions 48895
TotalComplements 0
PropertyComplements 0
UniqueComplements 0