Ae convert CFBBG to ICFG #1384
Merged
Ae convert CFBBG to ICFG #1384
Codecov / codecov/project
succeeded
Feb 22, 2024 in 0s
67.74% (target 67.70%)
View this Pull Request on Codecov
67.74% (target 67.70%)
Details
Codecov Report
Attention: 15 lines in your changes are missing coverage. Please review.
Comparison is base (
2b0b87f) 67.88% compared to head (224ced6) 67.74%.
Report is 4 commits behind head on master.
Additional details and impacted files
@@ Coverage Diff @@
## master #1384 +/- ##
==========================================
- Coverage 67.88% 67.74% -0.14%
==========================================
Files 253 249 -4
Lines 27697 27561 -136
==========================================
- Hits 18801 18672 -129
+ Misses 8896 8889 -7 | Files | Coverage Δ | |
|---|---|---|
| svf/include/AE/Core/ICFGWTO.h | 100.00% <100.00%> (ø) |
|
| svf/include/AE/Core/IntervalExeState.h | 65.71% <ø> (ø) |
|
| svf/include/AE/Svfexe/AbstractExecution.h | 100.00% <ø> (ø) |
|
| svf/include/Graphs/IRGraph.h | 95.00% <ø> (ø) |
|
| svf/lib/AE/Svfexe/BufOverflowChecker.cpp | 77.83% <100.00%> (ø) |
|
| svf/lib/AE/Svfexe/AbstractExecution.cpp | 83.97% <92.10%> (-0.84%) |
⬇️ |
| svf/lib/AE/Core/IntervalExeState.cpp | 28.38% <0.00%> (-2.39%) |
⬇️ |
Loading