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

remove callgraph #1647

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
Feb 3, 2025
Merged

remove callgraph #1647

merged 1 commit into from
Feb 3, 2025

Conversation

jumormt
Copy link
Contributor
@jumormt jumormt commented Feb 3, 2025 •
edited
Loading

next: rename ptacallgraph to callgraph -> move the field of svffunction to funobjvar -> use funobjvar to replace svffunction

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

--- log/nginx.log 2025-02-03 11:46:10.312664578 +1100
+++ log/nginx-xiao.log 2025-02-03 11:45:57.092800221 +1100
@@ -39,9 +39,9 @@
VarArrayObj 153
VarStructObj 630
----------------Time and memory stats--------------------
-LLVMIRTime 1.554
-SVFIRTime 1.124
-SymbolTableTime 0.186
+LLVMIRTime 1.549
+SVFIRTime 1.115
+SymbolTableTime 0.19
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -68,11 +68,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 2.32458e+06
-MemoryUsageVmsize 2.32442e+06
+MemoryUsageVmrss 2.32452e+06
+MemoryUsageVmsize 2.3244e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 121.896
+TotalTime 121.836
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 5909
@@ -144,11 +144,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 2.32946e+06
-MemoryUsageVmsize 2.32925e+06
+MemoryUsageVmrss 2.32954e+06
+MemoryUsageVmsize 2.32923e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 135.899
+TotalTime 135.857
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 5909
@@ -210,9 +210,9 @@
LookupComplements 336293
PreemptiveComplements 6541
TotalIntersections 1796736
-PropertyIntersections 1783113
+PropertyIntersections 1783077
UniqueIntersections 34
-LookupIntersections 486
+LookupIntersections 522
PreemptiveIntersections 13103
#######################################################

@@ -220,11 +220,11 @@
################ (program : nginx.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 39.1348
-GenMUCHITime 1.25
-GenRegionTime 87.813
-InsertPHITime 0.424
-SSARenameTime 0.038
-TotalMSSATime 89.526
+GenMUCHITime 1.242
+GenRegionTime 89.216
+InsertPHITime 0.419
+SSARenameTime 0.035
+TotalMSSATime 90.913
----------------Numbers stats----------------------------
BBHasMSSAPhi 4056
CSChiNode 22213
@@ -250,10 +250,10 @@
ATNodeTime 0.204
AvgWeight 198.378
ConnDirEdgeTime 0
-ConnIndEdgeTime 1.312
+ConnIndEdgeTime 1.315
OptTime 0
TLNodeTime 0
-TotalTime 1.516
+TotalTime 1.519
----------------Numbers stats----------------------------
ActualIn 30142
ActualOut 22213
@@ -315,20 +315,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 4.80217e+06
-MemoryUsageVmsize 4.85145e+06
+MemoryUsageVmrss 4.78846e+06
+MemoryUsageVmsize 4.83682e+06
PhiTime 0
-PrelabelingTime 0.165
+PrelabelingTime 0.169
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 888.449
+SolveTime 874.251
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 958.791
+TotalTime 944.094
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 67.525
+meldLabelingTime 67.017
----------------Numbers stats----------------------------
CopysNum 80
DummyFieldPtrs 1510
@@ -348,11 +348,11 @@
ProcessedAddr 23636
ProcessedCopy 324
ProcessedFRet 0
-ProcessedGep 1078345
-ProcessedLoad 1341532
+ProcessedGep 1076438
+ProcessedLoad 1343850
ProcessedMSSANode 344692
-ProcessedPhi 90492
-ProcessedStore 711782
+ProcessedPhi 90247
+ProcessedStore 712717
SolveIterations 4
StoresNum 14929
StrongUpdates 282
@@ -367,12 +367,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : nginx.bc)###############
-UniquePointsToSets 30027
-TotalUnions 2047776873
-PropertyUnions 1287228347
-UniqueUnions 106370
-LookupUnions 760307236
-PreemptiveUnions 134920
+UniquePointsToSets 29426
+TotalUnions 2052556342
+PropertyUnions 1298223313
+UniqueUnions 103676
+LookupUnions 754097720
+PreemptiveUnions 131633
TotalComplements 0
PropertyComplements 0
UniqueComplements 0

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

Codecov Report

Attention: Patch coverage is 86.66667% with 10 lines in your changes missing coverage. Please review.

Project coverage is 63.89%. Comparing base (ab71cdd) to head (cbf31f1).
Report is 2 commits behind head on master.

Files with missing lines Patch % Lines
svf/lib/Util/SVFUtil.cpp 50.00% 2 Missing ⚠️
svf/include/SVFIR/SVFIR.h 83.33% 1 Missing ⚠️
svf/lib/DDA/ContextDDA.cpp 0.00% 1 Missing ⚠️
svf/lib/Graphs/ThreadCallGraph.cpp 75.00% 1 Missing ⚠️
svf/lib/MSSA/MemSSA.cpp 0.00% 1 Missing ⚠️
svf/lib/SVFIR/SVFVariables.cpp 90.00% 1 Missing ⚠️
svf/lib/Util/CDGBuilder.cpp 0.00% 1 Missing ⚠️
svf/lib/Util/CallGraphBuilder.cpp 75.00% 1 Missing ⚠️
svf/lib/Util/ThreadAPI.cpp 0.00% 1 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1647      +/-   ##
==========================================
+ Coverage   63.84%   63.89%   +0.05%     
==========================================
  Files         246      244       -2     
  Lines       25993    25913      -80     
  Branches     4507     4504       -3     
==========================================
- Hits        16594    16556      -38     
+ Misses       9399     9357      -42
Files with missing lines Coverage Δ
svf-llvm/include/SVF-LLVM/LLVMModule.h 98.44% <ø> (-0.04%) ⬇️
svf-llvm/lib/LLVMModule.cpp 78.60% <ø> (-0.31%) ⬇️
svf-llvm/lib/SVFIRBuilder.cpp 83.74% <100.00%> (ø)
svf-llvm/lib/SVFIRExtAPI.cpp 85.82% <100.00%> (+0.11%) ⬆️
svf/include/AE/Svfexe/AbstractInterpretation.h 96.42% <ø> (ø)
svf/include/Graphs/PTACallGraph.h 93.44% <ø> (+3.27%) ⬆️
svf/include/Graphs/ThreadCallGraph.h 50.84% <ø> (ø)
svf/include/SVFIR/SVFValue.h 89.18% <ø> (-0.20%) ⬇️
svf/include/SVFIR/SVFVariables.h 65.42% <100.00%> (ø)
svf/lib/AE/Svfexe/AbstractInterpretation.cpp 85.51% <100.00%> (+0.02%) ⬆️
... and 19 more

@yuleisui yuleisui merged commit d451e08 into SVF-tools:master Feb 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