v0.6.8
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:
Added
slither-check-erc
: check for conformance to the most used ERCs #350slither-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)