v0.6.14

0.6.14 - 2020-11-12

This release improves support for Solidity 0.7 and fixes many bugs. We moved all our tests to pytest and significantly improved our parsing test coverage to help support multiple versions of Solidity.

If you'd like to help us improve Slither, please answer our user survey.

Additionally, we recently hosted a community call where we went through Slither's codebase, and showed its different components (see the recording).

Finally, we would like to thank our contributors for reporting issues and helping us improve Slither:

• @sobolev-igor
• @moodysalem
• @mrice32
• @gorgos
• @f97
• @token-joe

Added

• Support for type(X).min/max (#673)
• Extensive parser tests (#635, #659, #682, #660)

Changed

• Refactor existing detectors test suit to use pytest (#656)
• Use crytic-compile@0.1.10. This includes hardhat support, and improvements for waffle and buidler.
• Support for comparison between function pointers (#618)
• Use black 19.10b0 instead of latest for Github's Super Linter (#680)
• IR push conversion (#625)

Fixed

• Multiple solc 0.7 parsing issues (#630, #642, #654)
• Use unique variable names for YUL variables (#648)
• CFG printer filename generation (#633)
• Loop CFG recovery issues (#655)
• Correctly link between nodes in the variables constructor step (#632)
• Wiki link for naming convention (#651)
• Minor Python types issues (#653)