Skip to content

Correct shapes for DOT graph nodes#1848

Merged
yuleisui merged 1 commit into
SVF-tools:masterfrom
mbarbar:graph-shape
Jun 29, 2026
Merged

Correct shapes for DOT graph nodes#1848
yuleisui merged 1 commit into
SVF-tools:masterfrom
mbarbar:graph-shape

Conversation

@mbarbar

@mbarbar mbarbar commented Jun 28, 2026

Copy link
Copy Markdown
Collaborator

Fixes #307. There is now no longer a shape applied to every graph but every graph must specify what shapes it wants for its nodes. Previously this would have caused a problem of having both the generic shape and the specific shape.

@codecov

codecov Bot commented Jun 28, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 37.14286% with 44 lines in your changes missing coverage. Please review.
✅ Project coverage is 64.45%. Comparing base (2c35d05) to head (6bfe1bf).
⚠️ Report is 6 commits behind head on master.

Files with missing lines Patch % Lines
svf/lib/Graphs/IRGraph.cpp 0.00% 19 Missing ⚠️
svf/lib/Graphs/VFG.cpp 0.00% 18 Missing ⚠️
svf/lib/Graphs/SVFG.cpp 77.27% 5 Missing ⚠️
svf/lib/MTA/TCT.cpp 0.00% 2 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1848      +/-   ##
==========================================
- Coverage   64.46%   64.45%   -0.02%     
==========================================
  Files         252      252              
  Lines       25216    25219       +3     
  Branches     4767     4769       +2     
==========================================
- Hits        16255    16254       -1     
- Misses       8961     8965       +4     
Files with missing lines Coverage Δ
svf/include/Graphs/CDG.h 0.00% <ø> (ø)
svf/include/Graphs/GraphWriter.h 76.19% <100.00%> (ø)
svf/lib/Graphs/CallGraph.cpp 65.62% <100.00%> (ø)
svf/lib/Graphs/ICFG.cpp 79.14% <100.00%> (ø)
svf/lib/MTA/TCT.cpp 76.73% <0.00%> (ø)
svf/lib/Graphs/SVFG.cpp 72.30% <77.27%> (-0.07%) ⬇️
svf/lib/Graphs/VFG.cpp 50.98% <0.00%> (ø)
svf/lib/Graphs/IRGraph.cpp 44.50% <0.00%> (-0.68%) ⬇️

... and 4 files 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 bc9eeea into SVF-tools:master Jun 29, 2026
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.

DOT files for some graphs don't seem to work

2 participants