Release v0.1.11

Changelog

• New Detectors:
  • HIGH: Incorrect ERC20 interface
  • HIGH: Out of order L1->L2 retryable transactions
  • HIGH: Incorrect ERC721 interface
  • HIGH: Constant function changing state
  • HIGH: Function signature collision
  • LOW: State variable initialized in a function
  • LOW: Builtin symbol shadowing
  • LOW: Costly operations within loops
  • LOW: State change inside assert
  • LOW: Cache array length
• Python bindings
• DevEx: Refactor callgraph naming and file structure

What's Changed

• Detector: Incorrect ERC20 interface by @TilakMaddy in #654
• Detector: State variable initialized by function by @TilakMaddy in #659
• Detector: Out of Order Retryable by @TilakMaddy in #660
• Feat: add python binding by @programskillforverification in #640
• Detector: Incorrect ERC721 contract by @TilakMaddy in #655
• Detector: Builtin Symbol Shadow by @TilakMaddy in #665
• Refactor Callgraph by @alexroan in #669
• Detector: Constant Function changing state by @TilakMaddy in #661
• Detector: Costly operations with loops by @TilakMaddy in #662
• Detector: Assert state change by @TilakMaddy in #663
• Detector: Cache array length by @TilakMaddy in #664
• Remove investigator keyword for callgraph by @alexroan in #679
• Detector: Function signature collision by @TilakMaddy in #670
• Bump version 0.1.11 by @alexroan in #680

New Contributors

• @programskillforverification made their first contribution in #640

Full Changelog: v0.1.10...v0.1.11