8000 add param types in svffuntype by jumormt · Pull Request #1673 · SVF-tools/SVF · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

add param types in svffuntype #1673

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 2 commits into from
Mar 3, 2025
Merged

add param types in svffuntype #1673

merged 2 commits into from
Mar 3, 2025

Conversation

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

No description provided.

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

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.64%. Comparing base (c427b12) to head (468ed3e).
Report is 2 commits behind head on master.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1673   +/-   ##
=======================================
  Coverage   63.64%   63.64%           
=======================================
  Files         244      244           
  Lines       25718    25722    +4     
  Branches     4501     4502    +1     
=======================================
+ Hits        16368    16372    +4     
  Misses       9350     9350
Files with missing lines Coverage Δ
svf-llvm/lib/LLVMModule.cpp 75.08% <100.00%> (+0.13%) ⬆️
svf/include/SVFIR/SVFType.h 97.67% <100.00%> (ø)

@yuleisui
Copy link
Collaborator
yuleisui commented Mar 3, 2025

need to post the stats for large programs.

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

--- log/redis-server.log 2025-03-03 15:41:40.797288890 +1100
+++ log/redis-server-xiao.log 2025-03-03 15:40:33.482029448 +1100
@@ -31,9 +31,9 @@
VarArrayObj 831
VarStructObj 1663
----------------Time and memory stats--------------------
-LLVMIRTime 2.247
-SVFIRTime 4.62
-SymbolTableTime 0.335
+LLVMIRTime 2.255
+SVFIRTime 4.632
+SymbolTableTime 0.34
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -60,11 +60,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.21444e+06
-MemoryUsageVmsize 4.21406e+06
+MemoryUsageVmrss 4.21445e+06
+MemoryUsageVmsize 4.21411e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 134.168
+TotalTime 130.318
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17879
@@ -136,11 +136,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.21523e+06
-MemoryUsageVmsize 4.21485e+06
+MemoryUsageVmrss 4.21524e+06
+MemoryUsageVmsize 4.2149e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 139.77
+TotalTime 135.837
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 648212
+TotalUnions 648208
PropertyUnions 246317
-UniqueUnions 18812
-LookupUnions 347873
-PreemptiveUnions 35210
+UniqueUnions 18815
+LookupUnions 347870
+PreemptiveUnions 35206
TotalComplements 3696756
PropertyComplements 3373118
UniqueComplements 16540
LookupComplements 290560
PreemptiveComplements 16538
-TotalIntersections 4296578
-PropertyIntersections 4259916
-UniqueIntersections 817
+TotalIntersections 4296571
+PropertyIntersections 4259948
+UniqueIntersections 785
LookupIntersections 2219
-PreemptiveIntersections 33626
+PreemptiveIntersections 33619
#######################################################

Memory SSA Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 76.8129
-GenMUCHITime 2.193
-GenRegionTime 845.475
-InsertPHITime 0.655
-SSARenameTime 0.091
-TotalMSSATime 848.42
+GenMUCHITime 2.182
+GenRegionTime 793.308
+InsertPHITime 0.657
+SSARenameTime 0.094
+TotalMSSATime 796.247
----------------Numbers stats----------------------------
BBHasMSSAPhi 10654
CSChiNode 111779
@@ -239,13 +239,13 @@
SVFG Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 0.898
+ATNodeTime 0.875
AvgWeight 166.315
ConnDirEdgeTime 0
-ConnIndEdgeTime 4.403
+ConnIndEdgeTime 4.362
OptTime 0
TLNodeTime 0
-TotalTime 5.301
+TotalTime 5.237
----------------Numbers stats----------------------------
ActualIn 164209
ActualOut 111779
@@ -307,20 +307,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 3.69898e+06
-MemoryUsageVmsize 3.74528e+06
+MemoryUsageVmrss 3.71647e+06
+MemoryUsageVmsize 3.75864e+06
PhiTime 0
-PrelabelingTime 0.169
+PrelabelingTime 0.176
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 570.465
+SolveTime 562.976
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 818.187
+TotalTime 806.871
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 243.778
+meldLabelingTime 239.993
----------------Numbers stats----------------------------
CopysNum 14138
DummyFieldPtrs 2305
@@ -338,13 +338,13 @@
Pointers 543576
ProcessedAParam 0
ProcessedAddr 89395
-ProcessedCopy 162265
+ProcessedCopy 169251
ProcessedFRet 0
-ProcessedGep 975817
-ProcessedLoad 1006575
+ProcessedGep 1003172
+ProcessedLoad 1013987
ProcessedMSSANode 1926450
-ProcessedPhi 113445
-ProcessedStore 409103
+ProcessedPhi 117486
+ProcessedStore 413519
SolveIterations 5
StoresNum 26908
StrongUpdates 3382
@@ -359,12 +359,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : redis-server.bc)###############
-UniquePointsToSets 29000
-TotalUnions 1260113179
-PropertyUnions 1108105845
-UniqueUnions 34132
-LookupUnions 151926436
-PreemptiveUnions 46766
+UniquePointsToSets 29466
+TotalUnions 1268818254
+PropertyUnions 1113400254
+UniqueUnions 35351
+LookupUnions 155334379
+PreemptiveUnions 48270
TotalComplements 0
PropertyComplements 0
UniqueComplements 0

@yuleisui yuleisui merged commit a3b6a23 into SVF-tools:master Mar 3, 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