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

add funcobjvar #1588

Closed jumormt closed 1 week ago

codecov[bot] commented 1 week ago

Codecov Report

Attention: Patch coverage is 78.78788% with 21 lines in your changes missing coverage. Please review.

Project coverage is 62.83%. Comparing base (1b11c8c) to head (527e688). Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
svf/lib/SVFIR/SVFVariables.cpp 38.46% 16 Missing :warning:
svf/lib/Graphs/ThreadCallGraph.cpp 50.00% 2 Missing :warning:
svf-llvm/lib/SVFIRExtAPI.cpp 50.00% 1 Missing :warning:
svf/include/SVFIR/SVFVariables.h 83.33% 1 Missing :warning:
svf/lib/SABER/SaberSVFGBuilder.cpp 0.00% 1 Missing :warning:
Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588/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/1588?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) ```diff @@ Coverage Diff @@ ## master #1588 +/- ## ========================================== - Coverage 62.94% 62.83% -0.12% ========================================== Files 246 246 Lines 27342 27385 +43 Branches 4520 4524 +4 ========================================== - Hits 17211 17206 -5 - Misses 10131 10179 +48 ``` | [Files with missing lines](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?dropdown=coverage&src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) | Coverage Δ | | |---|---|---| | [svf-llvm/include/SVF-LLVM/LLVMModule.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf-llvm%2Finclude%2FSVF-LLVM%2FLLVMModule.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vaW5jbHVkZS9TVkYtTExWTS9MTFZNTW9kdWxlLmg=) | `94.73% <100.00%> (+0.14%)` | :arrow_up: | | [svf-llvm/lib/LLVMModule.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf-llvm%2Flib%2FLLVMModule.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vbGliL0xMVk1Nb2R1bGUuY3Bw) | `84.24% <100.00%> (+0.16%)` | :arrow_up: | | [svf-llvm/lib/SVFIRBuilder.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf-llvm%2Flib%2FSVFIRBuilder.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vbGliL1NWRklSQnVpbGRlci5jcHA=) | `84.30% <100.00%> (+0.25%)` | :arrow_up: | | [svf/include/Graphs/GenericGraph.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf%2Finclude%2FGraphs%2FGenericGraph.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvR3JhcGhzL0dlbmVyaWNHcmFwaC5o) | `81.44% <100.00%> (+0.19%)` | :arrow_up: | | [svf/include/SVFIR/SVFIR.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf%2Finclude%2FSVFIR%2FSVFIR.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvU1ZGSVIvU1ZGSVIuaA==) | `100.00% <100.00%> (ø)` | | | [svf/include/Util/SVFUtil.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf%2Finclude%2FUtil%2FSVFUtil.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvVXRpbC9TVkZVdGlsLmg=) | `83.33% <ø> (-2.67%)` | :arrow_down: | | [svf/lib/AE/Svfexe/AbsExtAPI.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf%2Flib%2FAE%2FSvfexe%2FAbsExtAPI.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9BRS9TdmZleGUvQWJzRXh0QVBJLmNwcA==) | `88.96% <100.00%> (ø)` | | | [svf/lib/AE/Svfexe/AbstractInterpretation.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf%2Flib%2FAE%2FSvfexe%2FAbstractInterpretation.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9BRS9TdmZleGUvQWJzdHJhY3RJbnRlcnByZXRhdGlvbi5jcHA=) | `85.33% <100.00%> (ø)` | | | [svf/lib/Graphs/PTACallGraph.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf%2Flib%2FGraphs%2FPTACallGraph.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9HcmFwaHMvUFRBQ2FsbEdyYXBoLmNwcA==) | `71.85% <100.00%> (ø)` | | | [svf/lib/MTA/MTAStat.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree&filepath=svf%2Flib%2FMTA%2FMTAStat.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9NVEEvTVRBU3RhdC5jcHA=) | `50.00% <100.00%> (ø)` | | | ... and [12 more](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) | | ... and [7 files with indirect coverage changes](https://app.codecov.io/gh/SVF-tools/SVF/pull/1588/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None)
jumormt commented 1 week ago

Don't merge. PTS size of large project is not consistent with master. I'm working on it.