0.6.12 - 2020-04-24

This release fixes a bug that was found in 0.6.11 preventing Slither to work on several codebases. Additional this release contains several minor fixes, and support for buidler.

We would like to thanks @elenadimitrova for quickly reporting issues #456 and #457.

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

Added

• zip export (#453)

Changed

• Use crytic-compile 0.1.8, which adds buidler support.
• Human summary printer: run the detectors only once, and add their results to the printer's json (#451)
• Echidna printer: export the constant values as string to facilitate Echidna's parsing (#454) [BREAKING CHANGE]

Fixed

• Revert the changes made in (#445) which lead to incorrectly parse functions with a contract used in a parameter (#458)
• Use Decimal instead of float to prevent loss of precision (#454)
• Echidna printer: fix incorrect support of state variable calls (#455)