- Add gas simulation - Fix a bug where SUICIDE instruction would delete account state - Use z3 overflow checks to detect ADD / MUL overflows
0.19.4
Not secure
- Add compatibility with z3-solver 4.8.0.0 - Add a new CLI option to load contract creation bytecode - Change default max-transaction-count to 2 - Change info log level to be less verbose - Print errors via error logger instead of stdout - Rewrite "Ether Thief" module - Add type hints, refactoring and bugfixes
0.18.13
Not secure
- Multiple bugfixes - add SWC ID
0.18.12
Not secure
- Multi transactional analysis - Multiple bug fixes
0.18.11
Not secure
- Fixes multiple bugs - Supports Codecopy instruction - Supports function signatures for truffle. - Faster search in local leveldb
0.18.10
Not secure
- Add a -V option to know the version - Fixes search feature by sending correct hashes - Fixes a bug in codecopy instruction