search

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code
http://svf-tools.github.io/SVF/
Other
1.43k stars 436 forks source link

fix cdg null deref #1551

Closed jumormt closed 2 months ago

jumormt commented 2 months ago

fix Issue #1549

codecov[bot] commented 2 months ago

Codecov Report

Attention: Patch coverage is 0% with 14 lines in your changes missing coverage. Please review.

Please upload report for BASE (master@fc185be). Learn more about missing BASE report. Report is 3 commits behind head on master.

Files with missing lines Patch % Lines
svf/lib/Util/CDGBuilder.cpp 0.00% 13 Missing :warning:
svf/lib/Graphs/CDG.cpp 0.00% 1 Missing :warning:
Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/SVF-tools/SVF/pull/1551/graphs/tree.svg?width=650&height=150&src=pr&token=swDcvdBMse&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None)](https://app.codecov.io/gh/SVF-tools/SVF/pull/1551?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) ```diff @@ Coverage Diff @@ ## master #1551 +/- ## ========================================= Coverage ? 62.67% ========================================= Files ? 245 Lines ? 25707 Branches ? 4502 ========================================= Hits ? 16111 Misses ? 9596 Partials ? 0 ``` | [Files with missing lines](https://app.codecov.io/gh/SVF-tools/SVF/pull/1551?dropdown=coverage&src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) | Coverage Δ | | |---|---|---| | [svf/include/Graphs/CDG.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1551?src=pr&el=tree&filepath=svf%2Finclude%2FGraphs%2FCDG.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvR3JhcGhzL0NERy5o) | `0.00% <ø> (ø)` | | | [svf/lib/Graphs/CDG.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1551?src=pr&el=tree&filepath=svf%2Flib%2FGraphs%2FCDG.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9HcmFwaHMvQ0RHLmNwcA==) | `0.00% <0.00%> (ø)` | | | [svf/lib/Util/CDGBuilder.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1551?src=pr&el=tree&filepath=svf%2Flib%2FUtil%2FCDGBuilder.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9VdGlsL0NER0J1aWxkZXIuY3Bw) | `0.00% <0.00%> (ø)` | |