Amarna is an innovative tool designed specifically for the Cairo programming language, offering advanced static analysis capabilities and acting as a reliable linter.
Categories
Supported Chains
Amarna, created by Crytic, the blockchain division of Trail Of Bits, is a powerful static analyzer designed specifically for Cairo. Cairo is a programming language widely adopted by applications like dYdX for developing “provable programs”.
With Amarna, developers gain the ability to effortlessly search for custom code patterns and leverage a comprehensive set of vulnerability flags. It also offers support for creating both local and global rules for analysis, providing flexibility and customization options.
One of Amarna’s standout features is its direct parsing capability for StarkNet contracts. Additionally, it allows users to export analysis results to VSCode in the SARIF format, enabling seamless integration with existing development workflows.
Get early access to an Enhanced Token Page to boost your token project’s exposure
 |
EthlintStatic Analysis Tools |
Ethlint, previously known as Solium, is a cutting-edge tool that meticulously examines your Solidity code, identifying any potential style and security concerns, and effectively resolves them.
 |
SlitherStatic Analysis Tools |
This project offers a comprehensive framework for analyzing Solidity code and detecting vulnerabilities in smart contracts, making it an ideal tool for conducting thorough audits.
 |
SolhintStatic Analysis Tools |
Protofire has developed an open-source Solidity linter that focuses on identifying syntax-related vulnerabilities. This configurable tool allows developers to ensure the security of their smart contracts by detecting potential issues in the code.
The most powerful web3 developer products and tools with resources, community and legendary support.
