How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
Static Analyzer for Solidity and Vyper
This repository is a comprehensive educational curriculum and programming guide designed to teach Solidity development and smart contract testing. It provides a structured set of instructional materials and tutorials for writing, deploying, and auditing secure programmable contracts on the Ethereum Virtual Machine. The course focuses on the Foundry toolkit, providing an Ethereum tooling curriculum that covers compiling and testing smart contracts locally. It emphasizes a professional development workflow, moving from initial Solidity programming to the implementation of decentralized applicat
This project is a collection of instructional resources and manuals providing strategic defense frameworks for protecting cryptocurrency assets and digital identities. It serves as a security guide for mitigating blockchain-based exploits, managing digital wallets, and implementing risk frameworks to prevent the theft of digital assets. The documentation provides detailed handbooks on wallet security, including the management of private keys, the use of hardware wallets, and secure transaction signing. It offers specialized guidance on anti-phishing defense and the identification of social en
Oyente
The main features of enzymefinance/oyente are: Smart Contract Auditing.
Projects with overlapping indexed features include: trailofbits/slither — Static Analyzer for Solidity and Vyper. cyfrin/foundry-full-course-f23 — This repository is a comprehensive educational curriculum and programming guide designed to teach Solidity development… crytic/slither. slowmist/blockchain-dark-forest-selfguard-handbook — This project is a collection of instructional resources and manuals providing strategic defense frameworks for… ivicanikolicsg/maian — The repository contains Python implementation of Maian -- a tool for automatic detection of buggy Ethereum smart… eth-sri/securify2 — Securify v2.0.