Analysis Run

019b477e-b122-716a-b1f4-7cc01339e9b0

complete

Chain ID

1

Address

0xa620240a87ab21c9eb5cd5265e3e6c7de8103dae

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
22099	artifact.fetch	complete	1 / 3	3 months ago
22100	tool.cast_disasm	complete	1 / 3	3 months ago
101883	analysis.bundle	complete	1 / 3	1 week ago
101884	capability.graph	complete	1 / 3	1 week ago
101885	detector.run	complete	1 / 3	1 week ago
101886	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

1

Total opcodes

666

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0082
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x153fbb81
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x0091
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x1e9a6950
00000046: EQ
00000047: PUSH2 0x00c6
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x2e1a7d4d
00000051: EQ
00000052: PUSH2 0x00ea
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x715018a6
0000005c: EQ
0000005d: PUSH2 0x0102
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x8da5cb5b
00000067: EQ
00000068: PUSH2 0x0117
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xa79e07c1
00000072: EQ
00000073: PUSH2 0x0148
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xf2fde38b
0000007d: EQ
0000007e: PUSH2 0x015d
00000081: JUMPI
00000082: JUMPDEST
00000083: PUSH1 0x00
00000085: CALLVALUE
00000086: GT
00000087: PUSH2 0x008f
0000008a: JUMPI
0000008b: PUSH1 0x00
0000008d: DUP1
0000008e: REVERT
0000008f: JUMPDEST
00000090: STOP
00000091: JUMPDEST
00000092: CALLVALUE
00000093: DUP1
00000094: ISZERO
00000095: PUSH2 0x009d
00000098: JUMPI
00000099: PUSH1 0x00
0000009b: DUP1
0000009c: REVERT
0000009d: JUMPDEST
0000009e: POP
0000009f: PUSH2 0x00b2
000000a2: PUSH1 0x01
000000a4: PUSH1 0xa0
000000a6: PUSH1 0x02
000000a8: EXP
000000a9: SUB
000000aa: PUSH1 0x04
000000ac: CALLDATALOAD
000000ad: AND
000000ae: PUSH2 0x017e
000000b1: JUMP
000000b2: JUMPDEST
000000b3: PUSH1 0x40
000000b5: DUP1
000000b6: MLOAD
000000b7: SWAP2
000000b8: ISZERO
000000b9: ISZERO
000000ba: DUP3
000000bb: MSTORE
000000bc: MLOAD
000000bd: SWAP1
000000be: DUP2
000000bf: SWAP1
000000c0: SUB
000000c1: PUSH1 0x20
000000c3: ADD
000000c4: SWAP1
000000c5: RETURN
000000c6: JUMPDEST
000000c7: CALLVALUE
000000c8: DUP1
000000c9: ISZERO
000000ca: PUSH2 0x00d2
000000cd: JUMPI
000000ce: PUSH1 0x00
000000d0: DUP1
000000d1: REVERT
000000d2: JUMPDEST
000000d3: POP
000000d4: PUSH2 0x00b2
000000d7: PUSH1 0x01
000000d9: PUSH1 0xa0
000000db: PUSH1 0x02
000000dd: EXP
000000de: SUB
000000df: PUSH1 0x04
000000e1: CALLDATALOAD
000000e2: AND
000000e3: PUSH1 0x24
000000e5: CALLDATALOAD
000000e6: PUSH2 0x01ff
000000e9: JUMP
000000ea: JUMPDEST
000000eb: CALLVALUE
000000ec: DUP1
000000ed: ISZERO
000000ee: PUSH2 0x00f6
000000f1: JUMPI
000000f2: PUSH1 0x00
000000f4: DUP1
000000f5: REVERT
000000f6: JUMPDEST
000000f7: POP
000000f8: PUSH2 0x00b2
000000fb: PUSH1 0x04
000000fd: CALLDATALOAD
000000fe: PUSH2 0x02bd
00000101: JUMP
00000102: JUMPDEST
00000103: CALLVALUE
00000104: DUP1
00000105: ISZERO
00000106: PUSH2 0x010e
00000109: JUMPI
0000010a: PUSH1 0x00
0000010c: DUP1
0000010d: REVERT
0000010e: JUMPDEST
0000010f: POP
00000110: PUSH2 0x008f
00000113: PUSH2 0x034f
00000116: JUMP
00000117: JUMPDEST
00000118: CALLVALUE
00000119: DUP1
0000011a: ISZERO
0000011b: PUSH2 0x0123
0000011e: JUMPI
0000011f: PUSH1 0x00
00000121: DUP1
00000122: REVERT
00000123: JUMPDEST
00000124: POP
00000125: PUSH2 0x012c
00000128: PUSH2 0x03bb
0000012b: JUMP
0000012c: JUMPDEST
0000012d: PUSH1 0x40
0000012f: DUP1
00000130: MLOAD
00000131: PUSH1 0x01
00000133: PUSH1 0xa0
00000135: PUSH1 0x02
00000137: EXP
00000138: SUB
00000139: SWAP1
0000013a: SWAP3
0000013b: AND
0000013c: DUP3
0000013d: MSTORE
0000013e: MLOAD
0000013f: SWAP1
00000140: DUP2
00000141: SWAP1
00000142: SUB
00000143: PUSH1 0x20
00000145: ADD
00000146: SWAP1
00000147: RETURN
00000148: JUMPDEST
00000149: CALLVALUE
0000014a: DUP1
0000014b: ISZERO
0000014c: PUSH2 0x0154
0000014f: JUMPI
00000150: PUSH1 0x00
00000152: DUP1
00000153: REVERT
00000154: JUMPDEST
00000155: POP
00000156: PUSH2 0x012c
00000159: PUSH2 0x03ca
0000015c: JUMP
0000015d: JUMPDEST
0000015e: CALLVALUE
0000015f: DUP1
00000160: ISZERO
00000161: PUSH2 0x0169
00000164: JUMPI
00000165: PUSH1 0x00
00000167: DUP1
00000168: REVERT
00000169: JUMPDEST
0000016a: POP
0000016b: PUSH2 0x008f
0000016e: PUSH1 0x01
00000170: PUSH1 0xa0
00000172: PUSH1 0x02
00000174: EXP
00000175: SUB
00000176: PUSH1 0x04
00000178: CALLDATALOAD
00000179: AND
0000017a: PUSH2 0x03d9
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH1 0x00
00000181: DUP1
00000182: SLOAD
00000183: PUSH1 0x01
00000185: PUSH1 0xa0
00000187: PUSH1 0x02
00000189: EXP
0000018a: SUB
0000018b: AND
0000018c: CALLER
0000018d: EQ
0000018e: PUSH2 0x0196
00000191: JUMPI
00000192: PUSH1 0x00
00000194: DUP1
00000195: REVERT
00000196: JUMPDEST
00000197: PUSH1 0x01
00000199: DUP1
0000019a: SLOAD
0000019b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001b0: NOT
000001b1: AND
000001b2: PUSH1 0x01
000001b4: PUSH1 0xa0
000001b6: PUSH1 0x02
000001b8: EXP
000001b9: SUB
000001ba: DUP5
000001bb: AND
000001bc: SWAP1
000001bd: DUP2
000001be: OR
000001bf: SWAP1
000001c0: SWAP2
000001c1: SSTORE
000001c2: PUSH1 0x40
000001c4: DUP1
000001c5: MLOAD
000001c6: SWAP2
000001c7: DUP3
000001c8: MSTORE
000001c9: TIMESTAMP
000001ca: PUSH1 0x20
000001cc: DUP4
000001cd: ADD
000001ce: MSTORE
000001cf: DUP1
000001d0: MLOAD
000001d1: PUSH32 0x2fd442b3e237901e2c1de06457ac8d13f340f9999e85efa92fc166df89d4449f
000001f2: SWAP3
000001f3: DUP2
000001f4: SWAP1
000001f5: SUB
000001f6: SWAP1
000001f7: SWAP2
000001f8: ADD
000001f9: SWAP1
000001fa: LOG1
000001fb: SWAP2
000001fc: SWAP1
000001fd: POP
000001fe: JUMP
000001ff: JUMPDEST
00000200: PUSH1 0x01
00000202: SLOAD
00000203: PUSH1 0x00
00000205: SWAP1
00000206: PUSH1 0x01
00000208: PUSH1 0xa0
0000020a: PUSH1 0x02
0000020c: EXP
0000020d: SUB
0000020e: AND
0000020f: CALLER
00000210: EQ
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: PUSH1 0x01
0000021c: PUSH1 0xa0
0000021e: PUSH1 0x02
00000220: EXP
00000221: SUB
00000222: DUP4
00000223: AND
00000224: ISZERO
00000225: ISZERO
00000226: PUSH2 0x022e
00000229: JUMPI
0000022a: PUSH1 0x00
0000022c: DUP1
0000022d: REVERT
0000022e: JUMPDEST
0000022f: ADDRESS
00000230: BALANCE
00000231: DUP3
00000232: LT
00000233: PUSH2 0x023b
00000236: JUMPI
00000237: PUSH1 0x00
00000239: DUP1
0000023a: REVERT
0000023b: JUMPDEST
0000023c: PUSH1 0x40
0000023e: MLOAD
0000023f: PUSH1 0x01
00000241: PUSH1 0xa0
00000243: PUSH1 0x02
00000245: EXP
00000246: SUB
00000247: DUP5
00000248: AND
00000249: SWAP1
0000024a: DUP4
0000024b: ISZERO
0000024c: PUSH2 0x08fc
0000024f: MUL
00000250: SWAP1
00000251: DUP5
00000252: SWAP1
00000253: PUSH1 0x00
00000255: DUP2
00000256: DUP2
00000257: DUP2
00000258: DUP6
00000259: DUP9
0000025a: DUP9
0000025b: CALL
0000025c: SWAP4
0000025d: POP
0000025e: POP
0000025f: POP
00000260: POP
00000261: ISZERO
00000262: DUP1
00000263: ISZERO
00000264: PUSH2 0x0271
00000267: JUMPI
00000268: RETURNDATASIZE
00000269: PUSH1 0x00
0000026b: DUP1
0000026c: RETURNDATACOPY
0000026d: RETURNDATASIZE
0000026e: PUSH1 0x00
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH1 0x40
00000275: DUP1
00000276: MLOAD
00000277: DUP4
00000278: DUP2
00000279: MSTORE
0000027a: TIMESTAMP
0000027b: PUSH1 0x20
0000027d: DUP3
0000027e: ADD
0000027f: MSTORE
00000280: DUP2
00000281: MLOAD
00000282: PUSH1 0x01
00000284: PUSH1 0xa0
00000286: PUSH1 0x02
00000288: EXP
00000289: SUB
0000028a: DUP7
0000028b: AND
0000028c: SWAP3
0000028d: PUSH32 0x8a7151f41fe8ce5f2a83e179689e574cad729fb337d5d5bd1f85847aaab59724
000002ae: SWAP3
000002af: DUP3
000002b0: SWAP1
000002b1: SUB
000002b2: ADD
000002b3: SWAP1
000002b4: LOG2
000002b5: POP
000002b6: PUSH1 0x01
000002b8: SWAP3
000002b9: SWAP2
000002ba: POP
000002bb: POP
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: SLOAD
000002c2: PUSH1 0x01
000002c4: PUSH1 0xa0
000002c6: PUSH1 0x02
000002c8: EXP
000002c9: SUB
000002ca: AND
000002cb: CALLER
000002cc: EQ
000002cd: PUSH2 0x02d5
000002d0: JUMPI
000002d1: PUSH1 0x00
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: PUSH1 0x00
000002d8: DUP3
000002d9: GT
000002da: PUSH2 0x02e2
000002dd: JUMPI
000002de: PUSH1 0x00
000002e0: DUP1
000002e1: REVERT
000002e2: JUMPDEST
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: CALLER
000002e7: SWAP1
000002e8: DUP4
000002e9: ISZERO
000002ea: PUSH2 0x08fc
000002ed: MUL
000002ee: SWAP1
000002ef: DUP5
000002f0: SWAP1
000002f1: PUSH1 0x00
000002f3: DUP2
000002f4: DUP2
000002f5: DUP2
000002f6: DUP6
000002f7: DUP9
000002f8: DUP9
000002f9: CALL
000002fa: SWAP4
000002fb: POP
000002fc: POP
000002fd: POP
000002fe: POP
000002ff: ISZERO
00000300: DUP1
00000301: ISZERO
00000302: PUSH2 0x030f
00000305: JUMPI
00000306: RETURNDATASIZE
00000307: PUSH1 0x00
00000309: DUP1
0000030a: RETURNDATACOPY
0000030b: RETURNDATASIZE
0000030c: PUSH1 0x00
0000030e: REVERT
0000030f: JUMPDEST
00000310: POP
00000311: PUSH1 0x40
00000313: DUP1
00000314: MLOAD
00000315: DUP4
00000316: DUP2
00000317: MSTORE
00000318: TIMESTAMP
00000319: PUSH1 0x20
0000031b: DUP3
0000031c: ADD
0000031d: MSTORE
0000031e: DUP2
0000031f: MLOAD
00000320: PUSH32 0x9ed466151d2eb373850d4b718aa4053817dd9b0cf8b4815daba80798bb8e9e68
00000341: SWAP3
00000342: SWAP2
00000343: DUP2
00000344: SWAP1
00000345: SUB
00000346: SWAP1
00000347: SWAP2
00000348: ADD
00000349: SWAP1
0000034a: LOG1
0000034b: SWAP2
0000034c: SWAP1
0000034d: POP
0000034e: JUMP
0000034f: JUMPDEST
00000350: PUSH1 0x00
00000352: SLOAD
00000353: PUSH1 0x01
00000355: PUSH1 0xa0
00000357: PUSH1 0x02
00000359: EXP
0000035a: SUB
0000035b: AND
0000035c: CALLER
0000035d: EQ
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH1 0x00
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: PUSH1 0x00
00000369: DUP1
0000036a: SLOAD
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: PUSH1 0x01
00000370: PUSH1 0xa0
00000372: PUSH1 0x02
00000374: EXP
00000375: SUB
00000376: SWAP1
00000377: SWAP2
00000378: AND
00000379: SWAP2
0000037a: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820
0000039b: SWAP2
0000039c: LOG2
0000039d: PUSH1 0x00
0000039f: DUP1
000003a0: SLOAD
000003a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b6: NOT
000003b7: AND
000003b8: SWAP1
000003b9: SSTORE
000003ba: JUMP
000003bb: JUMPDEST
000003bc: PUSH1 0x00
000003be: SLOAD
000003bf: PUSH1 0x01
000003c1: PUSH1 0xa0
000003c3: PUSH1 0x02
000003c5: EXP
000003c6: SUB
000003c7: AND
000003c8: DUP2
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH1 0x01
000003cd: SLOAD
000003ce: PUSH1 0x01
000003d0: PUSH1 0xa0
000003d2: PUSH1 0x02
000003d4: EXP
000003d5: SUB
000003d6: AND
000003d7: DUP2
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x00
000003dc: SLOAD
000003dd: PUSH1 0x01
000003df: PUSH1 0xa0
000003e1: PUSH1 0x02
000003e3: EXP
000003e4: SUB
000003e5: AND
000003e6: CALLER
000003e7: EQ
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: PUSH2 0x03f9
000003f4: DUP2
000003f5: PUSH2 0x03fc
000003f8: JUMP
000003f9: JUMPDEST
000003fa: POP
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH1 0x01
000003ff: PUSH1 0xa0
00000401: PUSH1 0x02
00000403: EXP
00000404: SUB
00000405: DUP2
00000406: AND
00000407: ISZERO
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: PUSH1 0x00
00000414: DUP1
00000415: SLOAD
00000416: PUSH1 0x40
00000418: MLOAD
00000419: PUSH1 0x01
0000041b: PUSH1 0xa0
0000041d: PUSH1 0x02
0000041f: EXP
00000420: SUB
00000421: DUP1
00000422: DUP6
00000423: AND
00000424: SWAP4
00000425: SWAP3
00000426: AND
00000427: SWAP2
00000428: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000449: SWAP2
0000044a: LOG3
0000044b: PUSH1 0x00
0000044d: DUP1
0000044e: SLOAD
0000044f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000464: NOT
00000465: AND
00000466: PUSH1 0x01
00000468: PUSH1 0xa0
0000046a: PUSH1 0x02
0000046c: EXP
0000046d: SUB
0000046e: SWAP3
0000046f: SWAP1
00000470: SWAP3
00000471: AND
00000472: SWAP2
00000473: SWAP1
00000474: SWAP2
00000475: OR
00000476: SWAP1
00000477: SSTORE
00000478: JUMP
00000479: STOP
0000047a: LOG1
0000047b: PUSH6 0x627a7a723058
00000482: KECCAK256
00000483: UNKNOWN(0xB8)
00000484: UNKNOWN(0x27)
00000485: UNKNOWN(0xBA)
00000486: CALLVALUE
00000487: UNKNOWN(0x27)
00000488: PUSH16 0xd7e69635e6c69c7e38d7e63836d7fbca
00000499: PUSH13

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xf7a5a9e71c824704059adc66528c5598f94620959f5d239ad29a6bd4b92783ec call_targets: 0xa620240a87ab21c9eb5cd5265e3e6c7de8103dae target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf7a5a9e71c824704059adc66528c5598f94620959f5d239ad29a6bd4b92783ec", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa620240a87ab21c9eb5cd5265e3e6c7de8103dae" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x153fbb81", "selector": "0x153fbb81", "calldata_variants": [ "0x153fbb81", "0x153fbb810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1e9a6950", "selector": "0x1e9a6950", "calldata_variants": [ "0x1e9a6950", "0x1e9a69500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa79e07c1", "selector": "0xa79e07c1", "calldata_variants": [ "0xa79e07c1", "0xa79e07c10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 603, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 761, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xf7a5a9e71c824704059adc66528c5598f94620959f5d239ad29a6bd4b92783ec call_targets: 0xa620240a87ab21c9eb5cd5265e3e6c7de8103dae target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf7a5a9e71c824704059adc66528c5598f94620959f5d239ad29a6bd4b92783ec", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa620240a87ab21c9eb5cd5265e3e6c7de8103dae" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x153fbb81", "selector": "0x153fbb81", "calldata_variants": [ "0x153fbb81", "0x153fbb810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1e9a6950", "selector": "0x1e9a6950", "calldata_variants": [ "0x1e9a6950", "0x1e9a69500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa79e07c1", "selector": "0xa79e07c1", "calldata_variants": [ "0xa79e07c1", "0xa79e07c10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 603, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 761, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

high

other

detector

Untrusted CALL target/value reachable

60

no

view

trace_id: 0xf7a5a9e71c824704059adc66528c5598f94620959f5d239ad29a6bd4b92783ec

call_targets: 0xa620240a87ab21c9eb5cd5265e3e6c7de8103dae

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf7a5a9e71c824704059adc66528c5598f94620959f5d239ad29a6bd4b92783ec",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa620240a87ab21c9eb5cd5265e3e6c7de8103dae"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}

witness_json

{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x153fbb81",
            "selector": "0x153fbb81",
            "calldata_variants": [
                "0x153fbb81",
                "0x153fbb810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e9a6950",
            "selector": "0x1e9a6950",
            "calldata_variants": [
                "0x1e9a6950",
                "0x1e9a69500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa79e07c1",
            "selector": "0xa79e07c1",
            "calldata_variants": [
                "0xa79e07c1",
                "0xa79e07c10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 603,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 761,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}