Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix a bug in wrapper detection #981

Merged
merged 1 commit into from
Dec 30, 2022
Merged

Conversation

seviezhou
Copy link
Contributor

More details please see issue #980

More details please see issue SVF-tools#980
@codecov
Copy link

codecov bot commented Dec 30, 2022

Codecov Report

Merging #981 (756cfd3) into master (6abb39b) will increase coverage by 0.00%.
The diff coverage is 100.00%.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #981   +/-   ##
=======================================
  Coverage   63.64%   63.65%           
=======================================
  Files         219      219           
  Lines       21906    21906           
=======================================
+ Hits        13942    13944    +2     
+ Misses       7964     7962    -2     
Impacted Files Coverage Δ
svf/lib/SABER/SrcSnkDDA.cpp 82.97% <100.00%> (+1.06%) ⬆️
svf/lib/SABER/LeakChecker.cpp 89.47% <0.00%> (+0.87%) ⬆️

@yuleisui yuleisui merged commit a60d125 into SVF-tools:master Dec 30, 2022
@seviezhou seviezhou deleted the patch-2 branch December 30, 2022 05:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants