Detecting Vulnerabilities, Byte by Byte: The Architecture of AVVERIFIER | HackerNoon
AVVERIFIER is designed to detect address verification vulnerabilities in Ethereum smart contracts using a code grapher, EVM simulator, and vulnerability detector.
9 Quadrillion Reasons Web3 Still Isn't Ready | HackerNoon
Mobius essentially lost $2 million due to a simple copy-paste error in its smart contract, revealing serious lapses in Web3's approach to financial software.