ProveWall Check a token

Execution-proven

Vulnerability classes

104 classes where the exploit executed on a fork and a clean control resisted. Names are plain language; categories are public.

ClassCategorySeverityVerdict
Arbitrary delegatecallAccount abstractioncriticalPROVEN
Arbitrary storage writeAccess controlcriticalPROVEN
Assembly hidden delegatecallAccount abstractioncriticalPROVEN
Backdoor constructor ownerAccess controlcriticalPROVEN
Bridge message replayBridgecriticalPROVEN
Bridge replay realBridge-PROVEN
Claim forgerySignature-PROVEN
Compliance module DoSSignature-PROVEN
Compliance module swapSignature-PROVEN
Compliance reentrancyReentrancycriticalPROVEN
Cross contract reentrancyReentrancyhighPROVEN
Cross ctx replayBridge-PROVEN
Cross function reentrancyReentrancycriticalPROVEN
Decoy modifier accessOtherhighPROVEN
Donation health check bypassVault accountingcriticalPROVEN
DoS revert on refundLogic / DoShighPROVEN
DoS unbounded distributeLogic / DoSmediumPROVEN
Ecdsa nonce reuseZK / crypto-PROVEN
Ecrecover zero addressSignature-PROVEN
Eip712 domain confusionSignaturehighPROVEN
Eip712 typeconfusionSignature-PROVEN
Eip7702 chain agnostic replayAccount abstractionhighPROVEN
Eip7702 delegate persistent takeoverAccount abstractioncriticalPROVEN
Eip7702 init frontrunAccount abstractioncriticalPROVEN
Eip7702 txorigin guard bypassAccount abstractionhighPROVEN
Entrypoint forced revert griefingOtherhighPROVEN
Erc1271 sig spoofSignaturehighPROVEN
Erc1400 operator abuseVault accountinghighPROVEN
Erc2771 multicall address spoofOthercriticalPROVEN
Erc4337 validateop griefingAccount abstractionmediumPROVEN
Erc4626 inflationVault accountingcriticalPROVEN
Erc721 receive reentrancyReentrancyhighPROVEN
Erc734 execute replayOther-PROVEN
Erc777 hook reentrancyReentrancycriticalPROVEN
Evasive reentrancyReentrancycriticalPROVEN
Execute no approvalOther-PROVEN
Expired claimSignature-PROVEN
Fee on transfer accountingVault accountinghighPROVEN
Flashloan governanceGovernancehighPROVEN
Flashloan oracle lending chainOraclecriticalPROVEN
Guard boundary wrong constantOthercriticalPROVEN
Inconsistent rounding directionVault accountingmediumPROVEN
Integer underflowInteger arithmetichighPROVEN
Intent settlement forgeBridgecriticalPROVEN
Issuer registry openSignature-PROVEN
Jurisdiction limit bypassOther-PROVEN
Key purpose confusionOther-PROVEN
Malicious moduleSignature-PROVEN
Merkle allowlist replaySignaturehighPROVEN
Merkle claim no replay guardSignaturehighPROVEN
Missing access controlAccess controlhighPROVEN
Missing post op health checkOtherhighPROVEN
Missing role mintAccess controlhighPROVEN
Missing slippage min outputAMM / MEVhighPROVEN
Module unbounded gasOther-PROVEN
Oracle decimals mismatchOraclehighPROVEN
Partition default bypassOther-PROVEN
Pause bypassOthermediumPROVEN
Paymaster postop no calldata enforcementOtherhighPROVEN
Permit frontrun nonce DoSLogic / DoSmediumPROVEN
Proof of reserves forgeOther-PROVEN
Proxy storage collisionAccount abstraction-PROVEN
Quorum buyout low liquidity tokenGovernancehighPROVEN
Read only reentrancyReentrancyhighPROVEN
Readonly reentrancy oracle chainReentrancycriticalPROVEN
Recovery abuseSignature-PROVEN
ReentrancyReentrancy-PROVEN
Reentrancy ethReentrancycriticalPROVEN
RemoveKey takeoverOther-PROVEN
Revoked claimSignature-PROVEN
Root update no authBridgecriticalPROVEN
Rounding direction inconsistent pathsInteger arithmetichighPROVEN
Sanctions module bypassOther-PROVEN
Session key caveat enforcer gapOtherhighPROVEN
Sig malleabilitySignature-PROVEN
Sig replaySignature-PROVEN
Signature no deadline replaySignaturehighPROVEN
Signature replay cross domainAccess controlhighPROVEN
Single verifier dvn bridge forgeBridgecriticalPROVEN
Slashing window withdrawal evasionOtherhighPROVEN
Split state underflowOtherhighPROVEN
Spot price manipulationOraclecriticalPROVEN
Stale approval post cancel reuseOtherhighPROVEN
Stale price no checkOraclehighPROVEN
Threshold issuerSignature-PROVEN
Timelock governance bypassGovernancehighPROVEN
Transient storage low gas reentrancyReentrancycriticalPROVEN
Twap window too shortOraclecriticalPROVEN
Tx origin authOtherhighPROVEN
Tx origin indirectionOtherhighPROVEN
Unbounded price deviationOraclehighPROVEN
Unchecked erc20 transferTokenhighPROVEN
Unchecked low level callLogic / DoSmediumPROVEN
Unprotected initReentrancy-PROVEN
Unprotected initializerAccess controlcriticalPROVEN
Unrestricted addKeyOther-PROVEN
Unverified relayer mintBridgecriticalPROVEN
V4 flash accounting settle bypassVault accountingcriticalPROVEN
V4 hook missing access modifierAMM / MEVcriticalPROVEN
V malleabilitySignature-PROVEN
Weak randomnessLogic / DoShighPROVEN
Withdrawal double claimBridgecriticalPROVEN
Wrapper bypassReentrancy-PROVEN
ZK proof verifyZK / crypto-PROVEN