Features
- First vulnerability detectors:
- function-call-options-not-called
Function with call options actually is not called, e.g. `this.externalFunction{value: targetValue}`.
- old-gas-value-not-called
Function with gas or value set actually is not called, e.g. `this.externalFunction.value(targetValue)`.
- reentrancy
Detects re-entrancy vulnerabilities.
- unchecked-function-return-value
Return value of a function call is ignored.
- unsafe-address-balance-use
Address.balance is either written to a state variable or used in a strict comparison (== or !=).
- unsafe-delegatecall
Delegatecall to an untrusted contract.
- unsafe-selfdestruct
Selfdestruct call is not protected.
- LSP server
- Fuzzer
- A property-based fuzzer for Solidity smart contracts that allows testers to write their fuzz tests in Python.