Releases · smartbugs/smartbugs · GitHub

03 Jan 19:17

gsalzer

SmartBugs 2.0.16 Latest

Latest

streamline installation procedure
improve sw engineering standards: add tests, format code, add types
improve error parsing for ccc, securify2, slither, solhint
bump mythril to 0.24.8
new tools: mando, mando-hgt, vulhunter

Assets 2

31 Aug 16:41

gsalzer

SmartBugs 2.0.15

Add tool CPG Contract Checker (CCC)
Update Oyente+
Fix Mythril parser
Reduce size of Ethainter image

Assets 2

13 Aug 20:25

gsalzer

SmartBugs 2.0.14

Tool Securify2 added

Assets 2

07 Aug 12:36

gsalzer

SmartBugs 2.0.13

Update Slither to 0.11.3

Assets 2

06 Aug 19:56

gsalzer

SmartBugs 2.0.12

Update semgrep to version 1.131.0 with Decurity SC rules 1.2.1
Update solhint to version 6.0.0
Add copies of the contracts in samples that have been upgraded to Solidity 0.5.17, 0.6.12, 0.7.6, and 0.8.24

Assets 2

03 Aug 13:08

gsalzer

SmartBugs 2.0.11

Add tool Oyente+
Add CLI option --continue-on-errors

Assets 2

14 Jun 17:21

gsalzer

SmartBugs 2.0.10

Add Slither 0.10.0
Add debugging aids

Assets 2

26 Apr 18:11

gsalzer

SmartBugs 2.0.9

Bug fixes: #177, #179
Tool update: Mythril 0.24.7

Assets 2

21 Nov 19:47

gsalzer

SmartBugs 2.0.8

new tool: semgrep
improved tool: eThor

Assets 2

17 Feb 16:39

gsalzer

SmartBugs 2.0.7

Improved timeout handling for Ethainter, Madmax, Osiris, Oyente and Honeybadger

Assets 2