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: 10 months 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 | 350 |
 starkware-libs/cairo | A Rust-based language for creating provable programs that can perform general computation | 1,599 |
 crystal-ameba/ameba | A tool for automatically checking and improving the quality of Crystal code | 522 |
 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 | 244 |
| crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 842 |
 cryptonerdcn/wasm-cairo | A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language. | 54 |
 rubik/argon | Analyzes and reports on the complexity of Haskell code | 98 |
 lambdaclass/cairo-vm | An implementation of the Cairo VM in Rust for generating provable programs. | 522 |
 keep-starknet-strange/alexandria | A collection of useful algorithms and data structures implemented in Cairo for use in software development. | 234 |
| crytic/solc-select | A tool to manage and switch between Solidity compiler versions | 755 |
 ai-citizen/solidgpt | An AI-powered search assistant for developers to find code and workspace insights within their project files. | 2,016 |