- Fix formatting of CFGs - Fix a bug in laser-ethereum where function names where not correctly assigned to states - SVM: Bugfix for symbolic memory index in op CALL & CALLCODE
0.17.0
Not secure
- SVM: Fix bugs in SLOAD and ADDRESS instructions - SVM: Add taint analysis - Refactor command line tool - Improve integer overflow detection - Multiple bugfixes
0.16.24
- Fix an issue that cause false positives in integer overflow detection - Explicitly satisfy RLP dependency - Quick fix for re-enabling compatibilty to Python 3.4-3.5
0.16.18
Not secure
- Fix incorrect definition of MAX_UINT in integer overflow check - Fix incorrect Z3 expression in integer overflow check
0.16.6
Not secure
- Fix calculation of storage position in dynamic arrays - Fix a regex error in "dependency on predictable vars" module - Add 'attr' package to dependencies