You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@smartcontract-detect-yzu sorry the delay
what this rule is checking is not the use of send or transfer
it is checking that the code does not change state variables after transfer or send
I closing this, but, feel free to open a new issue for further discussion, or even here if it is allowed
The send() cannot trigger the reentrancy. Meanwhile, the rule do not check the .call.value() can cause the reentrancy vulnerability.
The text was updated successfully, but these errors were encountered: