Skip to content
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.

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

remove gnode in base object #1633

Merged
merged 1 commit into from
Jan 17, 2025
Merged

remove gnode in base object #1633

merged 1 commit into from
Jan 17, 2025

Conversation

jumormt
Copy link
Contributor

@jumormt jumormt commented Jan 17, 2025

No description provided.

@jumormt
Copy link
Contributor Author

jumormt commented Jan 17, 2025

--- log/nginx.log 2025-01-17 16:06:19.039216146 +1100
+++ log/nginx-xiao.log 2025-01-17 16:06:25.911148007 +1100
@@ -39,9 +39,9 @@
VarArrayObj 153
VarStructObj 630
----------------Time and memory stats--------------------
-LLVMIRTime 1.538
-SVFIRTime 0.987
-SymbolTableTime 0.173
+LLVMIRTime 1.545
+SVFIRTime 1.178
+SymbolTableTime 0.178
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -68,11 +68,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 2.32223e+06
-MemoryUsageVmsize 2.3222e+06
+MemoryUsageVmrss 2.32226e+06
+MemoryUsageVmsize 2.32223e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 119.299
+TotalTime 121.133
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 5909
@@ -144,11 +144,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 2.32695e+06
-MemoryUsageVmsize 2.32696e+06
+MemoryUsageVmrss 2.32725e+06
+MemoryUsageVmsize 2.32699e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 132.978
+TotalTime 135.165
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 5909
@@ -199,32 +199,32 @@
Persistent Points-To Cache Statistics: Andersen's analysis bitvector
################ (program : nginx.bc)###############
UniquePointsToSets 14762
-TotalUnions 589461
+TotalUnions 589459
PropertyUnions 149148
UniqueUnions 8201
LookupUnions 418580
-PreemptiveUnions 13532
+PreemptiveUnions 13530
TotalComplements 1731373
PropertyComplements 1381996
UniqueComplements 6543
LookupComplements 336293
PreemptiveComplements 6541
-TotalIntersections 1796736
-PropertyIntersections 1783057
-UniqueIntersections 34
-LookupIntersections 542
-PreemptiveIntersections 13103
+TotalIntersections 1796734
+PropertyIntersections 1783056
+UniqueIntersections 32
+LookupIntersections 545
+PreemptiveIntersections 13101
#######################################################

Memory SSA Statistics******
################ (program : nginx.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 39.1348
-GenMUCHITime 1.093
-GenRegionTime 86.241
-InsertPHITime 0.4
-SSARenameTime 0.034
-TotalMSSATime 87.768
+GenMUCHITime 1.142
+GenRegionTime 86.133
+InsertPHITime 0.374
+SSARenameTime 0.036
+TotalMSSATime 87.687
----------------Numbers stats----------------------------
BBHasMSSAPhi 4056
CSChiNode 22213
@@ -247,13 +247,13 @@
SVFG Statistics******
################ (program : nginx.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 0.201
+ATNodeTime 0.199
AvgWeight 198.378
ConnDirEdgeTime 0
-ConnIndEdgeTime 1.295
+ConnIndEdgeTime 1.313
OptTime 0
TLNodeTime 0
-TotalTime 1.496
+TotalTime 1.512
----------------Numbers stats----------------------------
ActualIn 30142
ActualOut 22213
@@ -315,20 +315,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 4.77496e+06
-MemoryUsageVmsize 4.82296e+06
+MemoryUsageVmrss 4.7781e+06
+MemoryUsageVmsize 4.82601e+06
PhiTime 0
-PrelabelingTime 0.152
+PrelabelingTime 0.156
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 781.898
+SolveTime 786.216
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 850.738
+TotalTime 854.725
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 66.22
+meldLabelingTime 65.87
----------------Numbers stats----------------------------
CopysNum 80
DummyFieldPtrs 1510
@@ -348,11 +348,11 @@
ProcessedAddr 23636
ProcessedCopy 320
ProcessedFRet 0
-ProcessedGep 861707
-ProcessedLoad 1165576
+ProcessedGep 858641
+ProcessedLoad 1155064
ProcessedMSSANode 344692
-ProcessedPhi 73425
-ProcessedStore 622176
+ProcessedPhi 73357
+ProcessedStore 621391
SolveIterations 4
StoresNum 14929
StrongUpdates 282
@@ -367,12 +367,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : nginx.bc)###############
-UniquePointsToSets 33613
-TotalUnions 1904646185
-PropertyUnions 1231102243
-UniqueUnions 122198
-LookupUnions 673264739
-PreemptiveUnions 157005
+UniquePointsToSets 33677
+TotalUnions 1896682240
+PropertyUnions 1215407930
+UniqueUnions 122410
+LookupUnions 680994690
+PreemptiveUnions 157210
TotalComplements 0
PropertyComplements 0
UniqueComplements 0

Copy link

codecov bot commented Jan 17, 2025

Codecov Report

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

Project coverage is 63.26%. Comparing base (89b8815) to head (4aadb6f).
Report is 3 commits behind head on master.

Files with missing lines Patch % Lines
svf/lib/DDA/ContextDDA.cpp 0.00% 5 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1633   +/-   ##
=======================================
  Coverage   63.25%   63.26%           
=======================================
  Files         247      247           
  Lines       27468    27434   -34     
  Branches     4548     4545    -3     
=======================================
- Hits        17376    17356   -20     
+ Misses      10092    10078   -14     
Files with missing lines Coverage Δ
svf-llvm/include/SVF-LLVM/LLVMModule.h 98.47% <100.00%> (ø)
svf-llvm/include/SVF-LLVM/SVFIRBuilder.h 90.69% <100.00%> (ø)
svf-llvm/lib/LLVMModule.cpp 81.06% <100.00%> (ø)
svf-llvm/lib/SVFIRBuilder.cpp 84.77% <100.00%> (+0.82%) ⬆️
svf/include/SVFIR/SVFVariables.h 67.83% <100.00%> (ø)
svf/lib/AE/Svfexe/AEDetector.cpp 85.36% <ø> (+1.02%) ⬆️
svf/lib/AE/Svfexe/AbsExtAPI.cpp 89.26% <ø> (+0.26%) ⬆️
svf/lib/Graphs/ThreadCallGraph.cpp 66.66% <100.00%> (ø)
svf/lib/MemoryModel/PointerAnalysisImpl.cpp 78.07% <100.00%> (ø)
svf/lib/DDA/ContextDDA.cpp 61.90% <0.00%> (+1.15%) ⬆️

@yuleisui yuleisui merged commit 3585fe2 into SVF-tools:master Jan 17, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants