0.4.0 - 2018-12-14

This release brings 4 new detectors, improves the support for Solidity >=0.5, and fixes several minor issues.

Thanks to our external contributors!

@adamhos
@mattaereal
@mihairaulea

Added

• New detectors:
  • shadowing-state: Detect state variables shadowed
  • shadowing-abstract: Detect state variables shadowed from abstract contracts
  • timestamp: Detect dangerous usage of block.timestamp
  • calls-loop: Detect dangerous calls inside a loop
• --trufle-version version flag: Allow to install and run a local version of truffle (#105)
  • slither --truffle-version truffle@beta . : Run truffle with Solidity 0.5
  • slither --truffle-version truffle@4.1.14 . : Run truffle with Solidity 0.4

Changed

• Improve Solidity 0.5.0 and 0.5.1 support (#102)
• Json output format (#108)

Fixed

• Variable unpacking issue for the contract printer (#104)
• Multiple minor parsing bugs (#98, #99, #100)
• Incorrect do-while recovery (#97)
• SlithIR: incorrect return tuple conversion (#89)