Ethereum-Smart-Contract-Automated-Vulnerability-Detection-and-Verification-Tool
Graduation_Project: Most efforts have focused on detecting vulnerable contracts, but automated verification of the exploitable nature of detected vulnerabilities is lacking. Therefore, this project requires the development of an automated analysis tool that integrates vulnerability detection and verification.
