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

refactor icfgbuilder and remove svfvirtualcallinst class #1577

Closed jumormt closed 2 weeks ago

codecov[bot] commented 4 weeks ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 63.05%. Comparing base (5db169c) to head (a633cc8). Report is 6 commits behind head on master.

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577/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/1577?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) ```diff @@ Coverage Diff @@ ## master #1577 +/- ## ========================================== + Coverage 62.86% 63.05% +0.19% ========================================== Files 244 244 Lines 25694 27270 +1576 Branches 4514 4518 +4 ========================================== + Hits 16152 17196 +1044 - Misses 9542 10074 +532 ``` | [Files with missing lines](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577?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/1577?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/1577?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=) | `95.38% <100.00%> (+1.26%)` | :arrow_up: | | [svf-llvm/include/SVF-LLVM/SVFIRBuilder.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577?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.55% <ø> (+0.46%)` | :arrow_up: | | [svf-llvm/lib/ICFGBuilder.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577?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.25% <100.00%> (+0.02%)` | :arrow_up: | | [svf-llvm/lib/LLVMModule.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577?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.10% <100.00%> (+0.33%)` | :arrow_up: | | [svf-llvm/lib/SVFIRBuilder.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577?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.04% <100.00%> (+0.05%)` | :arrow_up: | | [svf/include/SVFIR/SVFFileSystem.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577?src=pr&el=tree&filepath=svf%2Finclude%2FSVFIR%2FSVFFileSystem.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvU1ZGSVIvU1ZGRmlsZVN5c3RlbS5o) | `27.23% <ø> (-1.02%)` | :arrow_down: | | [svf/include/SVFIR/SVFValue.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577?src=pr&el=tree&filepath=svf%2Finclude%2FSVFIR%2FSVFValue.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvU1ZGSVIvU1ZGVmFsdWUuaA==) | `91.59% <ø> (+0.36%)` | :arrow_up: | | [svf/lib/SVFIR/SVFFileSystem.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577?src=pr&el=tree&filepath=svf%2Flib%2FSVFIR%2FSVFFileSystem.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2xpYi9TVkZJUi9TVkZGaWxlU3lzdGVtLmNwcA==) | `35.52% <ø> (-1.99%)` | :arrow_down: | ... and [190 files with indirect coverage changes](https://app.codecov.io/gh/SVF-tools/SVF/pull/1577/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None)