amarna
by crytic
Amarna is a static-analyzer and linter for the Cairo programming language.
AI summary
Code auditor
Analyze and report on potential issues in Cairo code for improved security and maintainability.
- stars
- 148
- forks
- 7
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Contract analyzer
A tool for analyzing Starknet smart contracts written in Cairo for potential vulnerabilities and security issues
Contract Analyzer
A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal
Code analyzer
A tool providing an interface between Sublime Text and the Ameba code analysis engine
EVM analyzer
An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability
Programmable language
A Rust-based language for creating provable programs with computational integrity
Code analyzer
A tool for automatically checking and improving the quality of Crystal code
Code auditor
An automated code review tool for PHP codebases, identifying issues and potential problems to improve maintainability and quality.
Smart contract analyzer
An all-in-one security toolkit for analyzing and decoding smart contract bytecode
Bytecode analyzer
An EVM bytecode disassembler and analysis tool for Ethereum contracts.
Runtime environment
A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language.
Code complexity analyzer
Analyzes and reports on the complexity of Haskell code
Program Verifier
An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation.
Cairo library
A collection of useful algorithms and data structures implemented in Cairo for use in software development.
Compiler manager
A tool to manage and switch between Solidity compiler versions
Search agent
An AI-powered search assistant for developers to find code and workspace information quickly.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions amarna.
