Skip to content

remove some redundancy, and add getAbsValueFromTrace()

93755cf
Select commit
Loading
Failed to load commit list.
Closed

Refactor of AE before adding Sparse Features #1785

remove some redundancy, and add getAbsValueFromTrace()
93755cf
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jan 23, 2026 in 0s

64.16% (target 63.50%)

View this Pull Request on Codecov

64.16% (target 63.50%)

Details

Codecov Report

❌ Patch coverage is 87.93103% with 7 lines in your changes missing coverage. Please review.
✅ Project coverage is 64.16%. Comparing base (25f4c58) to head (93755cf).

Files with missing lines Patch % Lines
svf/lib/AE/Svfexe/AEDetector.cpp 87.23% 6 Missing ⚠️
svf/include/AE/Svfexe/AEDetector.h 85.71% 1 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1785      +/-   ##
==========================================
+ Coverage   64.15%   64.16%   +0.01%     
==========================================
  Files         243      243              
  Lines       24569    24576       +7     
  Branches     4627     4630       +3     
==========================================
+ Hits        15762    15769       +7     
  Misses       8807     8807              
Files with missing lines Coverage Δ
svf/include/AE/Svfexe/AbstractInterpretation.h 95.23% <ø> (ø)
svf/lib/AE/Svfexe/AbstractInterpretation.cpp 80.69% <100.00%> (+0.11%) ⬆️
svf/include/AE/Svfexe/AEDetector.h 97.91% <85.71%> (+0.04%) ⬆️
svf/lib/AE/Svfexe/AEDetector.cpp 85.77% <87.23%> (+0.12%) ⬆️
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.