FuzzingLabs / thoth

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
https://fuzzinglabs.com/
GNU Affero General Public License v3.0
245 stars 21 forks source link

Add new detectors #138

Closed Rog3rSm1th closed 1 year ago

Rog3rSm1th commented 1 year ago

This PR adds:

  • New analyzers for thoth-sierra
  • Documentation update
  • New unit tests for the thoth-sierra analyzers