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.