Skip to content

Latest commit

 

History

History
16 lines (12 loc) · 544 Bytes

inconsistent_nonreentrant.md

File metadata and controls

16 lines (12 loc) · 544 Bytes
Raw

Inconsistent Nonreentrant

Configuration

  • Check: pess-inconsistent-nonreentrant
  • Severity: Medium
  • Confidence: Medium

Description

The detector sees if a contract non-view functions do not have nonReentrant modifier while other functions have it. If at least one contract non-view function has a nonReentrant modifier, it MUST be present on all non-view methods.

Vulnerable Scenario

test scenario

Recommendation

Ensure that nonReentrant modifier usage is consistent.