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.

Sign up for GitHub

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

Jump to bottom

reentrancy benign enhancements #1566

Open
0xalpharush opened this issue Jan 6, 2023 · 0 comments
Open

reentrancy benign enhancements #1566

0xalpharush opened this issue Jan 6, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@0xalpharush
Copy link
Contributor

This should be detected and flagged as higher severity, but it's only detected as reentrancy-benign: slither ftm:0x660184CE8AF80e0B1e5A1172A16168b15f4136bF --detect reentrancy-benign. We may be able to infer that calls to transferFrom/ balanceOf is equivalent to a read-after-write by modeling the storage of the other contract.

Originally posted by @0xalpharush in #1523 (comment)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@0xalpharush