8000 remove svffunction by jumormt · Pull Request #1671 · SVF-tools/SVF · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
8000

remove svffunction #1671

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

remove svffunction #1671

merged 4 commits into from
Mar 3, 2025

Conversation

jumormt
Copy link
Contributor
@jumormt jumormt commented Feb 25, 2025

No description provided.

@codecov Codecov
Copy link
codecov bot commented Feb 25, 2025 •
edited
Loading

Codecov Report

Attention: Patch coverage is 83.33333% with 42 lines in your changes missing coverage. Please review.

Project coverage is 63.64%. Comparing base (b661b1c) to head (4540a47).
Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
svf-llvm/lib/SVFIRBuilder.cpp 86.86% 18 Missing ⚠️
svf-llvm/lib/LLVMModule.cpp 63.15% 14 Missing ⚠️
svf-llvm/lib/DCHG.cpp 0.00% 3 Missing ⚠️
svf-llvm/lib/LLVMUtil.cpp 80.00% 2 Missing ⚠️
svf/lib/SVFIR/SVFValue.cpp 0.00% 2 Missing ⚠️
svf-llvm/include/SVF-LLVM/LLVMModule.h 90.90% 1 Missing ⚠️
svf-llvm/lib/SVFIRExtAPI.cpp 94.73% 1 Missing ⚠️
svf-llvm/lib/SymbolTableBuilder.cpp 88.88% 1 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1671      +/-   ##
==========================================
- Coverage   63.91%   63.64%   -0.28%     
==========================================
  Files         248      244       -4     
  Lines       26003    25718     -285     
  Branches     4528     4501      -27     
==========================================
- Hits        16621    16368     -253     
+ Misses       9382     9350      -32
Files with missing lines Coverage Δ
svf-llvm/include/SVF-LLVM/BreakConstantExpr.h 33.33% <ø> (ø)
svf-llvm/include/SVF-LLVM/CppUtil.h 100.00% <ø> (ø)
svf-llvm/include/SVF-LLVM/DCHG.h 0.00% <ø> (ø)
svf-llvm/include/SVF-LLVM/LLVMUtil.h 76.27% <ø> (ø)
svf-llvm/include/SVF-LLVM/ObjTypeInference.h 100.00% <ø> (ø)
svf-llvm/include/SVF-LLVM/SVFIRBuilder.h 90.32% <100.00%> (-0.31%) ⬇️
svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h 100.00% <ø> (ø)
svf-llvm/lib/BreakConstantExpr.cpp 85.10% <ø> (ø)
svf-llvm/lib/CHGBuilder.cpp 84.17% <100.00%> (ø)
svf-llvm/lib/ICFGBuilder.cpp 100.00% <100.00%> (ø)
... and 27 more

... and 3 files with indirect coverage changes

@jumormt
Copy link
Contributor Author
jumormt commented Feb 26, 2025

--- log/redis-server.log 2025-02-26 14:00:05.015617720 +1100
+++ log/redis-server-xiao.log 2025-02-26 13:58:45.516495229 +1100
@@ -31,9 +31,9 @@
VarArrayObj 831
VarStructObj 1663
----------------Time and memory stats--------------------
-LLVMIRTime 3.19
-SVFIRTime 5.356
-SymbolTableTime 0.596
+LLVMIRTime 2.866
+SVFIRTime 4.653
+SymbolTableTime 0.552
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -60,11 +60,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.21423e+06
-MemoryUsageVmsize 4.2141e+06
+MemoryUsageVmrss 4.21437e+06
+MemoryUsageVmsize 4.21413e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 126.856
+TotalTime 125.134
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17879
@@ -136,11 +136,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.21502e+06
-MemoryUsageVmsize 4.21489e+06
+MemoryUsageVmrss 4.21516e+06
+MemoryUsageVmsize 4.21492e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 132.309
+TotalTime 130.567
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 648201
+TotalUnions 648211
PropertyUnions 246317
-UniqueUnions 18813
-LookupUnions 347872
-PreemptiveUnions 35199
+UniqueUnions 18812
+LookupUnions 347873
+PreemptiveUnions 35209
TotalComplements 3696756
PropertyComplements 3373118
UniqueComplements 16540
LookupComplements 290560
PreemptiveComplements 16538
-TotalIntersections 4296566
-PropertyIntersections 4259885
-UniqueIntersections 851
-LookupIntersections 2216
-PreemptiveIntersections 33614
+TotalIntersections 4296577
+PropertyIntersections 4259938
+UniqueIntersections 792
+LookupIntersections 2222
+PreemptiveIntersections 33625
#######################################################

Memory SSA Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 76.8129
-GenMUCHITime 2.177
-GenRegionTime 692.405
-InsertPHITime 0.646
-SSARenameTime 0.128
-TotalMSSATime 695.367
+GenMUCHITime 2.158
+GenRegionTime 675.783
+InsertPHITime 0.639
+SSARenameTime 0.096
+TotalMSSATime 678.684
----------------Numbers stats----------------------------
BBHasMSSAPhi 10654
CSChiNode 111779
@@ -239,13 +239,13 @@
SVFG Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 0.883
+ATNodeTime 0.858
AvgWeight 166.315
ConnDirEdgeTime 0
-ConnIndEdgeTime 4.363
+ConnIndEdgeTime 4.325
OptTime 0
TLNodeTime 0
-TotalTime 5.246
+TotalTime 5.183
----------------Numbers stats----------------------------
ActualIn 164209
ActualOut 111779
@@ -307,20 +307,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 3.70601e+06
-MemoryUsageVmsize 3.7491e+06
+MemoryUsageVmrss 3.7075e+06
+MemoryUsageVmsize 3.74368e+06
PhiTime 0
-PrelabelingTime 0.168
+PrelabelingTime 0.175
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 539.793
+SolveTime 486.117
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 768.31
+TotalTime 708.401
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 224.615
+meldLabelingTime 218.428
----------------Numbers stats----------------------------
CopysNum 14138
DummyFieldPtrs 2305
@@ -338,13 +338,13 @@
Pointers 543576
ProcessedAParam 0
ProcessedAddr 89395
-ProcessedCopy 163229
+ProcessedCopy 162661
ProcessedFRet 0
-ProcessedGep 976218
-ProcessedLoad 1001197
+ProcessedGep 972127
+ProcessedLoad 1005718
ProcessedMSSANode 1926450
-ProcessedPhi 112321
-ProcessedStore 406565
+ProcessedPhi 114069
+ProcessedStore 409750
SolveIterations 5
StoresNum 26908
StrongUpdates 3382
@@ -359,12 +359,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : redis-server.bc)###############
-UniquePointsToSets 29169
-TotalUnions 1240327160
-PropertyUnions 1086244343
-UniqueUnions 34582
-LookupUnions 154000880
-PreemptiveUnions 47355
+UniquePointsToSets 28950
+TotalUnions 1267007802
+PropertyUnions 1117869381
+UniqueUnions 33845
+LookupUnions 149058174
+PreemptiveUnions 46402
TotalComplements 0
PropertyComplements 0
UniqueComplements 0

@jumormt jumormt marked this pull request as ready for review February 27, 2025 00:20
@jumormt jumormt changed the title [WIP] remove svffunction remove svffunction Feb 27, 2025
@yuleisui yuleisui merged commit c427b12 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