Skip to content

Releases: smartbugs/smartbugs

SmartBugs 2.0.15

31 Aug 16:41
@gsalzer gsalzer
v2.0.15
9bda2ce
Compare
Choose a tag to compare
SmartBugs 2.0.15 Latest
Latest
  • Add tool CPG Contract Checker (CCC)
  • Update Oyente+
  • Fix Mythril parser
  • Reduce size of Ethainter image
Assets 2
Loading

SmartBugs 2.0.14

13 Aug 20:25
@gsalzer gsalzer
v2.0.14
fffbd15
Compare
Choose a tag to compare
SmartBugs 2.0.14
  • Tool Securify2 added
Loading

SmartBugs 2.0.13

07 Aug 12:36
@gsalzer gsalzer
v2.0.13
6d84818
Compare
Choose a tag to compare
SmartBugs 2.0.13
  • Update Slither to 0.11.3
Loading

SmartBugs 2.0.12

06 Aug 19:56
@gsalzer gsalzer
v2.0.12
660000f
Compare
Choose a tag to compare
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
Loading

SmartBugs 2.0.11

03 Aug 13:08
@gsalzer gsalzer
v2.0.11
8eea12d
Compare
Choose a tag to compare
SmartBugs 2.0.11
  • Add tool Oyente+
  • Add CLI option --continue-on-errors
Loading

SmartBugs 2.0.10

14 Jun 17:21
@gsalzer gsalzer
v2.0.10
90a0018
Compare
Choose a tag to compare
SmartBugs 2.0.10
  • Add Slither 0.10.0
  • Add debugging aids
Loading

SmartBugs 2.0.9

26 Apr 18:11
@gsalzer gsalzer
v2.0.9
8668092
Compare
Choose a tag to compare
SmartBugs 2.0.9
  • Bug fixes: #177, #179
  • Tool update: Mythril 0.24.7
Loading

SmartBugs 2.0.8

21 Nov 19:47
@gsalzer gsalzer
v2.0.8
bc44082
Compare
Choose a tag to compare
SmartBugs 2.0.8
  • new tool: semgrep
  • improved tool: eThor
Loading

SmartBugs 2.0.7

17 Feb 16:39
@gsalzer gsalzer
v2.0.7
f4d0ba1
Compare
Choose a tag to compare
SmartBugs 2.0.7
  • Improved timeout handling for Ethainter, Madmax, Osiris, Oyente and Honeybadger
Loading

SmartBugs 2.0.6

12 Feb 17:44
@gsalzer gsalzer
v2.0.6
7ed633c
Compare
Choose a tag to compare
SmartBugs 2.0.6
  • Option --main added
  • Tools confuzzius, honeybadger, maian, mythril, oyente, osiris, sfuzz configured to respect option --main
  • File extension of SB datasets changed from .txt to .sbd
Loading