Features:
- print warnings when a detector set in config options is not discovered (both on the CLI and in LSP)
- added new
complex-struct-getter
andstruct-mapping-deletion
detectors - added new
c3-linearization
printer - re-run detectors after modifying a loaded detector
Fixes:
- fixed Yul
return
ignored in the control flow graph - fixed
AssertionError
in call traces when running out of gas - fixed
abi-encode-with-signature
detector when processing signatures with nested brackets - fixed detectors were not re-run after changing a detector-specific setting
- bumped
abch-tree-sitter
minimal version, fixing the language server crashes caused bydistutils
not being available in Python 3.12