Overview

This is the documentation for Solidity vulnerabilities that are detected by GuardRails. The documentation is grouped based on vulnerability category.

See the child pages for more information:

• Insecure Integer Arithmetic
• Insecure Use of Low-Level Call
• Reliance on Insecure Random Numbers
• Stage Change After External Call
• Transaction Order Dependence
• Unprotected Critical Function
• Use of Insecure Function
• Dependence on Predictable Environment Variable