Releases: smartbugs/smartbugs
Releases · smartbugs/smartbugs
SmartBugs 2.1.1
SmartBugs 2.1.0
- Replace solcx by solc-select: solcx has been unmaintained for some time, and the server used by solcx is deprecated and is not updated anymore with new solc-versions
- Increase test coverage
SmartBugs 2.0.18
- Update Vulhunter
- Tools configured to run isolated from the network; only mythril-0.23.5 (outdated) needs access to the internet
SmartBugs 2.0.17
- Adjustments regarding mythril, securify2, semgrep, slither, solhint
--networkoption; containers now are isolated from the network by default- Output debugging information
SmartBugs 2.0.16
- 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
SmartBugs 2.0.15
- Add tool CPG Contract Checker (CCC)
- Update Oyente+
- Fix Mythril parser
- Reduce size of Ethainter image
SmartBugs 2.0.14
- Tool Securify2 added
SmartBugs 2.0.13
- Update Slither to 0.11.3
SmartBugs 2.0.12
- Update
semgrepto version 1.131.0 with Decurity SC rules 1.2.1 - Update
solhintto version 6.0.0 - Add copies of the contracts in
samplesthat have been upgraded to Solidity 0.5.17, 0.6.12, 0.7.6, and 0.8.24
SmartBugs 2.0.11
- Add tool Oyente+
- Add CLI option
--continue-on-errors