CertiK AutoScan Engine: 53 of the top 500 tokens by market cap were found to have vulnerabilities

CertiK announces the launch of its AutoScan Engine (CASE) and reports results from scanning the top 500 ERC-20 tokens: 53 contracts were found with vulnerabilities affecting roughly $40M in market cap, including three new critical issues (Unlimited Burn, Unlimited Mint, Token Transfer = Mint) and two medium-severity bugs (Orphan Token, Underflow from Balance Withdrawal). The report explains the symptoms and potential impacts of these flaws, emphasizes CertiK's formal verification capabilities, and states the company will privately notify affected projects and offer automated, continuous monitoring to exchanges and token teams.