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