Critical
2
Detector Intelligence
Vyper Guard detector catalog
These detectors are derived from the current Vyper Guard references and map directly to security, logic, and best-practice checks used in static analysis.
High
7
Medium
1
Low
2
missing_nonreentrantCRITICAL
Missing Reentrancy Guard
External value transfer paths missing @nonreentrant protection.
Security
unprotected_selfdestructCRITICAL
Unprotected Selfdestruct
selfdestruct() without explicit authorization checks.
Security
cei_violationHIGH
Checks-Effects-Interactions Violation
External call occurs before internal state update.
Logic
unsafe_raw_callHIGH
Unsafe raw_call Usage
raw_call() return value or behavior is not validated.
Security
dangerous_delegatecallHIGH
Dangerous Delegatecall
Delegate call is used with untrusted target/data.
Security
unprotected_state_changeHIGH
Unprotected State Change
Sensitive state writes lack robust sender authorization.
Security
integer_overflowHIGH
Integer Overflow Risk
Unsafe arithmetic primitives can overflow or underflow.
Logic
send_in_loopHIGH
Value Transfer in Loop
Value transfer inside loops can trigger DoS-like behavior.
Security
unchecked_subtractionHIGH
Unchecked Subtraction
Subtraction path lacks defensive bound checks.
Logic
compiler_version_checkMEDIUM
Compiler Advisory Risk
Compiler version intersects with known vulnerability advisories.
Best Practice
missing_event_emissionLOW
Missing Event Emission
State-changing functions do not emit observable events.
Best Practice
timestamp_dependenceLOW
Timestamp Dependence
Business logic relies on block.timestamp for critical decisions.
Best Practice