Module analysis 

Structs

SecurityFinding

Security finding detected by trace analysis.

Enums

Severity

Functions

analyze_trace

Analyze an execution trace for known security risk patterns.

check_storage_before_transfer

State update before transfer: SSTORE followed by value-transfer CALL. This is the classic “send ETH then update state” anti-pattern.