First public release

[michprev]

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.

---

This discussion was created from the release First public release.