caracal
Contract analyzer
A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues
Static Analyzer for Starknet smart contracts
136 stars
5 watching
7 forks
Language: Cairo
last commit: about 1 year ago
Linked from 2 awesome lists
keep-starknet-strange/awesome-starknet
amanusk/awesome-starknet-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
| crytic/tealer | A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal | 62 |
| crytic/amarna | Analyze and report on potential issues in Cairo code for improved security and maintainability. | 148 |
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 nascentxyz/pyrometer | Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis | 682 |
 kariy/jin | A tool for extracting and saving Starknet contract storage data from blockchain state updates | 12 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 145 |
 cairopen/cairopen-contracts | A set of standardized libraries for working with strings, math, binary, and hashing in Cairo contracts on StarkNet. | 23 |
| crytic/building-secure-contracts | Provides guidelines and best practices for developing secure smart contracts in the Ethereum ecosystem. | 2,240 |
 chao-peng/sif | A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code. | 50 |
 nccgroup/web3-decoder | An extension for Burp Suite to analyze JSON-RPC calls related to Ethereum smart contracts | 111 |
 naddison36/sol2uml | A tool for visualizing and analyzing Solidity contracts using Unified Modeling Language (UML) and blockchain explorer APIs. | 1,178 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
| fuzzinglabs/cairo-fuzzer | A tool for testing smart contract security by generating random inputs and executing them on a contract to identify vulnerabilities. | 120 |
 l-henri/starknet-cairo-101 | A tutorial series on building smart contracts with the Cairo language on StarkNet. | 23 |