Analysis Run

019b477e-c2ca-71ca-ad2d-28d04288de50

complete

Chain ID

1

Address

0x754b6f8efe5c36e03b5d4450e21046742d1d3876

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
25101	artifact.fetch	complete	1 / 3	3 months ago
25102	tool.cast_disasm	complete	1 / 3	3 months ago
91177	analysis.bundle	complete	1 / 3	2 weeks ago
91178	capability.graph	complete	1 / 3	2 weeks ago
91179	detector.run	complete	1 / 3	2 weeks ago
91180	validation.fork	complete	1 / 3	2 weeks 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

0

Total opcodes

770

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 0x0055
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x51cff8d9
00000019: EQ
0000001a: PUSH2 0x005a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x715018a6
00000024: EQ
00000025: PUSH2 0x007c
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x0091
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe3a9db1a
0000003a: EQ
0000003b: PUSH2 0x00be
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0102
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf340fa01
00000050: EQ
00000051: PUSH2 0x0122
00000054: JUMPI
00000055: JUMPDEST
00000056: PUSH1 0x00
00000058: DUP1
00000059: REVERT
0000005a: JUMPDEST
0000005b: CALLVALUE
0000005c: DUP1
0000005d: ISZERO
0000005e: PUSH2 0x0066
00000061: JUMPI
00000062: PUSH1 0x00
00000064: DUP1
00000065: REVERT
00000066: JUMPDEST
00000067: POP
00000068: PUSH2 0x007a
0000006b: PUSH2 0x0075
0000006e: CALLDATASIZE
0000006f: PUSH1 0x04
00000071: PUSH2 0x04bf
00000074: JUMP
00000075: JUMPDEST
00000076: PUSH2 0x0135
00000079: JUMP
0000007a: JUMPDEST
0000007b: STOP
0000007c: JUMPDEST
0000007d: CALLVALUE
0000007e: DUP1
0000007f: ISZERO
00000080: PUSH2 0x0088
00000083: JUMPI
00000084: PUSH1 0x00
00000086: DUP1
00000087: REVERT
00000088: JUMPDEST
00000089: POP
0000008a: PUSH2 0x007a
0000008d: PUSH2 0x01d7
00000090: JUMP
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: PUSH1 0x00
000000a1: SLOAD
000000a2: PUSH1 0x40
000000a4: MLOAD
000000a5: PUSH1 0x01
000000a7: PUSH1 0x01
000000a9: PUSH1 0xa0
000000ab: SHL
000000ac: SUB
000000ad: SWAP1
000000ae: SWAP2
000000af: AND
000000b0: DUP2
000000b1: MSTORE
000000b2: PUSH1 0x20
000000b4: ADD
000000b5: JUMPDEST
000000b6: PUSH1 0x40
000000b8: MLOAD
000000b9: DUP1
000000ba: SWAP2
000000bb: SUB
000000bc: SWAP1
000000bd: RETURN
000000be: JUMPDEST
000000bf: CALLVALUE
000000c0: DUP1
000000c1: ISZERO
000000c2: PUSH2 0x00ca
000000c5: JUMPI
000000c6: PUSH1 0x00
000000c8: DUP1
000000c9: REVERT
000000ca: JUMPDEST
000000cb: POP
000000cc: PUSH2 0x00f4
000000cf: PUSH2 0x00d9
000000d2: CALLDATASIZE
000000d3: PUSH1 0x04
000000d5: PUSH2 0x04bf
000000d8: JUMP
000000d9: JUMPDEST
000000da: PUSH1 0x01
000000dc: PUSH1 0x01
000000de: PUSH1 0xa0
000000e0: SHL
000000e1: SUB
000000e2: AND
000000e3: PUSH1 0x00
000000e5: SWAP1
000000e6: DUP2
000000e7: MSTORE
000000e8: PUSH1 0x01
000000ea: PUSH1 0x20
000000ec: MSTORE
000000ed: PUSH1 0x40
000000ef: SWAP1
000000f0: KECCAK256
000000f1: SLOAD
000000f2: SWAP1
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH1 0x40
000000f7: MLOAD
000000f8: SWAP1
000000f9: DUP2
000000fa: MSTORE
000000fb: PUSH1 0x20
000000fd: ADD
000000fe: PUSH2 0x00b5
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 0x007a
00000113: PUSH2 0x011d
00000116: CALLDATASIZE
00000117: PUSH1 0x04
00000119: PUSH2 0x04bf
0000011c: JUMP
0000011d: JUMPDEST
0000011e: PUSH2 0x020d
00000121: JUMP
00000122: JUMPDEST
00000123: PUSH2 0x007a
00000126: PUSH2 0x0130
00000129: CALLDATASIZE
0000012a: PUSH1 0x04
0000012c: PUSH2 0x04bf
0000012f: JUMP
00000130: JUMPDEST
00000131: PUSH2 0x02a8
00000134: JUMP
00000135: JUMPDEST
00000136: PUSH1 0x00
00000138: SLOAD
00000139: PUSH1 0x01
0000013b: PUSH1 0x01
0000013d: PUSH1 0xa0
0000013f: SHL
00000140: SUB
00000141: AND
00000142: CALLER
00000143: EQ
00000144: PUSH2 0x0168
00000147: JUMPI
00000148: PUSH1 0x40
0000014a: MLOAD
0000014b: PUSH3 0x461bcd
0000014f: PUSH1 0xe5
00000151: SHL
00000152: DUP2
00000153: MSTORE
00000154: PUSH1 0x04
00000156: ADD
00000157: PUSH2 0x015f
0000015a: SWAP1
0000015b: PUSH2 0x04e3
0000015e: JUMP
0000015f: JUMPDEST
00000160: PUSH1 0x40
00000162: MLOAD
00000163: DUP1
00000164: SWAP2
00000165: SUB
00000166: SWAP1
00000167: REVERT
00000168: JUMPDEST
00000169: PUSH1 0x01
0000016b: PUSH1 0x01
0000016d: PUSH1 0xa0
0000016f: SHL
00000170: SUB
00000171: DUP2
00000172: AND
00000173: PUSH1 0x00
00000175: DUP2
00000176: DUP2
00000177: MSTORE
00000178: PUSH1 0x01
0000017a: PUSH1 0x20
0000017c: MSTORE
0000017d: PUSH1 0x40
0000017f: DUP2
00000180: KECCAK256
00000181: DUP1
00000182: SLOAD
00000183: SWAP2
00000184: SWAP1
00000185: SSTORE
00000186: SWAP1
00000187: PUSH2 0x0190
0000018a: SWAP1
0000018b: DUP3
0000018c: PUSH2 0x033c
0000018f: JUMP
00000190: JUMPDEST
00000191: DUP2
00000192: PUSH1 0x01
00000194: PUSH1 0x01
00000196: PUSH1 0xa0
00000198: SHL
00000199: SUB
0000019a: AND
0000019b: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
000001bc: DUP3
000001bd: PUSH1 0x40
000001bf: MLOAD
000001c0: PUSH2 0x01cb
000001c3: SWAP2
000001c4: DUP2
000001c5: MSTORE
000001c6: PUSH1 0x20
000001c8: ADD
000001c9: SWAP1
000001ca: JUMP
000001cb: JUMPDEST
000001cc: PUSH1 0x40
000001ce: MLOAD
000001cf: DUP1
000001d0: SWAP2
000001d1: SUB
000001d2: SWAP1
000001d3: LOG2
000001d4: POP
000001d5: POP
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH1 0x00
000001da: SLOAD
000001db: PUSH1 0x01
000001dd: PUSH1 0x01
000001df: PUSH1 0xa0
000001e1: SHL
000001e2: SUB
000001e3: AND
000001e4: CALLER
000001e5: EQ
000001e6: PUSH2 0x0201
000001e9: JUMPI
000001ea: PUSH1 0x40
000001ec: MLOAD
000001ed: PUSH3 0x461bcd
000001f1: PUSH1 0xe5
000001f3: SHL
000001f4: DUP2
000001f5: MSTORE
000001f6: PUSH1 0x04
000001f8: ADD
000001f9: PUSH2 0x015f
000001fc: SWAP1
000001fd: PUSH2 0x04e3
00000200: JUMP
00000201: JUMPDEST
00000202: PUSH2 0x020b
00000205: PUSH1 0x00
00000207: PUSH2 0x045a
0000020a: JUMP
0000020b: JUMPDEST
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH1 0x00
00000210: SLOAD
00000211: PUSH1 0x01
00000213: PUSH1 0x01
00000215: PUSH1 0xa0
00000217: SHL
00000218: SUB
00000219: AND
0000021a: CALLER
0000021b: EQ
0000021c: PUSH2 0x0237
0000021f: JUMPI
00000220: PUSH1 0x40
00000222: MLOAD
00000223: PUSH3 0x461bcd
00000227: PUSH1 0xe5
00000229: SHL
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x04
0000022e: ADD
0000022f: PUSH2 0x015f
00000232: SWAP1
00000233: PUSH2 0x04e3
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH1 0x01
0000023a: PUSH1 0x01
0000023c: PUSH1 0xa0
0000023e: SHL
0000023f: SUB
00000240: DUP2
00000241: AND
00000242: PUSH2 0x029c
00000245: JUMPI
00000246: PUSH1 0x40
00000248: MLOAD
00000249: PUSH3 0x461bcd
0000024d: PUSH1 0xe5
0000024f: SHL
00000250: DUP2
00000251: MSTORE
00000252: PUSH1 0x20
00000254: PUSH1 0x04
00000256: DUP3
00000257: ADD
00000258: MSTORE
00000259: PUSH1 0x26
0000025b: PUSH1 0x24
0000025d: DUP3
0000025e: ADD
0000025f: MSTORE
00000260: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000281: PUSH1 0x44
00000283: DUP3
00000284: ADD
00000285: MSTORE
00000286: PUSH6 0x646472657373
0000028d: PUSH1 0xd0
0000028f: SHL
00000290: PUSH1 0x64
00000292: DUP3
00000293: ADD
00000294: MSTORE
00000295: PUSH1 0x84
00000297: ADD
00000298: PUSH2 0x015f
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH2 0x02a5
000002a0: DUP2
000002a1: PUSH2 0x045a
000002a4: JUMP
000002a5: JUMPDEST
000002a6: POP
000002a7: JUMP
000002a8: JUMPDEST
000002a9: PUSH1 0x00
000002ab: SLOAD
000002ac: PUSH1 0x01
000002ae: PUSH1 0x01
000002b0: PUSH1 0xa0
000002b2: SHL
000002b3: SUB
000002b4: AND
000002b5: CALLER
000002b6: EQ
000002b7: PUSH2 0x02d2
000002ba: JUMPI
000002bb: PUSH1 0x40
000002bd: MLOAD
000002be: PUSH3 0x461bcd
000002c2: PUSH1 0xe5
000002c4: SHL
000002c5: DUP2
000002c6: MSTORE
000002c7: PUSH1 0x04
000002c9: ADD
000002ca: PUSH2 0x015f
000002cd: SWAP1
000002ce: PUSH2 0x04e3
000002d1: JUMP
000002d2: JUMPDEST
000002d3: PUSH1 0x01
000002d5: PUSH1 0x01
000002d7: PUSH1 0xa0
000002d9: SHL
000002da: SUB
000002db: DUP2
000002dc: AND
000002dd: PUSH1 0x00
000002df: SWAP1
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x01
000002e4: PUSH1 0x20
000002e6: MSTORE
000002e7: PUSH1 0x40
000002e9: DUP2
000002ea: KECCAK256
000002eb: DUP1
000002ec: SLOAD
000002ed: CALLVALUE
000002ee: SWAP3
000002ef: DUP4
000002f0: SWAP3
000002f1: SWAP2
000002f2: PUSH2 0x02fc
000002f5: SWAP1
000002f6: DUP5
000002f7: SWAP1
000002f8: PUSH2 0x0518
000002fb: JUMP
000002fc: JUMPDEST
000002fd: SWAP1
000002fe: SWAP2
000002ff: SSTORE
00000300: POP
00000301: POP
00000302: PUSH1 0x40
00000304: MLOAD
00000305: DUP2
00000306: DUP2
00000307: MSTORE
00000308: PUSH1 0x01
0000030a: PUSH1 0x01
0000030c: PUSH1 0xa0
0000030e: SHL
0000030f: SUB
00000310: DUP4
00000311: AND
00000312: SWAP1
00000313: PUSH32 0x2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4
00000334: SWAP1
00000335: PUSH1 0x20
00000337: ADD
00000338: PUSH2 0x01cb
0000033b: JUMP
0000033c: JUMPDEST
0000033d: DUP1
0000033e: SELFBALANCE
0000033f: LT
00000340: ISZERO
00000341: PUSH2 0x038c
00000344: JUMPI
00000345: PUSH1 0x40
00000347: MLOAD
00000348: PUSH3 0x461bcd
0000034c: PUSH1 0xe5
0000034e: SHL
0000034f: DUP2
00000350: MSTORE
00000351: PUSH1 0x20
00000353: PUSH1 0x04
00000355: DUP3
00000356: ADD
00000357: MSTORE
00000358: PUSH1 0x1d
0000035a: PUSH1 0x24
0000035c: DUP3
0000035d: ADD
0000035e: MSTORE
0000035f: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00000380: PUSH1 0x44
00000382: DUP3
00000383: ADD
00000384: MSTORE
00000385: PUSH1 0x64
00000387: ADD
00000388: PUSH2 0x015f
0000038b: JUMP
0000038c: JUMPDEST
0000038d: PUSH1 0x00
0000038f: DUP3
00000390: PUSH1 0x01
00000392: PUSH1 0x01
00000394: PUSH1 0xa0
00000396: SHL
00000397: SUB
00000398: AND
00000399: DUP3
0000039a: PUSH1 0x40
0000039c: MLOAD
0000039d: PUSH1 0x00
0000039f: PUSH1 0x40
000003a1: MLOAD
000003a2: DUP1
000003a3: DUP4
000003a4: SUB
000003a5: DUP2
000003a6: DUP6
000003a7: DUP8
000003a8: GAS
000003a9: CALL
000003aa: SWAP3
000003ab: POP
000003ac: POP
000003ad: POP
000003ae: RETURNDATASIZE
000003af: DUP1
000003b0: PUSH1 0x00
000003b2: DUP2
000003b3: EQ
000003b4: PUSH2 0x03d9
000003b7: JUMPI
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: SWAP2
000003bc: POP
000003bd: PUSH1 0x1f
000003bf: NOT
000003c0: PUSH1 0x3f
000003c2: RETURNDATASIZE
000003c3: ADD
000003c4: AND
000003c5: DUP3
000003c6: ADD
000003c7: PUSH1 0x40
000003c9: MSTORE
000003ca: RETURNDATASIZE
000003cb: DUP3
000003cc: MSTORE
000003cd: RETURNDATASIZE
000003ce: PUSH1 0x00
000003d0: PUSH1 0x20
000003d2: DUP5
000003d3: ADD
000003d4: RETURNDATACOPY
000003d5: PUSH2 0x03de
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x60
000003dc: SWAP2
000003dd: POP
000003de: JUMPDEST
000003df: POP
000003e0: POP
000003e1: SWAP1
000003e2: POP
000003e3: DUP1
000003e4: PUSH2 0x0455
000003e7: JUMPI
000003e8: PUSH1 0x40
000003ea: MLOAD
000003eb: PUSH3 0x461bcd
000003ef: PUSH1 0xe5
000003f1: SHL
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x20
000003f6: PUSH1 0x04
000003f8: DUP3
000003f9: ADD
000003fa: MSTORE
000003fb: PUSH1 0x3a
000003fd: PUSH1 0x24
000003ff: DUP3
00000400: ADD
00000401: MSTORE
00000402: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00000423: PUSH1 0x44
00000425: DUP3
00000426: ADD
00000427: MSTORE
00000428: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00000449: PUSH1 0x64
0000044b: DUP3
0000044c: ADD
0000044d: MSTORE
0000044e: PUSH1 0x84
00000450: ADD
00000451: PUSH2 0x015f
00000454: JUMP
00000455: JUMPDEST
00000456: POP
00000457: POP
00000458: POP
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH1 0x00
0000045d: DUP1
0000045e: SLOAD
0000045f: PUSH1 0x01
00000461: PUSH1 0x01
00000463: PUSH1 0xa0
00000465: SHL
00000466: SUB
00000467: DUP4
00000468: DUP2
00000469: AND
0000046a: PUSH1 0x01
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: SHL
00000471: SUB
00000472: NOT
00000473: DUP4
00000474: AND
00000475: DUP2
00000476: OR
00000477: DUP5
00000478: SSTORE
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: SWAP2
0000047d: SWAP1
0000047e: SWAP3
0000047f: AND
00000480: SWAP3
00000481: DUP4
00000482: SWAP2
00000483: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000004a4: SWAP2
000004a5: SWAP1
000004a6: LOG3
000004a7: POP
000004a8: POP
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH1 0x01
000004ad: PUSH1 0x01
000004af: PUSH1 0xa0
000004b1: SHL
000004b2: SUB
000004b3: DUP2
000004b4: AND
000004b5: DUP2
000004b6: EQ
000004b7: PUSH2 0x02a5
000004ba: JUMPI
000004bb: PUSH1 0x00
000004bd: DUP1
000004be: REVERT
000004bf: JUMPDEST
000004c0: PUSH1 0x00
000004c2: PUSH1 0x20
000004c4: DUP3
000004c5: DUP5
000004c6: SUB
000004c7: SLT
000004c8: ISZERO
000004c9: PUSH2 0x04d1
000004cc: JUMPI
000004cd: PUSH1 0x00
000004cf: DUP1
000004d0: REVERT
000004d1: JUMPDEST
000004d2: DUP2
000004d3: CALLDATALOAD
000004d4: PUSH2 0x04dc
000004d7: DUP2
000004d8: PUSH2 0x04aa
000004db: JUMP
000004dc: JUMPDEST
000004dd: SWAP4
000004de: SWAP3
000004df: POP
000004e0: POP
000004e1: POP
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x20
000004e6: DUP1
000004e7: DUP3
000004e8: MSTORE
000004e9: DUP2
000004ea: DUP2
000004eb: ADD
000004ec: MSTORE
000004ed: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000050e: PUSH1 0x40
00000510: DUP3
00000511: ADD
00000512: MSTORE
00000513: PUSH1 0x60
00000515: ADD
00000516: SWAP1
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH1 0x00
0000051b: DUP3
0000051c: NOT
0000051d: DUP3
0000051e: GT
0000051f: ISZERO
00000520: PUSH2 0x0539
00000523: JUMPI
00000524: PUSH4 0x4e487b71
00000529: PUSH1 0xe0
0000052b: SHL
0000052c: PUSH1 0x00
0000052e: MSTORE
0000052f: PUSH1 0x11
00000531: PUSH1 0x04
00000533: MSTORE
00000534: PUSH1 0x24
00000536: PUSH1 0x00
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: ADD
0000053c: SWAP1
0000053d: JUMP
0000053e: INVALID
0000053f: LOG2
00000540: PUSH5 0x6970667358
00000546: UNKNOWN(0x22)
00000547: SLT
00000548: KECCAK256
00000549: CLZ
0000054a: UNKNOWN(0x27)
0000054b: UNKNOWN(0xC1)
0000054c: UNKNOWN(0x4D)
0000054d: DUP13
0000054e: UNKNOWN(0x29)
0000054f: UNKNOWN(0xDE)
00000550: UNKNOWN(0xF6)
00000551: GT
00000552: BLOBHASH
00000553: UNKNOWN(0xC3)
00000554: LOG2
00000555: SWAP15
00000556: UNKNOWN(0x25)
00000557: SWAP9
00000558: CALLCODE
00000559: UNKNOWN(0xBA)
0000055a: SMOD
0000055b: PUSH29

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: 0x72529e6c406efcc23ceb281fb02e6259ddb42fc9dbe9d788c188d8f317802a07 call_targets: 0x754b6f8efe5c36e03b5d4450e21046742d1d3876 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x72529e6c406efcc23ceb281fb02e6259ddb42fc9dbe9d788c188d8f317802a07", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x754b6f8efe5c36e03b5d4450e21046742d1d3876" ], "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": "0x51cff8d9", "selector": "0x51cff8d9", "calldata_variants": [ "0x51cff8d9", "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe3a9db1a", "selector": "0xe3a9db1a", "calldata_variants": [ "0xe3a9db1a", "0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf340fa01", "selector": "0xf340fa01", "calldata_variants": [ "0xf340fa01", "0xf340fa010000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 937, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1368, "opcode": "CALLCODE", "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: 0x72529e6c406efcc23ceb281fb02e6259ddb42fc9dbe9d788c188d8f317802a07 call_targets: 0x754b6f8efe5c36e03b5d4450e21046742d1d3876 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x72529e6c406efcc23ceb281fb02e6259ddb42fc9dbe9d788c188d8f317802a07", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x754b6f8efe5c36e03b5d4450e21046742d1d3876" ], "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": "0x51cff8d9", "selector": "0x51cff8d9", "calldata_variants": [ "0x51cff8d9", "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe3a9db1a", "selector": "0xe3a9db1a", "calldata_variants": [ "0xe3a9db1a", "0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf340fa01", "selector": "0xf340fa01", "calldata_variants": [ "0xf340fa01", "0xf340fa010000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 937, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1368, "opcode": "CALLCODE", "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: 0x72529e6c406efcc23ceb281fb02e6259ddb42fc9dbe9d788c188d8f317802a07

call_targets: 0x754b6f8efe5c36e03b5d4450e21046742d1d3876

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x72529e6c406efcc23ceb281fb02e6259ddb42fc9dbe9d788c188d8f317802a07",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x754b6f8efe5c36e03b5d4450e21046742d1d3876"
    ],
    "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": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe3a9db1a",
            "selector": "0xe3a9db1a",
            "calldata_variants": [
                "0xe3a9db1a",
                "0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf340fa01",
            "selector": "0xf340fa01",
            "calldata_variants": [
                "0xf340fa01",
                "0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

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