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

Refact callgraph #1557

Closed Geoffrey1014 closed 1 month ago

Geoffrey1014 commented 1 month ago

create PTACallGraph make PTACallGraph inherit CallGraph

codecov[bot] commented 1 month ago

Codecov Report

Attention: Patch coverage is 76.09428% with 71 lines in your changes missing coverage. Please review.

Project coverage is 62.74%. Comparing base (6a54cf4) to head (36a2cdc). Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
svf/lib/Graphs/PTACallGraph.cpp 74.13% 15 Missing :warning:
svf/lib/MTA/LockAnalysis.cpp 27.27% 8 Missing :warning:
svf/lib/MTA/MHP.cpp 58.33% 5 Missing :warning:
svf/lib/MemoryModel/PointerAnalysis.cpp 68.75% 5 Missing :warning:
svf/include/Graphs/PTACallGraph.h 63.63% 4 Missing :warning:
svf/lib/DDA/DDAPass.cpp 0.00% 4 Missing :warning:
svf/lib/Graphs/SVFGReadWrite.cpp 0.00% 4 Missing :warning:
svf/lib/Util/SVFUtil.cpp 42.85% 4 Missing :warning:
svf/lib/Graphs/CallGraph.cpp 62.50% 3 Missing :warning:
svf/include/Graphs/ThreadCallGraph.h 50.00% 2 Missing :warning:
... and 9 more
Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557/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/1557?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) ```diff @@ Coverage Diff @@ ## master #1557 +/- ## ========================================== - Coverage 62.88% 62.74% -0.15% ========================================== Files 245 247 +2 Lines 25681 25745 +64 Branches 4505 4518 +13 ========================================== + Hits 16149 16153 +4 - Misses 9532 9592 +60 ``` | [Files with missing lines](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?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/1557?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=) | `93.87% <ø> (ø)` | | | [svf-llvm/include/SVF-LLVM/SVFIRBuilder.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?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/LLVMModule.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?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.72% <100.00%> (+0.12%)` | :arrow_up: | | [svf-llvm/lib/SVFIRBuilder.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?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.23% <100.00%> (+0.31%)` | :arrow_up: | | [svf-llvm/lib/SVFIRExtAPI.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?src=pr&el=tree&filepath=svf-llvm%2Flib%2FSVFIRExtAPI.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vbGliL1NWRklSRXh0QVBJLmNwcA==) | `84.74% <ø> (ø)` | | | [svf-llvm/tools/AE/ae.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?src=pr&el=tree&filepath=svf-llvm%2Ftools%2FAE%2Fae.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vdG9vbHMvQUUvYWUuY3Bw) | `55.89% <100.00%> (ø)` | | | [svf-llvm/tools/Example/svf-ex.cpp](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?src=pr&el=tree&filepath=svf-llvm%2Ftools%2FExample%2Fsvf-ex.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmLWxsdm0vdG9vbHMvRXhhbXBsZS9zdmYtZXguY3Bw) | `96.96% <100.00%> (ø)` | | | [svf/include/AE/Svfexe/AbstractInterpretation.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?src=pr&el=tree&filepath=svf%2Finclude%2FAE%2FSvfexe%2FAbstractInterpretation.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvQUUvU3ZmZXhlL0Fic3RyYWN0SW50ZXJwcmV0YXRpb24uaA==) | `96.00% <ø> (ø)` | | | [svf/include/DDA/ContextDDA.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?src=pr&el=tree&filepath=svf%2Finclude%2FDDA%2FContextDDA.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvRERBL0NvbnRleHREREEuaA==) | `74.19% <100.00%> (+0.86%)` | :arrow_up: | | [svf/include/DDA/DDAVFSolver.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?src=pr&el=tree&filepath=svf%2Finclude%2FDDA%2FDDAVFSolver.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvRERBL0REQVZGU29sdmVyLmg=) | `90.11% <100.00%> (+0.03%)` | :arrow_up: | | ... and [60 more](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) | | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/SVF-tools/SVF/pull/1557/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None)