0.6.8 - 2019-11-22

This release introduces two new utilities: slither-check-erc to check ERC conformance, and slither-check-kspec to report the coverage of a K specification. New types of reentrancy are detected (send/transfer and event-based) and several improvements were made to slither-check-upgradeability. Internally, this release introduces a new JSON output API. All printers and most of the utilities now have JSON output.

Thanks to our external contributors:

• @yxliang01
• @enderphan94

Added

• slither-check-erc: check for conformance to the most used ERCs #350
• slither-check-kspec: report K specification coverage #364
• Each detector result has a unique ID, allowing for duplicate removal (#367)
• pop to SlithIR conversion (#359)
• New printer: evm to print the source code that matches EVM bytecode (#281)
• New reentrancy detectors: send/transfer and event-based (#375)

Changed

• The JSON output API was replaced with a simpler and standardized API (#355, #362)
• All the printers have JSON output (#356)
• slither-check-upgradeability: several improvements (#354), including:
  • Check for constant conformance
  • Remove false positive on fallback function
  • Allow the CLI to work without the proxy contract. Note: the CLI flags were changed [BREAKING CHANGE]
  • JSON output
• Contract summary printer: add upgradeability info (#369) and
  remove shadowed function (#353)
• Docker improvements (#244)
• Remove false positive on uninitialized state variable detector due to delegatecall proxy (#370)

Fixed

• slither-flat: handle cycles (#373)