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
Principalele funcționalități ale enzymefinance/oyente sunt: Smart Contract Auditing.
Alternativele open-source pentru enzymefinance/oyente includ: 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.