Code

Improve reentrancy detectors#1351

Code

Merged

montyly merged 11 commits intodevcrytic/slither:devfrom dev-improve-reentrancycrytic/slither:dev-improve-reentrancyCopy head branch name to clipboardNov 28, 2022

+7,665-6,366

Commits

Commits on Aug 17, 2022

• Improve reentrancy detector:

  Show description for 831f9de
  montyly

  committed
  831f9de

• Add function.all_reachable_from_functions and function.is_reentrant

  Show description for 70dff58
  montyly

  committed
  70dff58

• Filter reentrancies detector based on the nonReentrant modifier

  Show description for 08994a3
  montyly

  committed
  08994a3

Commits on Aug 18, 2022

• Merge branch 'dev' into dev-improve-reentrancy

  montyly

  committed
  303ed83

• Update the cross function reentrancy heuristic to work on variable read, and public state variables

  montyly

  committed
  d2a93f0

• Black & pylint

  montyly

  committed
  a000d33

• Minor

  montyly

  committed
  b6c95e6

• Multiple improvements

  montyly

  committed
  be82a1f

Commits on Aug 19, 2022

• Make results deterministic

  montyly

  committed
  81f0e70

Commits on Nov 28, 2022

• Merge branch 'dev' into dev-improve-reentrancy

  montyly

  committed
  200c5ce

• Fix all_reachable_from_functions

  montyly

  committed
  4c5a5a8