Skip to content

v0.6.11
Compare
Choose a tag to compare
@montyly montyly released this 17 Apr 15:51
· 3046 commits to master since this release
0.6.11
67d173d

0.6.11 - 2020-04-17

This release introduces slither-prop, a tool that will automatically generate properties to be tested through unit tests and Echidna. In this release, slither-prop can generate 18 tests for ERC20 contracts; More tests, and support for other ERCs are planned. Additionally, the support for Solidity 0.6 was improved, and the release fixes multiple minor bugs.

Consider using crytic.io to get access to additional detectors and GitHub integration.

Added

  • slither-prop (#428). See its documentation.
  • New Solidity call syntax support (#424)
  • Number of assembly lines in the human summary printer (#438)
  • --convert-private in slither-flat, allowing to change private variables to internal (#446)
  • API: true/false branch for IF nodes (#433)

Changed

  • Echidna printer: several new features are extracted (#431, #437).
  • Reentrancy: better support of constant function called with Solidity 0.6 (#441)
  • Add support for now in timestamp detector (#447)

Fixed

  • Name reused (#423)
  • Ternary on unary operator conversion (#439)
  • Incorrect slithir_cfg_to_dot function (#432)
  • Incorrect function id generated if a parameter is a contract (#445)
  • slither-check-upgradeability: --list-detectors-json will use the field check instead of detector [BREAKING CHANGE] (#448)
Assets 2
Loading