Tag
4 repositories
Example Manticore scripts
Solving CTF with Foundry, Slither, Echidna, and Manticore.
Assignment 2 for Penetration Testing — Advanced Blockchain Security assessment of the UnstoppableVault smart contract (Damn Vulnerable DeFi v4) using Slither, Foundry, Mythril, Manticore, and Echidna. 48 vulnerabilities identified including 2 HIGH severity findings (arbitrary transferFrom & controlled delegatecall).
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.