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.
The repository contains Python implementation of Maian -- a tool for automatic detection of buggy Ethereum smart contracts of three different types: prodigal, suicidal and greedy. Maian processes contract's bytecode and tries to build a trace of transactions to find and confirm bugs. The…
The main features of ivicanikolicsg/maian 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… eth-sri/securify2 — Securify v2.0. enzymefinance/oyente — Oyente.
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