Skip to content

v0.6.12
Compare
Choose a tag to compare
@montyly montyly released this 24 Apr 14:10
· 2883 commits to master since this release
0.6.12
2fe3109

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

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)
Assets 2
Loading