8000 refactor: change the value type in FunToExitBBMap from svfbb to bb to simplify code by jumormt · Pull Request #1677 · SVF-tools/SVF · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

refactor: change the value type in FunToExitBBMap from svfbb to bb to simplify code #1677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Mar 18, 2025
Merged

refactor: change the value type in FunToExitBBMap from svfbb to bb to simplify code #1677

merged 1 commit into from
Mar 18, 2025

Conversation

jumormt
Copy link
Contributor
@jumormt jumormt commented Mar 18, 2025

No description provided.

@jumormt
Copy link
Contributor Author
jumormt commented Mar 18, 2025

--- log/redis-server.log 2025-03-18 15:38:22.393673080 +1100
+++ log/redis-server-xiao.log 2025-03-18 15:36:40.466684421 +1100
@@ -31,9 +31,9 @@
VarArrayObj 831
VarStructObj 1663
----------------Time and memory stats--------------------
-LLVMIRTime 2.178
-SVFIRTime 4.434
-SymbolTableTime 0.331
+LLVMIRTime 2.212
+SVFIRTime 4.436
+SymbolTableTime 0.333
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -60,11 +60,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.21436e+06
-MemoryUsageVmsize 4.21404e+06
+MemoryUsageVmrss 4.21428e+06
+MemoryUsageVmsize 4.2141e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 132.384
+TotalTime 131.527
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17879
@@ -136,11 +136,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.21516e+06
-MemoryUsageVmsize 4.21483e+06
+MemoryUsageVmrss 4.21507e+06
+MemoryUsageVmsize 4.2149e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 138.048
+TotalTime 137.148
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17879
@@ -191,32 +191,32 @@
Persistent Points-To Cache Statistics: Andersen's analysis bitvector
################ (program : redis-server.bc)###############
UniquePointsToSets 44536
-TotalUnions 648211
+TotalUnions 648216
PropertyUnions 246317
-UniqueUnions 18812
-LookupUnions 347873
-PreemptiveUnions 35209
+UniqueUnions 18815
+LookupUnions 347870
+PreemptiveUnions 35214
TotalComplements 3696756
PropertyComplements 3373118
UniqueComplements 16540
LookupComplements 290560
PreemptiveComplements 16538
-TotalIntersections 4296577
-PropertyIntersections 4259940
-UniqueIntersections 792
-LookupIntersections 2220
-PreemptiveIntersections 33625
+TotalIntersections 4296579
+PropertyIntersections 4259803
+UniqueIntersections 867
+LookupIntersections 2282
+PreemptiveIntersections 33627
#######################################################

Memory SSA Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 76.8129
-GenMUCHITime 2.17
-GenRegionTime 826.175
-InsertPHITime 0.671
-SSARenameTime 0.096
-TotalMSSATime 829.118
+GenMUCHITime 2.171
+GenRegionTime 735.525
+InsertPHITime 0.658
+SSARenameTime 0.092
+TotalMSSATime 738.451
----------------Numbers stats----------------------------
BBHasMSSAPhi 10654
CSChiNode 111779
@@ -239,13 +239,13 @@
SVFG Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 0.897
+ATNodeTime 0.863
AvgWeight 166.315
ConnDirEdgeTime 0
-ConnIndEdgeTime 4.414
+ConnIndEdgeTime 4.351
OptTime 0
TLNodeTime 0
-TotalTime 5.311
+TotalTime 5.214
----------------Numbers stats----------------------------
ActualIn 164209
ActualOut 111779
@@ -307,20 +307,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 3.69755e+06
-MemoryUsageVmsize 3.74373e+06
+MemoryUsageVmrss 3.71839e+06
+MemoryUsageVmsize 3.75777e+06
PhiTime 0
-PrelabelingTime 0.167
+PrelabelingTime 0.175
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 576.386
+SolveTime 566.109
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 811.821
+TotalTime 801.482
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 231.579
+meldLabelingTime 231.485
----------------Numbers stats----------------------------
CopysNum 14138
DummyFieldPtrs 2305
@@ -338,13 +338,13 @@
Pointers 543576
ProcessedAParam 0
ProcessedAddr 89395
-ProcessedCopy 162667
+ProcessedCopy 168943
ProcessedFRet 0
-ProcessedGep 972150
-ProcessedLoad 998228
+ProcessedGep 999772
+ProcessedLoad 1026203
ProcessedMSSANode 1926450
-ProcessedPhi 114069
-ProcessedStore 408358
+ProcessedPhi 117099
+ProcessedStore 414521
SolveIterations 5
StoresNum 26908
StrongUpdates 3382
@@ -359,12 +359,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : redis-server.bc)###############
-UniquePointsToSets 28950
-TotalUnions 1252053293
-PropertyUnions 1102988246
-UniqueUnions 33886
-LookupUnions 148984733
-PreemptiveUnions 46428
+UniquePointsToSets 29445
+TotalUnions 1293904468
+PropertyUnions 1136949979
+UniqueUnions 35329
+LookupUnions 156870874
+PreemptiveUnions 48286
TotalComplements 0
PropertyComplements 0
UniqueComplements 0

@codecov Codecov
Copy link
codecov bot commented Mar 18, 2025 •
edited
Loading

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.66%. Comparing base (e4d6e54) to head (0edd03f).
Report is 2 commits behind head on master.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1677      +/-   ##
==========================================
+ Coverage   63.64%   63.66%   +0.01%     
==========================================
  Files         244      244              
  Lines       25722    25730       +8     
  Branches     4502     4507       +5     
==========================================
+ Hits        16372    16380       +8     
  Misses       9350     9350
Files with missing lines Coverage Δ
svf-llvm/include/SVF-LLVM/LLVMModule.h 97.72% <100.00%> (ø)
svf-llvm/lib/LLVMModule.cpp 75.47% <100.00%> (+0.38%) ⬆️
svf-llvm/lib/ObjTypeInference.cpp 95.10% <100.00%> (ø)
svf-llvm/lib/SVFIRBuilder.cpp 86.79% <ø> (-0.05%) ⬇️

... and 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@yuleisui yuleisui merged commit 21f88d6 into SVF-tools:master Mar 18, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jumormt @yuleisui
0