The delegatecall module detects SWC-112 (DELEGATECALL to Untrusted Callee).
The predictable variables module detects SWC-120 (Weak Randomness) and SWC-116 (Timestamp Dependence).
The deprecated opcodes module detects SWC-111 (Use of Deprecated Functions).
The Ether Thief module detects SWC-105 (Unprotected Ether Withdrawal).
The exceptions module detects SWC-110 (Assert Violation).
The external calls module warns about SWC-117 (Reentrancy) by detecting calls to external contracts.
The integer module detects SWC-101 (Integer Overflow and Underflow).
The multiple sends module detects SWC-113 (Denial of Service with Failed Call) by checking for multiple calls or sends in a single transaction.
The suicide module detects SWC-106 (Unprotected SELFDESTRUCT).
The state change external calls module detects SWC-107 (Reentrancy) by detecting state change after calls to an external contract.
The unchecked retval module detects SWC-104 (Unchecked Call Return Value).
The user supplied assertion module detects SWC-110 (Assert Violation) for user-supplied assertions. User supplied assertions should be log messages of the form: emit AssertionFailed(string).
The arbitrary storage write module detects SWC-124 (Write to Arbitrary Storage Location).
The arbitrary jump module detects SWC-127 (Arbitrary Jump with Function Type Variable).