Starknet Security Tools

Starknet offers a range of tools for testing the security of smart contracts. We invite developers to improve existing tools or create new ones.

This section covers:

  • Tools for security testing.
  • Security considerations for smart contracts.

Below is an overview of the tools for Starknet security testing discussed in this chapter:

  1. Cairo-fuzzer: A tool for smart contract developers to test security. It functions both as a standalone tool and as a library.
  2. Caracal: A static analysis tool for Starknet smart contracts, utilizing the SIERRA representation.
  3. Thoth: A comprehensive Cairo/Starknet security toolkit. It includes analyzers, disassemblers, and decompilers.