- Pad when comparing BitVecs of unequal size - Notify user of Solidity compiler version mismatches
0.21.9
Not secure
- Refactor pruning plugin - Fix a crash in DoS module - Fix an issue in the memory implementation
0.21.8
Not secure
- Fix a bug in the memory implementation - Modify jsonv2 output to return a list of test cases
0.21.7
Not secure
- Improve handling of BitVecFuncs - Fix loader crash caused by missing zero padding of address strings - Handle `__eq__` and `__ne__` for BitVecs with different sizes - Set correct RPC port for Ganache - Enable Dynamodb module
0.21.6
Not secure
- Add vuln cache to all detection modules - Fix issue that caused some interesting states to be pruned - Compute transaction trace in every detection module
0.21.5
Not secure
- Fix recursive deepcopy bug in integer module - Fix bugs in DoS module - Store symbol annotations in sets instead of lists - Remove or refactor log statements that slowed down execution - Fix incorrect concatenation of symbol annotations - Check for overflow when arithmetic instr. result is used in call - Speed up SHA3 op