v0.6.10

0.6.10 - 2020-03-23

This release adds 5 new detectors, improves the support of codebase with contract's name duplicate, and the support for Solidity 0.6. Additionally, several internal improvements lead existing detectors to report less false alarms. slither-check-upgradeability was refactored and it has now 17 documented upgradeability checks.

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

Added

• 5 new detectors (#396)
  • boolean-cst
  • tautology
  • boolean-equal
  • divide-before-multiply
  • name-reused
• Codebase with contract name dupplicates will not anymore throw an error, slither will do a partial analysis and report the issue as a contract's bug (#413)
• Improve support for Solidity 0.6 (receive() and try/catch) (#415)
• New data dependencies user-API (#409)
• contract.functions_signatures_declared: return the signatures of the function declared in the contract (#391)

Changed

• Refactor slither-check-upgradeability: the checks follow the same coding pattern than the bug detectors (#410)
• Change how modifiers and constructor calls are integrated in the CFG. This removes false positives created because of unreachable nodes (#406)
• Use crytic-compile 0.1.7
• Remove false positives in uninitialized-state (#407)

Fixed

• Incorrect get_dependencies (#400, #409)
• Incorrect lvalue on Delete (#412)
• Incorrect constructor called if the contructor does not exist (#416)