fauzan-aldi/bug_web3

This project focuses on identifying and categorizing exploitable bugs in smart contracts, particularly those that cannot be detected by simple oracles like reentrancy. It provides a dataset of smart contract vulnerabilities, categorized into out-of-scope, simple oracle detectable, and advanced semantic oracle required bugs, along with tools and techniques for automated security analysis. The project is designed for blockchain developers, security researchers, and auditors looking to improve smart contract security through advanced semantic analysis and automated vulnerability detection.