Analysis Run

019b477e-af45-7012-b163-2f92e720f962

complete

Chain ID

1

Address

0x51c90e0cf2955035328775616b8bd01d7c68575f

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
21749	artifact.fetch	complete	1 / 3	3 months ago
21750	tool.cast_disasm	complete	1 / 3	3 months ago
65182	analysis.bundle	complete	1 / 3	2 weeks ago
65183	capability.graph	complete	1 / 3	2 weeks ago
65184	detector.run	complete	1 / 3	2 weeks ago
65185	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)

4

EXT*/BALANCE

3

Total opcodes

1364

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00b8
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: PUSH4 0xffffffff
00000033: AND
00000034: DUP1
00000035: PUSH4 0x1072cbea
0000003a: EQ
0000003b: PUSH2 0x00ba
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x13af4035
00000045: EQ
00000046: PUSH2 0x0114
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x27c10125
00000050: EQ
00000051: PUSH2 0x014d
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x5c60da1b
0000005b: EQ
0000005c: PUSH2 0x01b0
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x7a9e5e4b
00000066: EQ
00000067: PUSH2 0x0205
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x8d747928
00000071: EQ
00000072: PUSH2 0x023e
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x8da5cb5b
0000007c: EQ
0000007d: PUSH2 0x026b
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x97235a1e
00000087: EQ
00000088: PUSH2 0x02c0
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x98ea5fca
00000092: EQ
00000093: PUSH2 0x031a
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x990dc9db
0000009d: EQ
0000009e: PUSH2 0x0324
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0xbf7e214f
000000a8: EQ
000000a9: PUSH2 0x037e
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0xd784d426
000000b3: EQ
000000b4: PUSH2 0x03d3
000000b7: JUMPI
000000b8: JUMPDEST
000000b9: STOP
000000ba: JUMPDEST
000000bb: CALLVALUE
000000bc: ISZERO
000000bd: PUSH2 0x00c5
000000c0: JUMPI
000000c1: PUSH1 0x00
000000c3: DUP1
000000c4: REVERT
000000c5: JUMPDEST
000000c6: PUSH2 0x00fa
000000c9: PUSH1 0x04
000000cb: DUP1
000000cc: DUP1
000000cd: CALLDATALOAD
000000ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000e3: AND
000000e4: SWAP1
000000e5: PUSH1 0x20
000000e7: ADD
000000e8: SWAP1
000000e9: SWAP2
000000ea: SWAP1
000000eb: DUP1
000000ec: CALLDATALOAD
000000ed: SWAP1
000000ee: PUSH1 0x20
000000f0: ADD
000000f1: SWAP1
000000f2: SWAP2
000000f3: SWAP1
000000f4: POP
000000f5: POP
000000f6: PUSH2 0x0424
000000f9: JUMP
000000fa: JUMPDEST
000000fb: PUSH1 0x40
000000fd: MLOAD
000000fe: DUP1
000000ff: DUP3
00000100: ISZERO
00000101: ISZERO
00000102: ISZERO
00000103: ISZERO
00000104: DUP2
00000105: MSTORE
00000106: PUSH1 0x20
00000108: ADD
00000109: SWAP2
0000010a: POP
0000010b: POP
0000010c: PUSH1 0x40
0000010e: MLOAD
0000010f: DUP1
00000110: SWAP2
00000111: SUB
00000112: SWAP1
00000113: RETURN
00000114: JUMPDEST
00000115: CALLVALUE
00000116: ISZERO
00000117: PUSH2 0x011f
0000011a: JUMPI
0000011b: PUSH1 0x00
0000011d: DUP1
0000011e: REVERT
0000011f: JUMPDEST
00000120: PUSH2 0x014b
00000123: PUSH1 0x04
00000125: DUP1
00000126: DUP1
00000127: CALLDATALOAD
00000128: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000013d: AND
0000013e: SWAP1
0000013f: PUSH1 0x20
00000141: ADD
00000142: SWAP1
00000143: SWAP2
00000144: SWAP1
00000145: POP
00000146: POP
00000147: PUSH2 0x0586
0000014a: JUMP
0000014b: JUMPDEST
0000014c: STOP
0000014d: JUMPDEST
0000014e: CALLVALUE
0000014f: ISZERO
00000150: PUSH2 0x0158
00000153: JUMPI
00000154: PUSH1 0x00
00000156: DUP1
00000157: REVERT
00000158: JUMPDEST
00000159: PUSH2 0x0196
0000015c: PUSH1 0x04
0000015e: DUP1
0000015f: DUP1
00000160: CALLDATALOAD
00000161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000176: AND
00000177: SWAP1
00000178: PUSH1 0x20
0000017a: ADD
0000017b: SWAP1
0000017c: SWAP2
0000017d: SWAP1
0000017e: DUP1
0000017f: CALLDATALOAD
00000180: SWAP1
00000181: PUSH1 0x20
00000183: ADD
00000184: SWAP1
00000185: SWAP2
00000186: SWAP1
00000187: DUP1
00000188: CALLDATALOAD
00000189: SWAP1
0000018a: PUSH1 0x20
0000018c: ADD
0000018d: SWAP1
0000018e: SWAP2
0000018f: SWAP1
00000190: POP
00000191: POP
00000192: PUSH2 0x0668
00000195: JUMP
00000196: JUMPDEST
00000197: PUSH1 0x40
00000199: MLOAD
0000019a: DUP1
0000019b: DUP3
0000019c: ISZERO
0000019d: ISZERO
0000019e: ISZERO
0000019f: ISZERO
000001a0: DUP2
000001a1: MSTORE
000001a2: PUSH1 0x20
000001a4: ADD
000001a5: SWAP2
000001a6: POP
000001a7: POP
000001a8: PUSH1 0x40
000001aa: MLOAD
000001ab: DUP1
000001ac: SWAP2
000001ad: SUB
000001ae: SWAP1
000001af: RETURN
000001b0: JUMPDEST
000001b1: CALLVALUE
000001b2: ISZERO
000001b3: PUSH2 0x01bb
000001b6: JUMPI
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: PUSH2 0x01c3
000001bf: PUSH2 0x082c
000001c2: JUMP
000001c3: JUMPDEST
000001c4: PUSH1 0x40
000001c6: MLOAD
000001c7: DUP1
000001c8: DUP3
000001c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001de: AND
000001df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f4: AND
000001f5: DUP2
000001f6: MSTORE
000001f7: PUSH1 0x20
000001f9: ADD
000001fa: SWAP2
000001fb: POP
000001fc: POP
000001fd: PUSH1 0x40
000001ff: MLOAD
00000200: DUP1
00000201: SWAP2
00000202: SUB
00000203: SWAP1
00000204: RETURN
00000205: JUMPDEST
00000206: CALLVALUE
00000207: ISZERO
00000208: PUSH2 0x0210
0000020b: JUMPI
0000020c: PUSH1 0x00
0000020e: DUP1
0000020f: REVERT
00000210: JUMPDEST
00000211: PUSH2 0x023c
00000214: PUSH1 0x04
00000216: DUP1
00000217: DUP1
00000218: CALLDATALOAD
00000219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000022e: AND
0000022f: SWAP1
00000230: PUSH1 0x20
00000232: ADD
00000233: SWAP1
00000234: SWAP2
00000235: SWAP1
00000236: POP
00000237: POP
00000238: PUSH2 0x0852
0000023b: JUMP
0000023c: JUMPDEST
0000023d: STOP
0000023e: JUMPDEST
0000023f: CALLVALUE
00000240: ISZERO
00000241: PUSH2 0x0249
00000244: JUMPI
00000245: PUSH1 0x00
00000247: DUP1
00000248: REVERT
00000249: JUMPDEST
0000024a: PUSH2 0x0251
0000024d: PUSH2 0x0932
00000250: JUMP
00000251: JUMPDEST
00000252: PUSH1 0x40
00000254: MLOAD
00000255: DUP1
00000256: DUP3
00000257: ISZERO
00000258: ISZERO
00000259: ISZERO
0000025a: ISZERO
0000025b: DUP2
0000025c: MSTORE
0000025d: PUSH1 0x20
0000025f: ADD
00000260: SWAP2
00000261: POP
00000262: POP
00000263: PUSH1 0x40
00000265: MLOAD
00000266: DUP1
00000267: SWAP2
00000268: SUB
00000269: SWAP1
0000026a: RETURN
0000026b: JUMPDEST
0000026c: CALLVALUE
0000026d: ISZERO
0000026e: PUSH2 0x0276
00000271: JUMPI
00000272: PUSH1 0x00
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: PUSH2 0x027e
0000027a: PUSH2 0x093b
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: DUP1
00000283: DUP3
00000284: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000299: AND
0000029a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002af: AND
000002b0: DUP2
000002b1: MSTORE
000002b2: PUSH1 0x20
000002b4: ADD
000002b5: SWAP2
000002b6: POP
000002b7: POP
000002b8: PUSH1 0x40
000002ba: MLOAD
000002bb: DUP1
000002bc: SWAP2
000002bd: SUB
000002be: SWAP1
000002bf: RETURN
000002c0: JUMPDEST
000002c1: CALLVALUE
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: PUSH2 0x0300
000002cf: PUSH1 0x04
000002d1: DUP1
000002d2: DUP1
000002d3: CALLDATALOAD
000002d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e9: AND
000002ea: SWAP1
000002eb: PUSH1 0x20
000002ed: ADD
000002ee: SWAP1
000002ef: SWAP2
000002f0: SWAP1
000002f1: DUP1
000002f2: CALLDATALOAD
000002f3: SWAP1
000002f4: PUSH1 0x20
000002f6: ADD
000002f7: SWAP1
000002f8: SWAP2
000002f9: SWAP1
000002fa: POP
000002fb: POP
000002fc: PUSH2 0x0961
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH1 0x40
00000303: MLOAD
00000304: DUP1
00000305: DUP3
00000306: ISZERO
00000307: ISZERO
00000308: ISZERO
00000309: ISZERO
0000030a: DUP2
0000030b: MSTORE
0000030c: PUSH1 0x20
0000030e: ADD
0000030f: SWAP2
00000310: POP
00000311: POP
00000312: PUSH1 0x40
00000314: MLOAD
00000315: DUP1
00000316: SWAP2
00000317: SUB
00000318: SWAP1
00000319: RETURN
0000031a: JUMPDEST
0000031b: PUSH2 0x0322
0000031e: PUSH2 0x096d
00000321: JUMP
00000322: JUMPDEST
00000323: STOP
00000324: JUMPDEST
00000325: CALLVALUE
00000326: ISZERO
00000327: PUSH2 0x032f
0000032a: JUMPI
0000032b: PUSH1 0x00
0000032d: DUP1
0000032e: REVERT
0000032f: JUMPDEST
00000330: PUSH2 0x0364
00000333: PUSH1 0x04
00000335: DUP1
00000336: DUP1
00000337: CALLDATALOAD
00000338: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000034d: AND
0000034e: SWAP1
0000034f: PUSH1 0x20
00000351: ADD
00000352: SWAP1
00000353: SWAP2
00000354: SWAP1
00000355: DUP1
00000356: CALLDATALOAD
00000357: SWAP1
00000358: PUSH1 0x20
0000035a: ADD
0000035b: SWAP1
0000035c: SWAP2
0000035d: SWAP1
0000035e: POP
0000035f: POP
00000360: PUSH2 0x096f
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH1 0x40
00000367: MLOAD
00000368: DUP1
00000369: DUP3
0000036a: ISZERO
0000036b: ISZERO
0000036c: ISZERO
0000036d: ISZERO
0000036e: DUP2
0000036f: MSTORE
00000370: PUSH1 0x20
00000372: ADD
00000373: SWAP2
00000374: POP
00000375: POP
00000376: PUSH1 0x40
00000378: MLOAD
00000379: DUP1
0000037a: SWAP2
0000037b: SUB
0000037c: SWAP1
0000037d: RETURN
0000037e: JUMPDEST
0000037f: CALLVALUE
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: PUSH2 0x0391
0000038d: PUSH2 0x09f4
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH1 0x40
00000394: MLOAD
00000395: DUP1
00000396: DUP3
00000397: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ac: AND
000003ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c2: AND
000003c3: DUP2
000003c4: MSTORE
000003c5: PUSH1 0x20
000003c7: ADD
000003c8: SWAP2
000003c9: POP
000003ca: POP
000003cb: PUSH1 0x40
000003cd: MLOAD
000003ce: DUP1
000003cf: SWAP2
000003d0: SUB
000003d1: SWAP1
000003d2: RETURN
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: PUSH2 0x040a
000003e2: PUSH1 0x04
000003e4: DUP1
000003e5: DUP1
000003e6: CALLDATALOAD
000003e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003fc: AND
000003fd: SWAP1
000003fe: PUSH1 0x20
00000400: ADD
00000401: SWAP1
00000402: SWAP2
00000403: SWAP1
00000404: POP
00000405: POP
00000406: PUSH2 0x0a19
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH1 0x40
0000040d: MLOAD
0000040e: DUP1
0000040f: DUP3
00000410: ISZERO
00000411: ISZERO
00000412: ISZERO
00000413: ISZERO
00000414: DUP2
00000415: MSTORE
00000416: PUSH1 0x20
00000418: ADD
00000419: SWAP2
0000041a: POP
0000041b: POP
0000041c: PUSH1 0x40
0000041e: MLOAD
0000041f: DUP1
00000420: SWAP2
00000421: SUB
00000422: SWAP1
00000423: RETURN
00000424: JUMPDEST
00000425: PUSH1 0x00
00000427: PUSH2 0x0454
0000042a: CALLER
0000042b: PUSH1 0x00
0000042d: CALLDATALOAD
0000042e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000044f: AND
00000450: PUSH2 0x0af8
00000453: JUMP
00000454: JUMPDEST
00000455: ISZERO
00000456: ISZERO
00000457: PUSH2 0x045f
0000045a: JUMPI
0000045b: PUSH1 0x00
0000045d: DUP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: PUSH1 0x02
00000462: PUSH1 0x00
00000464: SWAP1
00000465: SLOAD
00000466: SWAP1
00000467: PUSH2 0x0100
0000046a: EXP
0000046b: SWAP1
0000046c: DIV
0000046d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000482: AND
00000483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000498: AND
00000499: PUSH4 0xbeabacc8
0000049e: ADDRESS
0000049f: DUP6
000004a0: DUP6
000004a1: PUSH1 0x00
000004a3: PUSH1 0x40
000004a5: MLOAD
000004a6: PUSH1 0x20
000004a8: ADD
000004a9: MSTORE
000004aa: PUSH1 0x40
000004ac: MLOAD
000004ad: DUP5
000004ae: PUSH4 0xffffffff
000004b3: AND
000004b4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000004d2: MUL
000004d3: DUP2
000004d4: MSTORE
000004d5: PUSH1 0x04
000004d7: ADD
000004d8: DUP1
000004d9: DUP5
000004da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ef: AND
000004f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000505: AND
00000506: DUP2
00000507: MSTORE
00000508: PUSH1 0x20
0000050a: ADD
0000050b: DUP4
0000050c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000521: AND
00000522: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000537: AND
00000538: DUP2
00000539: MSTORE
0000053a: PUSH1 0x20
0000053c: ADD
0000053d: DUP3
0000053e: DUP2
0000053f: MSTORE
00000540: PUSH1 0x20
00000542: ADD
00000543: SWAP4
00000544: POP
00000545: POP
00000546: POP
00000547: POP
00000548: PUSH1 0x20
0000054a: PUSH1 0x40
0000054c: MLOAD
0000054d: DUP1
0000054e: DUP4
0000054f: SUB
00000550: DUP2
00000551: PUSH1 0x00
00000553: DUP8
00000554: DUP1
00000555: EXTCODESIZE
00000556: ISZERO
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: PUSH2 0x02c6
00000564: GAS
00000565: SUB
00000566: CALL
00000567: ISZERO
00000568: ISZERO
00000569: PUSH2 0x0571
0000056c: JUMPI
0000056d: PUSH1 0x00
0000056f: DUP1
00000570: REVERT
00000571: JUMPDEST
00000572: POP
00000573: POP
00000574: POP
00000575: PUSH1 0x40
00000577: MLOAD
00000578: DUP1
00000579: MLOAD
0000057a: SWAP1
0000057b: POP
0000057c: POP
0000057d: PUSH1 0x01
0000057f: SWAP1
00000580: POP
00000581: SWAP3
00000582: SWAP2
00000583: POP
00000584: POP
00000585: JUMP
00000586: JUMPDEST
00000587: PUSH2 0x05b4
0000058a: CALLER
0000058b: PUSH1 0x00
0000058d: CALLDATALOAD
0000058e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000005af: AND
000005b0: PUSH2 0x0af8
000005b3: JUMP
000005b4: JUMPDEST
000005b5: ISZERO
000005b6: ISZERO
000005b7: PUSH2 0x05bf
000005ba: JUMPI
000005bb: PUSH1 0x00
000005bd: DUP1
000005be: REVERT
000005bf: JUMPDEST
000005c0: DUP1
000005c1: PUSH1 0x01
000005c3: PUSH1 0x00
000005c5: PUSH2 0x0100
000005c8: EXP
000005c9: DUP2
000005ca: SLOAD
000005cb: DUP2
000005cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e1: MUL
000005e2: NOT
000005e3: AND
000005e4: SWAP1
000005e5: DUP4
000005e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fb: AND
000005fc: MUL
000005fd: OR
000005fe: SWAP1
000005ff: SSTORE
00000600: POP
00000601: PUSH1 0x01
00000603: PUSH1 0x00
00000605: SWAP1
00000606: SLOAD
00000607: SWAP1
00000608: PUSH2 0x0100
0000060b: EXP
0000060c: SWAP1
0000060d: DIV
0000060e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000623: AND
00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000639: AND
0000063a: PUSH32 0xce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed94
0000065b: PUSH1 0x40
0000065d: MLOAD
0000065e: PUSH1 0x40
00000660: MLOAD
00000661: DUP1
00000662: SWAP2
00000663: SUB
00000664: SWAP1
00000665: LOG2
00000666: POP
00000667: JUMP
00000668: JUMPDEST
00000669: PUSH1 0x00
0000066b: PUSH2 0x0698
0000066e: CALLER
0000066f: PUSH1 0x00
00000671: CALLDATALOAD
00000672: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000693: AND
00000694: PUSH2 0x0af8
00000697: JUMP
00000698: JUMPDEST
00000699: ISZERO
0000069a: ISZERO
0000069b: PUSH2 0x06a3
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP1
000006a2: REVERT
000006a3: JUMPDEST
000006a4: PUSH1 0x02
000006a6: PUSH1 0x00
000006a8: SWAP1
000006a9: SLOAD
000006aa: SWAP1
000006ab: PUSH2 0x0100
000006ae: EXP
000006af: SWAP1
000006b0: DIV
000006b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c6: AND
000006c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006dc: AND
000006dd: PUSH4 0xbeabacc8
000006e2: DUP6
000006e3: ADDRESS
000006e4: DUP7
000006e5: PUSH1 0x00
000006e7: PUSH1 0x40
000006e9: MLOAD
000006ea: PUSH1 0x20
000006ec: ADD
000006ed: MSTORE
000006ee: PUSH1 0x40
000006f0: MLOAD
000006f1: DUP5
000006f2: PUSH4 0xffffffff
000006f7: AND
000006f8: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000716: MUL
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x04
0000071b: ADD
0000071c: DUP1
0000071d: DUP5
0000071e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000733: AND
00000734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000749: AND
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x20
0000074e: ADD
0000074f: DUP4
00000750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000765: AND
00000766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000077b: AND
0000077c: DUP2
0000077d: MSTORE
0000077e: PUSH1 0x20
00000780: ADD
00000781: DUP3
00000782: DUP2
00000783: MSTORE
00000784: PUSH1 0x20
00000786: ADD
00000787: SWAP4
00000788: POP
00000789: POP
0000078a: POP
0000078b: POP
0000078c: PUSH1 0x20
0000078e: PUSH1 0x40
00000790: MLOAD
00000791: DUP1
00000792: DUP4
00000793: SUB
00000794: DUP2
00000795: PUSH1 0x00
00000797: DUP8
00000798: DUP1
00000799: EXTCODESIZE
0000079a: ISZERO
0000079b: ISZERO
0000079c: PUSH2 0x07a4
0000079f: JUMPI
000007a0: PUSH1 0x00
000007a2: DUP1
000007a3: REVERT
000007a4: JUMPDEST
000007a5: PUSH2 0x02c6
000007a8: GAS
000007a9: SUB
000007aa: CALL
000007ab: ISZERO
000007ac: ISZERO
000007ad: PUSH2 0x07b5
000007b0: JUMPI
000007b1: PUSH1 0x00
000007b3: DUP1
000007b4: REVERT
000007b5: JUMPDEST
000007b6: POP
000007b7: POP
000007b8: POP
000007b9: PUSH1 0x40
000007bb: MLOAD
000007bc: DUP1
000007bd: MLOAD
000007be: SWAP1
000007bf: POP
000007c0: POP
000007c1: PUSH2 0x07ca
000007c4: DUP5
000007c5: DUP4
000007c6: PUSH2 0x096f
000007c9: JUMP
000007ca: JUMPDEST
000007cb: POP
000007cc: DUP4
000007cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e2: AND
000007e3: PUSH32 0x260488fe8c175827fed8b22b1ea91f65ea83bf0430f138d95d28639014d90d5d
00000804: DUP5
00000805: DUP5
00000806: PUSH1 0x40
00000808: MLOAD
00000809: DUP1
0000080a: DUP4
0000080b: DUP2
0000080c: MSTORE
0000080d: PUSH1 0x20
0000080f: ADD
00000810: DUP3
00000811: DUP2
00000812: MSTORE
00000813: PUSH1 0x20
00000815: ADD
00000816: SWAP3
00000817: POP
00000818: POP
00000819: POP
0000081a: PUSH1 0x40
0000081c: MLOAD
0000081d: DUP1
0000081e: SWAP2
0000081f: SUB
00000820: SWAP1
00000821: LOG2
00000822: PUSH1 0x01
00000824: SWAP1
00000825: POP
00000826: SWAP4
00000827: SWAP3
00000828: POP
00000829: POP
0000082a: POP
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x02
0000082f: PUSH1 0x00
00000831: SWAP1
00000832: SLOAD
00000833: SWAP1
00000834: PUSH2 0x0100
00000837: EXP
00000838: SWAP1
00000839: DIV
0000083a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084f: AND
00000850: DUP2
00000851: JUMP
00000852: JUMPDEST
00000853: PUSH2 0x0880
00000856: CALLER
00000857: PUSH1 0x00
00000859: CALLDATALOAD
0000085a: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000087b: AND
0000087c: PUSH2 0x0af8
0000087f: JUMP
00000880: JUMPDEST
00000881: ISZERO
00000882: ISZERO
00000883: PUSH2 0x088b
00000886: JUMPI
00000887: PUSH1 0x00
00000889: DUP1
0000088a: REVERT
0000088b: JUMPDEST
0000088c: DUP1
0000088d: PUSH1 0x00
0000088f: DUP1
00000890: PUSH2 0x0100
00000893: EXP
00000894: DUP2
00000895: SLOAD
00000896: DUP2
00000897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ac: MUL
000008ad: NOT
000008ae: AND
000008af: SWAP1
000008b0: DUP4
000008b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c6: AND
000008c7: MUL
000008c8: OR
000008c9: SWAP1
000008ca: SSTORE
000008cb: POP
000008cc: PUSH1 0x00
000008ce: DUP1
000008cf: SWAP1
000008d0: SLOAD
000008d1: SWAP1
000008d2: PUSH2 0x0100
000008d5: EXP
000008d6: SWAP1
000008d7: DIV
000008d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ed: AND
000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000903: AND
00000904: PUSH32 0x1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada4
00000925: PUSH1 0x40
00000927: MLOAD
00000928: PUSH1 0x40
0000092a: MLOAD
0000092b: DUP1
0000092c: SWAP2
0000092d: SUB
0000092e: SWAP1
0000092f: LOG2
00000930: POP
00000931: JUMP
00000932: JUMPDEST
00000933: PUSH1 0x00
00000935: PUSH1 0x01
00000937: SWAP1
00000938: POP
00000939: SWAP1
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH1 0x01
0000093e: PUSH1 0x00
00000940: SWAP1
00000941: SLOAD
00000942: SWAP1
00000943: PUSH2 0x0100
00000946: EXP
00000947: SWAP1
00000948: DIV
00000949: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095e: AND
0000095f: DUP2
00000960: JUMP
00000961: JUMPDEST
00000962: PUSH1 0x00
00000964: PUSH1 0x01
00000966: SWAP1
00000967: POP
00000968: SWAP3
00000969: SWAP2
0000096a: POP
0000096b: POP
0000096c: JUMP
0000096d: JUMPDEST
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH1 0x00
00000972: PUSH2 0x099f
00000975: CALLER
00000976: PUSH1 0x00
00000978: CALLDATALOAD
00000979: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000099a: AND
0000099b: PUSH2 0x0af8
0000099e: JUMP
0000099f: JUMPDEST
000009a0: ISZERO
000009a1: ISZERO
000009a2: PUSH2 0x09aa
000009a5: JUMPI
000009a6: PUSH1 0x00
000009a8: DUP1
000009a9: REVERT
000009aa: JUMPDEST
000009ab: DUP3
000009ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c1: AND
000009c2: PUSH2 0x08fc
000009c5: DUP4
000009c6: SWAP1
000009c7: DUP2
000009c8: ISZERO
000009c9: MUL
000009ca: SWAP1
000009cb: PUSH1 0x40
000009cd: MLOAD
000009ce: PUSH1 0x00
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: DUP1
000009d4: DUP4
000009d5: SUB
000009d6: DUP2
000009d7: DUP6
000009d8: DUP9
000009d9: DUP9
000009da: CALL
000009db: SWAP4
000009dc: POP
000009dd: POP
000009de: POP
000009df: POP
000009e0: ISZERO
000009e1: ISZERO
000009e2: PUSH2 0x09ea
000009e5: JUMPI
000009e6: PUSH1 0x00
000009e8: DUP1
000009e9: REVERT
000009ea: JUMPDEST
000009eb: PUSH1 0x01
000009ed: SWAP1
000009ee: POP
000009ef: SWAP3
000009f0: SWAP2
000009f1: POP
000009f2: POP
000009f3: JUMP
000009f4: JUMPDEST
000009f5: PUSH1 0x00
000009f7: DUP1
000009f8: SWAP1
000009f9: SLOAD
000009fa: SWAP1
000009fb: PUSH2 0x0100
000009fe: EXP
000009ff: SWAP1
00000a00: DIV
00000a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a16: AND
00000a17: DUP2
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH1 0x00
00000a1c: PUSH2 0x0a49
00000a1f: CALLER
00000a20: PUSH1 0x00
00000a22: CALLDATALOAD
00000a23: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000a44: AND
00000a45: PUSH2 0x0af8
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: ISZERO
00000a4b: ISZERO
00000a4c: PUSH2 0x0a54
00000a4f: JUMPI
00000a50: PUSH1 0x00
00000a52: DUP1
00000a53: REVERT
00000a54: JUMPDEST
00000a55: DUP2
00000a56: PUSH1 0x02
00000a58: PUSH1 0x00
00000a5a: PUSH2 0x0100
00000a5d: EXP
00000a5e: DUP2
00000a5f: SLOAD
00000a60: DUP2
00000a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a76: MUL
00000a77: NOT
00000a78: AND
00000a79: SWAP1
00000a7a: DUP4
00000a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a90: AND
00000a91: MUL
00000a92: OR
00000a93: SWAP1
00000a94: SSTORE
00000a95: POP
00000a96: DUP2
00000a97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aac: AND
00000aad: CALLER
00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac3: AND
00000ac4: PUSH32 0x273696cd8b7028587777b784decf945aca2e42036459d9d5fd81e493b1126828
00000ae5: PUSH1 0x40
00000ae7: MLOAD
00000ae8: PUSH1 0x40
00000aea: MLOAD
00000aeb: DUP1
00000aec: SWAP2
00000aed: SUB
00000aee: SWAP1
00000aef: LOG3
00000af0: PUSH1 0x01
00000af2: SWAP1
00000af3: POP
00000af4: SWAP2
00000af5: SWAP1
00000af6: POP
00000af7: JUMP
00000af8: JUMPDEST
00000af9: PUSH1 0x00
00000afb: ADDRESS
00000afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b11: AND
00000b12: DUP4
00000b13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b28: AND
00000b29: EQ
00000b2a: DUP1
00000b2b: PUSH2 0x0b81
00000b2e: JUMPI
00000b2f: POP
00000b30: PUSH1 0x01
00000b32: PUSH1 0x00
00000b34: SWAP1
00000b35: SLOAD
00000b36: SWAP1
00000b37: PUSH2 0x0100
00000b3a: EXP
00000b3b: SWAP1
00000b3c: DIV
00000b3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b52: AND
00000b53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b68: AND
00000b69: DUP4
00000b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7f: AND
00000b80: EQ
00000b81: JUMPDEST
00000b82: DUP1
00000b83: PUSH2 0x0d3d
00000b86: JUMPI
00000b87: POP
00000b88: PUSH1 0x00
00000b8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9f: AND
00000ba0: PUSH1 0x02
00000ba2: PUSH1 0x00
00000ba4: SWAP1
00000ba5: SLOAD
00000ba6: SWAP1
00000ba7: PUSH2 0x0100
00000baa: EXP
00000bab: SWAP1
00000bac: DIV
00000bad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc2: AND
00000bc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd8: AND
00000bd9: EQ
00000bda: ISZERO
00000bdb: DUP1
00000bdc: ISZERO
00000bdd: PUSH2 0x0d3c
00000be0: JUMPI
00000be1: POP
00000be2: PUSH1 0x02
00000be4: PUSH1 0x00
00000be6: SWAP1
00000be7: SLOAD
00000be8: SWAP1
00000be9: PUSH2 0x0100
00000bec: EXP
00000bed: SWAP1
00000bee: DIV
00000bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c04: AND
00000c05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1a: AND
00000c1b: PUSH4 0xb7009613
00000c20: DUP5
00000c21: ADDRESS
00000c22: DUP6
00000c23: PUSH1 0x00
00000c25: PUSH1 0x40
00000c27: MLOAD
00000c28: PUSH1 0x20
00000c2a: ADD
00000c2b: MSTORE
00000c2c: PUSH1 0x40
00000c2e: MLOAD
00000c2f: DUP5
00000c30: PUSH4 0xffffffff
00000c35: AND
00000c36: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000c54: MUL
00000c55: DUP2
00000c56: MSTORE
00000c57: PUSH1 0x04
00000c59: ADD
00000c5a: DUP1
00000c5b: DUP5
00000c5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c71: AND
00000c72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c87: AND
00000c88: DUP2
00000c89: MSTORE
00000c8a: PUSH1 0x20
00000c8c: ADD
00000c8d: DUP4
00000c8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca3: AND
00000ca4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb9: AND
00000cba: DUP2
00000cbb: MSTORE
00000cbc: PUSH1 0x20
00000cbe: ADD
00000cbf: DUP3
00000cc0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000cdd: NOT
00000cde: AND
00000cdf: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000cfc: NOT
00000cfd: AND
00000cfe: DUP2
00000cff: MSTORE
00000d00: PUSH1 0x20
00000d02: ADD
00000d03: SWAP4
00000d04: POP
00000d05: POP
00000d06: POP
00000d07: POP
00000d08: PUSH1 0x20
00000d0a: PUSH1 0x40
00000d0c: MLOAD
00000d0d: DUP1
00000d0e: DUP4
00000d0f: SUB
00000d10: DUP2
00000d11: PUSH1 0x00
00000d13: DUP8
00000d14: DUP1
00000d15: EXTCODESIZE
00000d16: ISZERO
00000d17: ISZERO
00000d18: PUSH2 0x0d20
00000d1b: JUMPI
00000d1c: PUSH1 0x00
00000d1e: DUP1
00000d1f: REVERT
00000d20: JUMPDEST
00000d21: PUSH2 0x02c6
00000d24: GAS
00000d25: SUB
00000d26: CALL
00000d27: ISZERO
00000d28: ISZERO
00000d29: PUSH2 0x0d31
00000d2c: JUMPI
00000d2d: PUSH1 0x00
00000d2f: DUP1
00000d30: REVERT
00000d31: JUMPDEST
00000d32: POP
00000d33: POP
00000d34: POP
00000d35: PUSH1 0x40
00000d37: MLOAD
00000d38: DUP1
00000d39: MLOAD
00000d3a: SWAP1
00000d3b: POP
00000d3c: JUMPDEST
00000d3d: JUMPDEST
00000d3e: SWAP1
00000d3f: POP
00000d40: SWAP3
00000d41: SWAP2
00000d42: POP
00000d43: POP
00000d44: JUMP
00000d45: STOP
00000d46: LOG1
00000d47: PUSH6 0x627a7a723058
00000d4e: KECCAK256
00000d4f: PUSH11 0xa7a25b3c4fbdec78bb9f19
00000d5b: MUL
00000d5c: PUSH5 0x6af0cfe510
00000d62: UNKNOWN(0x2E)
00000d63: UNKNOWN(0xED)
00000d64: 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: 0xc0496254997aad6902205e853a7ad8bf819905146b902e2e082360e59bb3bafb call_targets: 0x51c90e0cf2955035328775616b8bd01d7c68575f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc0496254997aad6902205e853a7ad8bf819905146b902e2e082360e59bb3bafb", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x51c90e0cf2955035328775616b8bd01d7c68575f" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1072cbea", "selector": "0x1072cbea", "calldata_variants": [ "0x1072cbea", "0x1072cbea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27c10125", "selector": "0x27c10125", "calldata_variants": [ "0x27c10125", "0x27c101250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c60da1b", "selector": "0x5c60da1b", "calldata_variants": [ "0x5c60da1b", "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7a9e5e4b", "selector": "0x7a9e5e4b", "calldata_variants": [ "0x7a9e5e4b", "0x7a9e5e4b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8d747928", "selector": "0x8d747928", "calldata_variants": [ "0x8d747928", "0x8d7479280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1382, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1962, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2522, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xc0496254997aad6902205e853a7ad8bf819905146b902e2e082360e59bb3bafb call_targets: 0x51c90e0cf2955035328775616b8bd01d7c68575f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc0496254997aad6902205e853a7ad8bf819905146b902e2e082360e59bb3bafb", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x51c90e0cf2955035328775616b8bd01d7c68575f" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1072cbea", "selector": "0x1072cbea", "calldata_variants": [ "0x1072cbea", "0x1072cbea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27c10125", "selector": "0x27c10125", "calldata_variants": [ "0x27c10125", "0x27c101250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c60da1b", "selector": "0x5c60da1b", "calldata_variants": [ "0x5c60da1b", "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7a9e5e4b", "selector": "0x7a9e5e4b", "calldata_variants": [ "0x7a9e5e4b", "0x7a9e5e4b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8d747928", "selector": "0x8d747928", "calldata_variants": [ "0x8d747928", "0x8d7479280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1382, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1962, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2522, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

high

other

detector

Untrusted CALL target/value reachable

60

no

view

trace_id: 0xc0496254997aad6902205e853a7ad8bf819905146b902e2e082360e59bb3bafb

call_targets: 0x51c90e0cf2955035328775616b8bd01d7c68575f

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc0496254997aad6902205e853a7ad8bf819905146b902e2e082360e59bb3bafb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x51c90e0cf2955035328775616b8bd01d7c68575f"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1072cbea",
            "selector": "0x1072cbea",
            "calldata_variants": [
                "0x1072cbea",
                "0x1072cbea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27c10125",
            "selector": "0x27c10125",
            "calldata_variants": [
                "0x27c10125",
                "0x27c101250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c60da1b",
            "selector": "0x5c60da1b",
            "calldata_variants": [
                "0x5c60da1b",
                "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7a9e5e4b",
            "selector": "0x7a9e5e4b",
            "calldata_variants": [
                "0x7a9e5e4b",
                "0x7a9e5e4b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8d747928",
            "selector": "0x8d747928",
            "calldata_variants": [
                "0x8d747928",
                "0x8d7479280000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1382,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1962,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2522,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}