Skip to content

v4.3.0 🎄

Compare
Choose a tag to compare
@michprev michprev released this 24 Dec 20:12
· 305 commits to main since this release

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 and struct-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 by distutils not being available in Python 3.12