evm-semantics by runtimeverification

K Semantics of the Ethereum Virtual Machine (EVM)

updated at May 24, 2024, 1:41 p.m.

54 +0

497 +0

132 +0

awesome-buggy-erc20-tokens by sec-bit

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

updated at May 18, 2024, 1:49 p.m.

39 +0

597 +0

101 +0