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
SmartCheck is an extensible static analysis tool for discovering vulnerabilities and other code issues in Ethereum smart contracts written in the Solidity programming language.
The main features of smartdec/smartcheck are: Smart Contract Auditing.
Open-source alternatives to smartdec/smartcheck 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… eth-sri/securify2 — Securify v2.0. enzymefinance/oyente — Oyente.