amarna
Code auditor
Analyze and report on potential issues in Cairo code for improved security and maintainability.
Amarna is a static-analyzer and linter for the Cairo programming language.
148 stars
3 watching
7 forks
Language: Python
last commit: about 1 year ago
Linked from 1 awesome list
cairolinterstarknetstatic-analysis
amanusk/awesome-starknet-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
| crytic/caracal | A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues | 136 |
| crytic/tealer | A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal | 62 |
 epergo/sublimelinter-contrib-ameba | A tool providing an interface between Sublime Text and the Ameba code analysis engine | 14 |
| crytic/rattle | An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability | 353 |
 starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
 crystal-ameba/ameba | A tool for automatically checking and improving the quality of Crystal code | 525 |
 exakat/exakat | An automated code review tool for PHP codebases, identifying issues and potential problems to improve maintainability and quality. | 379 |
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
| crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 844 |
 cryptonerdcn/wasm-cairo | A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language. | 56 |
 rubik/argon | Analyzes and reports on the complexity of Haskell code | 98 |
 lambdaclass/cairo-vm | An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation. | 527 |
 keep-starknet-strange/alexandria | A collection of useful algorithms and data structures implemented in Cairo for use in software development. | 238 |
| crytic/solc-select | A tool to manage and switch between Solidity compiler versions | 764 |
 ai-citizen/solidgpt | An AI-powered search assistant for developers to find code and workspace information quickly. | 2,021 |