See the intent.

    Auditor-grade analysis for smart contracts.

    Get DAPView demo

    Live demo

    Try it. Right here.

    Example finding

    Replay-proven reentrancy in Collect(uint256)

    One pinned public sample, PERSONAL_BANK, compiled from source revision 230e649123477eff332742a59a1c7cc6dc286cab. The finding is limited to this contract and function; it is not a dataset accuracy result.

    1. CALL · line 54

      msg.sender.call.value(_am)() transfers value and control before the balance update.

    2. SSTORE · line 56

      balances[msg.sender]-=_am runs only after the external call returns.

    3. Replay evidence

      Witness paths 4, 5, and 6 replayed against Collect(uint256) (selector 0x3fe43822).

    This single case study does not establish precision, recall, or a false-positive rate across a dataset. Review the sample in the interactive demo above.

    View the sample analysis

    Less noise. More signal.

    Audit with DAP and focus on what truly matters.

    Get DAP