slither icon indicating copy to clipboard operation
slither copied to clipboard

Remove sons of `revert` node

Open duckki opened this issue 2 years ago • 1 comments

This PR fixes https://github.com/crytic/slither/issues/1708.

  • The function parser removes all outgoing edges from expression nodes that calls one of therevert functions.
  • AST tests confirm the removal of CFG edges from revert calls.

duckki avatar Mar 04 '23 20:03 duckki

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.


Duckki Oe seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
You have signed the CLA already but the status is still pending? Let us recheck it.

CLAassistant avatar Dec 15 '23 15:12 CLAassistant