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

Prepare for svf var and callgraphnode downcast refactor #1571

Closed jumormt closed 1 month ago

jumormt commented 1 month ago

will upload differential test for large projects later soon

codecov[bot] commented 1 month ago

Codecov Report

Attention: Patch coverage is 76.00000% with 12 lines in your changes missing coverage. Please review.

Project coverage is 62.85%. Comparing base (f9929a7) to head (c4f1798). Report is 3 commits behind head on master.

Files with missing lines Patch % Lines
svf/lib/DDA/ContextDDA.cpp 0.00% 6 Missing :warning:
svf/lib/AE/Svfexe/AEDetector.cpp 0.00% 2 Missing :warning:
svf/include/SVFIR/SVFVariables.h 80.00% 1 Missing :warning:
svf/lib/AE/Svfexe/AbsExtAPI.cpp 66.66% 1 Missing :warning:
svf/lib/SABER/SaberSVFGBuilder.cpp 0.00% 1 Missing :warning:
svf/lib/SVFIR/PAGBuilderFromFile.cpp 0.00% 1 Missing :warning:
Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571/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/1571?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) ```diff @@ Coverage Diff @@ ## master #1571 +/- ## ======================================= Coverage 62.84% 62.85% ======================================= Files 245 245 Lines 25665 25669 +4 Branches 4505 4503 -2 ======================================= + Hits 16130 16135 +5 + Misses 9535 9534 -1 ``` | [Files with missing lines](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?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/ICFGBuilder.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?src=pr&el=tree&filepath=svf-llvm%2Finclude%2FSVF-LLVM%2FICFGBuilder.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vaW5jbHVkZS9TVkYtTExWTS9JQ0ZHQnVpbGRlci5o) | `100.00% <ø> (ø)` | | | [svf-llvm/include/SVF-LLVM/LLVMModule.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?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.11% <ø> (ø)` | | | [svf-llvm/include/SVF-LLVM/SVFIRBuilder.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?src=pr&el=tree&filepath=svf-llvm%2Finclude%2FSVF-LLVM%2FSVFIRBuilder.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vaW5jbHVkZS9TVkYtTExWTS9TVkZJUkJ1aWxkZXIuaA==) | `90.09% <ø> (ø)` | | | [svf-llvm/lib/ICFGBuilder.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?src=pr&el=tree&filepath=svf-llvm%2Flib%2FICFGBuilder.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vbGliL0lDRkdCdWlsZGVyLmNwcA==) | `99.23% <100.00%> (+<0.01%)` | :arrow_up: | | [svf-llvm/lib/LLVMModule.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?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) | `83.67% <100.00%> (-0.08%)` | :arrow_down: | | [svf-llvm/lib/SVFIRBuilder.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?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=) | `83.92% <100.00%> (-0.04%)` | :arrow_down: | | [svf/include/SVFIR/SVFIR.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?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/SVFIR/SymbolTableInfo.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?src=pr&el=tree&filepath=svf%2Finclude%2FSVFIR%2FSymbolTableInfo.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvU1ZGSVIvU3ltYm9sVGFibGVJbmZvLmg=) | `92.15% <ø> (-0.16%)` | :arrow_down: | | [svf/lib/SABER/SaberCondAllocator.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?src=pr&el=tree&filepath=svf%2Flib%2FSABER%2FSaberCondAllocator.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9TQUJFUi9TYWJlckNvbmRBbGxvY2F0b3IuY3Bw) | `87.75% <100.00%> (ø)` | | | [svf/lib/SVFIR/SVFIR.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?src=pr&el=tree&filepath=svf%2Flib%2FSVFIR%2FSVFIR.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9TVkZJUi9TVkZJUi5jcHA=) | `77.06% <100.00%> (ø)` | | | ... and [8 more](https://app.codecov.io/gh/SVF-tools/SVF/pull/1571?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) | |