TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-b04a-72a3-b67f-1db732bff772

complete
Chain ID
1
Address
0x2193b9f2b5e5051e41c32c71b25587d6a6f045c8
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
Verified
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
21947 artifact.fetch complete 1 / 3 3 months ago
21948 tool.cast_disasm complete 1 / 3 3 months ago
89237 analysis.bundle complete 1 / 3 1 week ago
89238 capability.graph complete 1 / 3 1 week ago
89239 detector.run complete 1 / 3 1 week ago
89240 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

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
1703
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 0x00b6
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x06fdde03
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x019d
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x095ea7b3
0000002d: EQ
0000002e: PUSH2 0x0227
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x18160ddd
00000038: EQ
00000039: PUSH2 0x025f
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x2194f3a2
00000043: EQ
00000044: PUSH2 0x0286
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x23b872dd
0000004e: EQ
0000004f: PUSH2 0x02b7
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x313ce567
00000059: EQ
0000005a: PUSH2 0x02e1
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x54fd4d50
00000064: EQ
00000065: PUSH2 0x030c
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x65f2bc2e
0000006f: EQ
00000070: PUSH2 0x0321
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x70a08231
0000007a: EQ
0000007b: PUSH2 0x0336
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x933ba413
00000085: EQ
00000086: PUSH2 0x0357
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x95d89b41
00000090: EQ
00000091: PUSH2 0x036c
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0xa9059cbb
0000009b: EQ
0000009c: PUSH2 0x0381
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0xcae9ca51
000000a6: EQ
000000a7: PUSH2 0x03a5
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0xdd62ed3e
000000b1: EQ
000000b2: PUSH2 0x040e
000000b5: JUMPI
000000b6: JUMPDEST
000000b7: PUSH1 0x08
000000b9: DUP1
000000ba: SLOAD
000000bb: CALLVALUE
000000bc: SWAP1
000000bd: DUP2
000000be: ADD
000000bf: SWAP1
000000c0: SWAP2
000000c1: SSTORE
000000c2: PUSH1 0x07
000000c4: SLOAD
000000c5: PUSH1 0x09
000000c7: SLOAD
000000c8: PUSH1 0x01
000000ca: PUSH1 0xa0
000000cc: PUSH1 0x02
000000ce: EXP
000000cf: SUB
000000d0: AND
000000d1: PUSH1 0x00
000000d3: SWAP1
000000d4: DUP2
000000d5: MSTORE
000000d6: PUSH1 0x20
000000d8: DUP2
000000d9: SWAP1
000000da: MSTORE
000000db: PUSH1 0x40
000000dd: SWAP1
000000de: KECCAK256
000000df: SLOAD
000000e0: SWAP1
000000e1: DUP3
000000e2: ADD
000000e3: SWAP2
000000e4: SWAP1
000000e5: SWAP2
000000e6: SUB
000000e7: SWAP1
000000e8: DUP2
000000e9: GT
000000ea: ISZERO
000000eb: PUSH2 0x00f3
000000ee: JUMPI
000000ef: PUSH2 0x019a
000000f2: JUMP
000000f3: JUMPDEST
000000f4: PUSH1 0x09
000000f6: DUP1
000000f7: SLOAD
000000f8: PUSH1 0x01
000000fa: PUSH1 0xa0
000000fc: PUSH1 0x02
000000fe: EXP
000000ff: SUB
00000100: SWAP1
00000101: DUP2
00000102: AND
00000103: PUSH1 0x00
00000105: SWAP1
00000106: DUP2
00000107: MSTORE
00000108: PUSH1 0x20
0000010a: DUP2
0000010b: DUP2
0000010c: MSTORE
0000010d: PUSH1 0x40
0000010f: DUP1
00000110: DUP4
00000111: KECCAK256
00000112: DUP1
00000113: SLOAD
00000114: DUP8
00000115: SWAP1
00000116: SUB
00000117: SWAP1
00000118: SSTORE
00000119: CALLER
0000011a: DUP1
0000011b: DUP5
0000011c: MSTORE
0000011d: SWAP3
0000011e: DUP2
0000011f: SWAP1
00000120: KECCAK256
00000121: DUP1
00000122: SLOAD
00000123: DUP8
00000124: ADD
00000125: SWAP1
00000126: SSTORE
00000127: SWAP4
00000128: SLOAD
00000129: DUP5
0000012a: MLOAD
0000012b: DUP7
0000012c: DUP2
0000012d: MSTORE
0000012e: SWAP5
0000012f: MLOAD
00000130: SWAP3
00000131: SWAP5
00000132: SWAP4
00000133: AND
00000134: SWAP3
00000135: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000156: SWAP3
00000157: SWAP1
00000158: DUP2
00000159: SWAP1
0000015a: SUB
0000015b: SWAP1
0000015c: SWAP2
0000015d: ADD
0000015e: SWAP1
0000015f: LOG3
00000160: PUSH1 0x09
00000162: SLOAD
00000163: PUSH1 0x40
00000165: MLOAD
00000166: PUSH1 0x01
00000168: PUSH1 0xa0
0000016a: PUSH1 0x02
0000016c: EXP
0000016d: SUB
0000016e: SWAP1
0000016f: SWAP2
00000170: AND
00000171: SWAP1
00000172: CALLVALUE
00000173: DUP1
00000174: ISZERO
00000175: PUSH2 0x08fc
00000178: MUL
00000179: SWAP2
0000017a: PUSH1 0x00
0000017c: DUP2
0000017d: DUP2
0000017e: DUP2
0000017f: DUP6
00000180: DUP9
00000181: DUP9
00000182: CALL
00000183: SWAP4
00000184: POP
00000185: POP
00000186: POP
00000187: POP
00000188: ISZERO
00000189: DUP1
0000018a: ISZERO
0000018b: PUSH2 0x0198
0000018e: JUMPI
0000018f: RETURNDATASIZE
00000190: PUSH1 0x00
00000192: DUP1
00000193: RETURNDATACOPY
00000194: RETURNDATASIZE
00000195: PUSH1 0x00
00000197: REVERT
00000198: JUMPDEST
00000199: POP
0000019a: JUMPDEST
0000019b: POP
0000019c: STOP
0000019d: JUMPDEST
0000019e: CALLVALUE
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x01a9
000001a4: JUMPI
000001a5: PUSH1 0x00
000001a7: DUP1
000001a8: REVERT
000001a9: JUMPDEST
000001aa: POP
000001ab: PUSH2 0x01b2
000001ae: PUSH2 0x0435
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH1 0x40
000001b5: DUP1
000001b6: MLOAD
000001b7: PUSH1 0x20
000001b9: DUP1
000001ba: DUP3
000001bb: MSTORE
000001bc: DUP4
000001bd: MLOAD
000001be: DUP2
000001bf: DUP4
000001c0: ADD
000001c1: MSTORE
000001c2: DUP4
000001c3: MLOAD
000001c4: SWAP2
000001c5: SWAP3
000001c6: DUP4
000001c7: SWAP3
000001c8: SWAP1
000001c9: DUP4
000001ca: ADD
000001cb: SWAP2
000001cc: DUP6
000001cd: ADD
000001ce: SWAP1
000001cf: DUP1
000001d0: DUP4
000001d1: DUP4
000001d2: PUSH1 0x00
000001d4: JUMPDEST
000001d5: DUP4
000001d6: DUP2
000001d7: LT
000001d8: ISZERO
000001d9: PUSH2 0x01ec
000001dc: JUMPI
000001dd: DUP2
000001de: DUP2
000001df: ADD
000001e0: MLOAD
000001e1: DUP4
000001e2: DUP3
000001e3: ADD
000001e4: MSTORE
000001e5: PUSH1 0x20
000001e7: ADD
000001e8: PUSH2 0x01d4
000001eb: JUMP
000001ec: JUMPDEST
000001ed: POP
000001ee: POP
000001ef: POP
000001f0: POP
000001f1: SWAP1
000001f2: POP
000001f3: SWAP1
000001f4: DUP2
000001f5: ADD
000001f6: SWAP1
000001f7: PUSH1 0x1f
000001f9: AND
000001fa: DUP1
000001fb: ISZERO
000001fc: PUSH2 0x0219
000001ff: JUMPI
00000200: DUP1
00000201: DUP3
00000202: SUB
00000203: DUP1
00000204: MLOAD
00000205: PUSH1 0x01
00000207: DUP4
00000208: PUSH1 0x20
0000020a: SUB
0000020b: PUSH2 0x0100
0000020e: EXP
0000020f: SUB
00000210: NOT
00000211: AND
00000212: DUP2
00000213: MSTORE
00000214: PUSH1 0x20
00000216: ADD
00000217: SWAP2
00000218: POP
00000219: JUMPDEST
0000021a: POP
0000021b: SWAP3
0000021c: POP
0000021d: POP
0000021e: POP
0000021f: PUSH1 0x40
00000221: MLOAD
00000222: DUP1
00000223: SWAP2
00000224: SUB
00000225: SWAP1
00000226: RETURN
00000227: JUMPDEST
00000228: CALLVALUE
00000229: DUP1
0000022a: ISZERO
0000022b: PUSH2 0x0233
0000022e: JUMPI
0000022f: PUSH1 0x00
00000231: DUP1
00000232: REVERT
00000233: JUMPDEST
00000234: POP
00000235: PUSH2 0x024b
00000238: PUSH1 0x01
0000023a: PUSH1 0xa0
0000023c: PUSH1 0x02
0000023e: EXP
0000023f: SUB
00000240: PUSH1 0x04
00000242: CALLDATALOAD
00000243: AND
00000244: PUSH1 0x24
00000246: CALLDATALOAD
00000247: PUSH2 0x04c3
0000024a: JUMP
0000024b: JUMPDEST
0000024c: PUSH1 0x40
0000024e: DUP1
0000024f: MLOAD
00000250: SWAP2
00000251: ISZERO
00000252: ISZERO
00000253: DUP3
00000254: MSTORE
00000255: MLOAD
00000256: SWAP1
00000257: DUP2
00000258: SWAP1
00000259: SUB
0000025a: PUSH1 0x20
0000025c: ADD
0000025d: SWAP1
0000025e: RETURN
0000025f: JUMPDEST
00000260: CALLVALUE
00000261: DUP1
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: POP
0000026d: PUSH2 0x0274
00000270: PUSH2 0x052a
00000273: JUMP
00000274: JUMPDEST
00000275: PUSH1 0x40
00000277: DUP1
00000278: MLOAD
00000279: SWAP2
0000027a: DUP3
0000027b: MSTORE
0000027c: MLOAD
0000027d: SWAP1
0000027e: DUP2
0000027f: SWAP1
00000280: SUB
00000281: PUSH1 0x20
00000283: ADD
00000284: SWAP1
00000285: RETURN
00000286: JUMPDEST
00000287: CALLVALUE
00000288: DUP1
00000289: ISZERO
0000028a: PUSH2 0x0292
0000028d: JUMPI
0000028e: PUSH1 0x00
00000290: DUP1
00000291: REVERT
00000292: JUMPDEST
00000293: POP
00000294: PUSH2 0x029b
00000297: PUSH2 0x0530
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH1 0x40
0000029e: DUP1
0000029f: MLOAD
000002a0: PUSH1 0x01
000002a2: PUSH1 0xa0
000002a4: PUSH1 0x02
000002a6: EXP
000002a7: SUB
000002a8: SWAP1
000002a9: SWAP3
000002aa: AND
000002ab: DUP3
000002ac: MSTORE
000002ad: MLOAD
000002ae: SWAP1
000002af: DUP2
000002b0: SWAP1
000002b1: SUB
000002b2: PUSH1 0x20
000002b4: ADD
000002b5: SWAP1
000002b6: RETURN
000002b7: JUMPDEST
000002b8: CALLVALUE
000002b9: DUP1
000002ba: ISZERO
000002bb: PUSH2 0x02c3
000002be: JUMPI
000002bf: PUSH1 0x00
000002c1: DUP1
000002c2: REVERT
000002c3: JUMPDEST
000002c4: POP
000002c5: PUSH2 0x024b
000002c8: PUSH1 0x01
000002ca: PUSH1 0xa0
000002cc: PUSH1 0x02
000002ce: EXP
000002cf: SUB
000002d0: PUSH1 0x04
000002d2: CALLDATALOAD
000002d3: DUP2
000002d4: AND
000002d5: SWAP1
000002d6: PUSH1 0x24
000002d8: CALLDATALOAD
000002d9: AND
000002da: PUSH1 0x44
000002dc: CALLDATALOAD
000002dd: PUSH2 0x053f
000002e0: JUMP
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: DUP1
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH2 0x02f6
000002f2: PUSH2 0x062a
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH1 0x40
000002f9: DUP1
000002fa: MLOAD
000002fb: PUSH1 0xff
000002fd: SWAP1
000002fe: SWAP3
000002ff: AND
00000300: DUP3
00000301: MSTORE
00000302: MLOAD
00000303: SWAP1
00000304: DUP2
00000305: SWAP1
00000306: SUB
00000307: PUSH1 0x20
00000309: ADD
0000030a: SWAP1
0000030b: RETURN
0000030c: JUMPDEST
0000030d: CALLVALUE
0000030e: DUP1
0000030f: ISZERO
00000310: PUSH2 0x0318
00000313: JUMPI
00000314: PUSH1 0x00
00000316: DUP1
00000317: REVERT
00000318: JUMPDEST
00000319: POP
0000031a: PUSH2 0x01b2
0000031d: PUSH2 0x0633
00000320: JUMP
00000321: JUMPDEST
00000322: CALLVALUE
00000323: DUP1
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: PUSH2 0x0274
00000332: PUSH2 0x068e
00000335: JUMP
00000336: JUMPDEST
00000337: CALLVALUE
00000338: DUP1
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x0274
00000347: PUSH1 0x01
00000349: PUSH1 0xa0
0000034b: PUSH1 0x02
0000034d: EXP
0000034e: SUB
0000034f: PUSH1 0x04
00000351: CALLDATALOAD
00000352: AND
00000353: PUSH2 0x0694
00000356: JUMP
00000357: JUMPDEST
00000358: CALLVALUE
00000359: DUP1
0000035a: ISZERO
0000035b: PUSH2 0x0363
0000035e: JUMPI
0000035f: PUSH1 0x00
00000361: DUP1
00000362: REVERT
00000363: JUMPDEST
00000364: POP
00000365: PUSH2 0x0274
00000368: PUSH2 0x06af
0000036b: JUMP
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: DUP1
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: POP
0000037a: PUSH2 0x01b2
0000037d: PUSH2 0x06b5
00000380: JUMP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x024b
00000392: PUSH1 0x01
00000394: PUSH1 0xa0
00000396: PUSH1 0x02
00000398: EXP
00000399: SUB
0000039a: PUSH1 0x04
0000039c: CALLDATALOAD
0000039d: AND
0000039e: PUSH1 0x24
000003a0: CALLDATALOAD
000003a1: PUSH2 0x0710
000003a4: JUMP
000003a5: JUMPDEST
000003a6: CALLVALUE
000003a7: DUP1
000003a8: ISZERO
000003a9: PUSH2 0x03b1
000003ac: JUMPI
000003ad: PUSH1 0x00
000003af: DUP1
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: PUSH1 0x40
000003b5: DUP1
000003b6: MLOAD
000003b7: PUSH1 0x20
000003b9: PUSH1 0x04
000003bb: PUSH1 0x44
000003bd: CALLDATALOAD
000003be: DUP2
000003bf: DUP2
000003c0: ADD
000003c1: CALLDATALOAD
000003c2: PUSH1 0x1f
000003c4: DUP2
000003c5: ADD
000003c6: DUP5
000003c7: SWAP1
000003c8: DIV
000003c9: DUP5
000003ca: MUL
000003cb: DUP6
000003cc: ADD
000003cd: DUP5
000003ce: ADD
000003cf: SWAP1
000003d0: SWAP6
000003d1: MSTORE
000003d2: DUP5
000003d3: DUP5
000003d4: MSTORE
000003d5: PUSH2 0x024b
000003d8: SWAP5
000003d9: DUP3
000003da: CALLDATALOAD
000003db: PUSH1 0x01
000003dd: PUSH1 0xa0
000003df: PUSH1 0x02
000003e1: EXP
000003e2: SUB
000003e3: AND
000003e4: SWAP5
000003e5: PUSH1 0x24
000003e7: DUP1
000003e8: CALLDATALOAD
000003e9: SWAP6
000003ea: CALLDATASIZE
000003eb: SWAP6
000003ec: SWAP5
000003ed: PUSH1 0x64
000003ef: SWAP5
000003f0: SWAP3
000003f1: ADD
000003f2: SWAP2
000003f3: SWAP1
000003f4: DUP2
000003f5: SWAP1
000003f6: DUP5
000003f7: ADD
000003f8: DUP4
000003f9: DUP3
000003fa: DUP1
000003fb: DUP3
000003fc: DUP5
000003fd: CALLDATACOPY
000003fe: POP
000003ff: SWAP5
00000400: SWAP8
00000401: POP
00000402: PUSH2 0x07a7
00000405: SWAP7
00000406: POP
00000407: POP
00000408: POP
00000409: POP
0000040a: POP
0000040b: POP
0000040c: POP
0000040d: JUMP
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x041a
00000415: JUMPI
00000416: PUSH1 0x00
00000418: DUP1
00000419: REVERT
0000041a: JUMPDEST
0000041b: POP
0000041c: PUSH2 0x0274
0000041f: PUSH1 0x01
00000421: PUSH1 0xa0
00000423: PUSH1 0x02
00000425: EXP
00000426: SUB
00000427: PUSH1 0x04
00000429: CALLDATALOAD
0000042a: DUP2
0000042b: AND
0000042c: SWAP1
0000042d: PUSH1 0x24
0000042f: CALLDATALOAD
00000430: AND
00000431: PUSH2 0x0942
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH1 0x03
00000438: DUP1
00000439: SLOAD
0000043a: PUSH1 0x40
0000043c: DUP1
0000043d: MLOAD
0000043e: PUSH1 0x20
00000440: PUSH1 0x02
00000442: PUSH1 0x01
00000444: DUP6
00000445: AND
00000446: ISZERO
00000447: PUSH2 0x0100
0000044a: MUL
0000044b: PUSH1 0x00
0000044d: NOT
0000044e: ADD
0000044f: SWAP1
00000450: SWAP5
00000451: AND
00000452: SWAP4
00000453: SWAP1
00000454: SWAP4
00000455: DIV
00000456: PUSH1 0x1f
00000458: DUP2
00000459: ADD
0000045a: DUP5
0000045b: SWAP1
0000045c: DIV
0000045d: DUP5
0000045e: MUL
0000045f: DUP3
00000460: ADD
00000461: DUP5
00000462: ADD
00000463: SWAP1
00000464: SWAP3
00000465: MSTORE
00000466: DUP2
00000467: DUP2
00000468: MSTORE
00000469: SWAP3
0000046a: SWAP2
0000046b: DUP4
0000046c: ADD
0000046d: DUP3
0000046e: DUP3
0000046f: DUP1
00000470: ISZERO
00000471: PUSH2 0x04bb
00000474: JUMPI
00000475: DUP1
00000476: PUSH1 0x1f
00000478: LT
00000479: PUSH2 0x0490
0000047c: JUMPI
0000047d: PUSH2 0x0100
00000480: DUP1
00000481: DUP4
00000482: SLOAD
00000483: DIV
00000484: MUL
00000485: DUP4
00000486: MSTORE
00000487: SWAP2
00000488: PUSH1 0x20
0000048a: ADD
0000048b: SWAP2
0000048c: PUSH2 0x04bb
0000048f: JUMP
00000490: JUMPDEST
00000491: DUP3
00000492: ADD
00000493: SWAP2
00000494: SWAP1
00000495: PUSH1 0x00
00000497: MSTORE
00000498: PUSH1 0x20
0000049a: PUSH1 0x00
0000049c: KECCAK256
0000049d: SWAP1
0000049e: JUMPDEST
0000049f: DUP2
000004a0: SLOAD
000004a1: DUP2
000004a2: MSTORE
000004a3: SWAP1
000004a4: PUSH1 0x01
000004a6: ADD
000004a7: SWAP1
000004a8: PUSH1 0x20
000004aa: ADD
000004ab: DUP1
000004ac: DUP4
000004ad: GT
000004ae: PUSH2 0x049e
000004b1: JUMPI
000004b2: DUP3
000004b3: SWAP1
000004b4: SUB
000004b5: PUSH1 0x1f
000004b7: AND
000004b8: DUP3
000004b9: ADD
000004ba: SWAP2
000004bb: JUMPDEST
000004bc: POP
000004bd: POP
000004be: POP
000004bf: POP
000004c0: POP
000004c1: DUP2
000004c2: JUMP
000004c3: JUMPDEST
000004c4: CALLER
000004c5: PUSH1 0x00
000004c7: DUP2
000004c8: DUP2
000004c9: MSTORE
000004ca: PUSH1 0x01
000004cc: PUSH1 0x20
000004ce: SWAP1
000004cf: DUP2
000004d0: MSTORE
000004d1: PUSH1 0x40
000004d3: DUP1
000004d4: DUP4
000004d5: KECCAK256
000004d6: PUSH1 0x01
000004d8: PUSH1 0xa0
000004da: PUSH1 0x02
000004dc: EXP
000004dd: SUB
000004de: DUP8
000004df: AND
000004e0: DUP1
000004e1: DUP6
000004e2: MSTORE
000004e3: SWAP1
000004e4: DUP4
000004e5: MSTORE
000004e6: DUP2
000004e7: DUP5
000004e8: KECCAK256
000004e9: DUP7
000004ea: SWAP1
000004eb: SSTORE
000004ec: DUP2
000004ed: MLOAD
000004ee: DUP7
000004ef: DUP2
000004f0: MSTORE
000004f1: SWAP2
000004f2: MLOAD
000004f3: SWAP4
000004f4: SWAP5
000004f5: SWAP1
000004f6: SWAP4
000004f7: SWAP1
000004f8: SWAP3
000004f9: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000051a: SWAP3
0000051b: DUP3
0000051c: SWAP1
0000051d: SUB
0000051e: ADD
0000051f: SWAP1
00000520: LOG3
00000521: POP
00000522: PUSH1 0x01
00000524: JUMPDEST
00000525: SWAP3
00000526: SWAP2
00000527: POP
00000528: POP
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH1 0x0a
0000052d: SLOAD
0000052e: DUP2
0000052f: JUMP
00000530: JUMPDEST
00000531: PUSH1 0x09
00000533: SLOAD
00000534: PUSH1 0x01
00000536: PUSH1 0xa0
00000538: PUSH1 0x02
0000053a: EXP
0000053b: SUB
0000053c: AND
0000053d: DUP2
0000053e: JUMP
0000053f: JUMPDEST
00000540: PUSH1 0x01
00000542: PUSH1 0xa0
00000544: PUSH1 0x02
00000546: EXP
00000547: SUB
00000548: DUP4
00000549: AND
0000054a: PUSH1 0x00
0000054c: SWAP1
0000054d: DUP2
0000054e: MSTORE
0000054f: PUSH1 0x20
00000551: DUP2
00000552: SWAP1
00000553: MSTORE
00000554: PUSH1 0x40
00000556: DUP2
00000557: KECCAK256
00000558: SLOAD
00000559: DUP3
0000055a: GT
0000055b: DUP1
0000055c: ISZERO
0000055d: SWAP1
0000055e: PUSH2 0x058a
00000561: JUMPI
00000562: POP
00000563: PUSH1 0x01
00000565: PUSH1 0xa0
00000567: PUSH1 0x02
00000569: EXP
0000056a: SUB
0000056b: DUP5
0000056c: AND
0000056d: PUSH1 0x00
0000056f: SWAP1
00000570: DUP2
00000571: MSTORE
00000572: PUSH1 0x01
00000574: PUSH1 0x20
00000576: SWAP1
00000577: DUP2
00000578: MSTORE
00000579: PUSH1 0x40
0000057b: DUP1
0000057c: DUP4
0000057d: KECCAK256
0000057e: CALLER
0000057f: DUP5
00000580: MSTORE
00000581: SWAP1
00000582: SWAP2
00000583: MSTORE
00000584: SWAP1
00000585: KECCAK256
00000586: SLOAD
00000587: DUP3
00000588: GT
00000589: ISZERO
0000058a: JUMPDEST
0000058b: DUP1
0000058c: ISZERO
0000058d: PUSH2 0x0596
00000590: JUMPI
00000591: POP
00000592: PUSH1 0x00
00000594: DUP3
00000595: GT
00000596: JUMPDEST
00000597: ISZERO
00000598: PUSH2 0x061f
0000059b: JUMPI
0000059c: PUSH1 0x01
0000059e: PUSH1 0xa0
000005a0: PUSH1 0x02
000005a2: EXP
000005a3: SUB
000005a4: DUP1
000005a5: DUP5
000005a6: AND
000005a7: PUSH1 0x00
000005a9: DUP2
000005aa: DUP2
000005ab: MSTORE
000005ac: PUSH1 0x20
000005ae: DUP2
000005af: DUP2
000005b0: MSTORE
000005b1: PUSH1 0x40
000005b3: DUP1
000005b4: DUP4
000005b5: KECCAK256
000005b6: DUP1
000005b7: SLOAD
000005b8: DUP9
000005b9: ADD
000005ba: SWAP1
000005bb: SSTORE
000005bc: SWAP4
000005bd: DUP9
000005be: AND
000005bf: DUP1
000005c0: DUP4
000005c1: MSTORE
000005c2: DUP5
000005c3: DUP4
000005c4: KECCAK256
000005c5: DUP1
000005c6: SLOAD
000005c7: DUP9
000005c8: SWAP1
000005c9: SUB
000005ca: SWAP1
000005cb: SSTORE
000005cc: PUSH1 0x01
000005ce: DUP3
000005cf: MSTORE
000005d0: DUP5
000005d1: DUP4
000005d2: KECCAK256
000005d3: CALLER
000005d4: DUP5
000005d5: MSTORE
000005d6: DUP3
000005d7: MSTORE
000005d8: SWAP2
000005d9: DUP5
000005da: SWAP1
000005db: KECCAK256
000005dc: DUP1
000005dd: SLOAD
000005de: DUP8
000005df: SWAP1
000005e0: SUB
000005e1: SWAP1
000005e2: SSTORE
000005e3: DUP4
000005e4: MLOAD
000005e5: DUP7
000005e6: DUP2
000005e7: MSTORE
000005e8: SWAP4
000005e9: MLOAD
000005ea: SWAP3
000005eb: SWAP4
000005ec: SWAP2
000005ed: SWAP3
000005ee: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000060f: SWAP3
00000610: DUP2
00000611: SWAP1
00000612: SUB
00000613: SWAP1
00000614: SWAP2
00000615: ADD
00000616: SWAP1
00000617: LOG3
00000618: POP
00000619: PUSH1 0x01
0000061b: PUSH2 0x0623
0000061e: JUMP
0000061f: JUMPDEST
00000620: POP
00000621: PUSH1 0x00
00000623: JUMPDEST
00000624: SWAP4
00000625: SWAP3
00000626: POP
00000627: POP
00000628: POP
00000629: JUMP
0000062a: JUMPDEST
0000062b: PUSH1 0x04
0000062d: SLOAD
0000062e: PUSH1 0xff
00000630: AND
00000631: DUP2
00000632: JUMP
00000633: JUMPDEST
00000634: PUSH1 0x06
00000636: DUP1
00000637: SLOAD
00000638: PUSH1 0x40
0000063a: DUP1
0000063b: MLOAD
0000063c: PUSH1 0x20
0000063e: PUSH1 0x02
00000640: PUSH1 0x01
00000642: DUP6
00000643: AND
00000644: ISZERO
00000645: PUSH2 0x0100
00000648: MUL
00000649: PUSH1 0x00
0000064b: NOT
0000064c: ADD
0000064d: SWAP1
0000064e: SWAP5
0000064f: AND
00000650: SWAP4
00000651: SWAP1
00000652: SWAP4
00000653: DIV
00000654: PUSH1 0x1f
00000656: DUP2
00000657: ADD
00000658: DUP5
00000659: SWAP1
0000065a: DIV
0000065b: DUP5
0000065c: MUL
0000065d: DUP3
0000065e: ADD
0000065f: DUP5
00000660: ADD
00000661: SWAP1
00000662: SWAP3
00000663: MSTORE
00000664: DUP2
00000665: DUP2
00000666: MSTORE
00000667: SWAP3
00000668: SWAP2
00000669: DUP4
0000066a: ADD
0000066b: DUP3
0000066c: DUP3
0000066d: DUP1
0000066e: ISZERO
0000066f: PUSH2 0x04bb
00000672: JUMPI
00000673: DUP1
00000674: PUSH1 0x1f
00000676: LT
00000677: PUSH2 0x0490
0000067a: JUMPI
0000067b: PUSH2 0x0100
0000067e: DUP1
0000067f: DUP4
00000680: SLOAD
00000681: DIV
00000682: MUL
00000683: DUP4
00000684: MSTORE
00000685: SWAP2
00000686: PUSH1 0x20
00000688: ADD
00000689: SWAP2
0000068a: PUSH2 0x04bb
0000068d: JUMP
0000068e: JUMPDEST
0000068f: PUSH1 0x07
00000691: SLOAD
00000692: DUP2
00000693: JUMP
00000694: JUMPDEST
00000695: PUSH1 0x01
00000697: PUSH1 0xa0
00000699: PUSH1 0x02
0000069b: EXP
0000069c: SUB
0000069d: AND
0000069e: PUSH1 0x00
000006a0: SWAP1
000006a1: DUP2
000006a2: MSTORE
000006a3: PUSH1 0x20
000006a5: DUP2
000006a6: SWAP1
000006a7: MSTORE
000006a8: PUSH1 0x40
000006aa: SWAP1
000006ab: KECCAK256
000006ac: SLOAD
000006ad: SWAP1
000006ae: JUMP
000006af: JUMPDEST
000006b0: PUSH1 0x08
000006b2: SLOAD
000006b3: DUP2
000006b4: JUMP
000006b5: JUMPDEST
000006b6: PUSH1 0x05
000006b8: DUP1
000006b9: SLOAD
000006ba: PUSH1 0x40
000006bc: DUP1
000006bd: MLOAD
000006be: PUSH1 0x20
000006c0: PUSH1 0x02
000006c2: PUSH1 0x01
000006c4: DUP6
000006c5: AND
000006c6: ISZERO
000006c7: PUSH2 0x0100
000006ca: MUL
000006cb: PUSH1 0x00
000006cd: NOT
000006ce: ADD
000006cf: SWAP1
000006d0: SWAP5
000006d1: AND
000006d2: SWAP4
000006d3: SWAP1
000006d4: SWAP4
000006d5: DIV
000006d6: PUSH1 0x1f
000006d8: DUP2
000006d9: ADD
000006da: DUP5
000006db: SWAP1
000006dc: DIV
000006dd: DUP5
000006de: MUL
000006df: DUP3
000006e0: ADD
000006e1: DUP5
000006e2: ADD
000006e3: SWAP1
000006e4: SWAP3
000006e5: MSTORE
000006e6: DUP2
000006e7: DUP2
000006e8: MSTORE
000006e9: SWAP3
000006ea: SWAP2
000006eb: DUP4
000006ec: ADD
000006ed: DUP3
000006ee: DUP3
000006ef: DUP1
000006f0: ISZERO
000006f1: PUSH2 0x04bb
000006f4: JUMPI
000006f5: DUP1
000006f6: PUSH1 0x1f
000006f8: LT
000006f9: PUSH2 0x0490
000006fc: JUMPI
000006fd: PUSH2 0x0100
00000700: DUP1
00000701: DUP4
00000702: SLOAD
00000703: DIV
00000704: MUL
00000705: DUP4
00000706: MSTORE
00000707: SWAP2
00000708: PUSH1 0x20
0000070a: ADD
0000070b: SWAP2
0000070c: PUSH2 0x04bb
0000070f: JUMP
00000710: JUMPDEST
00000711: CALLER
00000712: PUSH1 0x00
00000714: SWAP1
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x20
00000719: DUP2
0000071a: SWAP1
0000071b: MSTORE
0000071c: PUSH1 0x40
0000071e: DUP2
0000071f: KECCAK256
00000720: SLOAD
00000721: DUP3
00000722: GT
00000723: DUP1
00000724: ISZERO
00000725: SWAP1
00000726: PUSH2 0x072f
00000729: JUMPI
0000072a: POP
0000072b: PUSH1 0x00
0000072d: DUP3
0000072e: GT
0000072f: JUMPDEST
00000730: ISZERO
00000731: PUSH2 0x079f
00000734: JUMPI
00000735: CALLER
00000736: PUSH1 0x00
00000738: DUP2
00000739: DUP2
0000073a: MSTORE
0000073b: PUSH1 0x20
0000073d: DUP2
0000073e: DUP2
0000073f: MSTORE
00000740: PUSH1 0x40
00000742: DUP1
00000743: DUP4
00000744: KECCAK256
00000745: DUP1
00000746: SLOAD
00000747: DUP8
00000748: SWAP1
00000749: SUB
0000074a: SWAP1
0000074b: SSTORE
0000074c: PUSH1 0x01
0000074e: PUSH1 0xa0
00000750: PUSH1 0x02
00000752: EXP
00000753: SUB
00000754: DUP8
00000755: AND
00000756: DUP1
00000757: DUP5
00000758: MSTORE
00000759: SWAP3
0000075a: DUP2
0000075b: SWAP1
0000075c: KECCAK256
0000075d: DUP1
0000075e: SLOAD
0000075f: DUP8
00000760: ADD
00000761: SWAP1
00000762: SSTORE
00000763: DUP1
00000764: MLOAD
00000765: DUP7
00000766: DUP2
00000767: MSTORE
00000768: SWAP1
00000769: MLOAD
0000076a: SWAP3
0000076b: SWAP4
0000076c: SWAP3
0000076d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000078e: SWAP3
0000078f: SWAP2
00000790: DUP2
00000791: SWAP1
00000792: SUB
00000793: SWAP1
00000794: SWAP2
00000795: ADD
00000796: SWAP1
00000797: LOG3
00000798: POP
00000799: PUSH1 0x01
0000079b: PUSH2 0x0524
0000079e: JUMP
0000079f: JUMPDEST
000007a0: POP
000007a1: PUSH1 0x00
000007a3: PUSH2 0x0524
000007a6: JUMP
000007a7: JUMPDEST
000007a8: CALLER
000007a9: PUSH1 0x00
000007ab: DUP2
000007ac: DUP2
000007ad: MSTORE
000007ae: PUSH1 0x01
000007b0: PUSH1 0x20
000007b2: SWAP1
000007b3: DUP2
000007b4: MSTORE
000007b5: PUSH1 0x40
000007b7: DUP1
000007b8: DUP4
000007b9: KECCAK256
000007ba: PUSH1 0x01
000007bc: PUSH1 0xa0
000007be: PUSH1 0x02
000007c0: EXP
000007c1: SUB
000007c2: DUP9
000007c3: AND
000007c4: DUP1
000007c5: DUP6
000007c6: MSTORE
000007c7: SWAP1
000007c8: DUP4
000007c9: MSTORE
000007ca: DUP2
000007cb: DUP5
000007cc: KECCAK256
000007cd: DUP8
000007ce: SWAP1
000007cf: SSTORE
000007d0: DUP2
000007d1: MLOAD
000007d2: DUP8
000007d3: DUP2
000007d4: MSTORE
000007d5: SWAP2
000007d6: MLOAD
000007d7: SWAP4
000007d8: SWAP5
000007d9: SWAP1
000007da: SWAP4
000007db: SWAP1
000007dc: SWAP3
000007dd: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000007fe: SWAP3
000007ff: DUP3
00000800: SWAP1
00000801: SUB
00000802: ADD
00000803: SWAP1
00000804: LOG3
00000805: DUP4
00000806: PUSH1 0x01
00000808: PUSH1 0xa0
0000080a: PUSH1 0x02
0000080c: EXP
0000080d: SUB
0000080e: AND
0000080f: PUSH1 0x40
00000811: MLOAD
00000812: DUP1
00000813: DUP1
00000814: PUSH32 0x72656365697665417070726f76616c28616464726573732c75696e743235362c
00000835: DUP2
00000836: MSTORE
00000837: PUSH1 0x20
00000839: ADD
0000083a: PUSH32 0x616464726573732c627974657329000000000000000000000000000000000000
0000085b: DUP2
0000085c: MSTORE
0000085d: POP
0000085e: PUSH1 0x2e
00000860: ADD
00000861: SWAP1
00000862: POP
00000863: PUSH1 0x40
00000865: MLOAD
00000866: DUP1
00000867: SWAP2
00000868: SUB
00000869: SWAP1
0000086a: KECCAK256
0000086b: PUSH1 0xe0
0000086d: PUSH1 0x02
0000086f: EXP
00000870: SWAP1
00000871: DIV
00000872: CALLER
00000873: DUP6
00000874: ADDRESS
00000875: DUP7
00000876: PUSH1 0x40
00000878: MLOAD
00000879: DUP6
0000087a: PUSH4 0xffffffff
0000087f: AND
00000880: PUSH1 0xe0
00000882: PUSH1 0x02
00000884: EXP
00000885: MUL
00000886: DUP2
00000887: MSTORE
00000888: PUSH1 0x04
0000088a: ADD
0000088b: DUP1
0000088c: DUP6
0000088d: PUSH1 0x01
0000088f: PUSH1 0xa0
00000891: PUSH1 0x02
00000893: EXP
00000894: SUB
00000895: AND
00000896: PUSH1 0x01
00000898: PUSH1 0xa0
0000089a: PUSH1 0x02
0000089c: EXP
0000089d: SUB
0000089e: AND
0000089f: DUP2
000008a0: MSTORE
000008a1: PUSH1 0x20
000008a3: ADD
000008a4: DUP5
000008a5: DUP2
000008a6: MSTORE
000008a7: PUSH1 0x20
000008a9: ADD
000008aa: DUP4
000008ab: PUSH1 0x01
000008ad: PUSH1 0xa0
000008af: PUSH1 0x02
000008b1: EXP
000008b2: SUB
000008b3: AND
000008b4: PUSH1 0x01
000008b6: PUSH1 0xa0
000008b8: PUSH1 0x02
000008ba: EXP
000008bb: SUB
000008bc: AND
000008bd: DUP2
000008be: MSTORE
000008bf: PUSH1 0x20
000008c1: ADD
000008c2: DUP3
000008c3: DUP1
000008c4: MLOAD
000008c5: SWAP1
000008c6: PUSH1 0x20
000008c8: ADD
000008c9: SWAP1
000008ca: DUP1
000008cb: DUP4
000008cc: DUP4
000008cd: PUSH1 0x00
000008cf: JUMPDEST
000008d0: DUP4
000008d1: DUP2
000008d2: LT
000008d3: ISZERO
000008d4: PUSH2 0x08e7
000008d7: JUMPI
000008d8: DUP2
000008d9: DUP2
000008da: ADD
000008db: MLOAD
000008dc: DUP4
000008dd: DUP3
000008de: ADD
000008df: MSTORE
000008e0: PUSH1 0x20
000008e2: ADD
000008e3: PUSH2 0x08cf
000008e6: JUMP
000008e7: JUMPDEST
000008e8: POP
000008e9: POP
000008ea: POP
000008eb: POP
000008ec: SWAP1
000008ed: POP
000008ee: SWAP1
000008ef: DUP2
000008f0: ADD
000008f1: SWAP1
000008f2: PUSH1 0x1f
000008f4: AND
000008f5: DUP1
000008f6: ISZERO
000008f7: PUSH2 0x0914
000008fa: JUMPI
000008fb: DUP1
000008fc: DUP3
000008fd: SUB
000008fe: DUP1
000008ff: MLOAD
00000900: PUSH1 0x01
00000902: DUP4
00000903: PUSH1 0x20
00000905: SUB
00000906: PUSH2 0x0100
00000909: EXP
0000090a: SUB
0000090b: NOT
0000090c: AND
0000090d: DUP2
0000090e: MSTORE
0000090f: PUSH1 0x20
00000911: ADD
00000912: SWAP2
00000913: POP
00000914: JUMPDEST
00000915: POP
00000916: SWAP5
00000917: POP
00000918: POP
00000919: POP
0000091a: POP
0000091b: POP
0000091c: PUSH1 0x00
0000091e: PUSH1 0x40
00000920: MLOAD
00000921: DUP1
00000922: DUP4
00000923: SUB
00000924: DUP2
00000925: PUSH1 0x00
00000927: DUP8
00000928: GAS
00000929: CALL
0000092a: SWAP3
0000092b: POP
0000092c: POP
0000092d: POP
0000092e: ISZERO
0000092f: ISZERO
00000930: PUSH2 0x0938
00000933: JUMPI
00000934: PUSH1 0x00
00000936: DUP1
00000937: REVERT
00000938: JUMPDEST
00000939: POP
0000093a: PUSH1 0x01
0000093c: SWAP4
0000093d: SWAP3
0000093e: POP
0000093f: POP
00000940: POP
00000941: JUMP
00000942: JUMPDEST
00000943: PUSH1 0x01
00000945: PUSH1 0xa0
00000947: PUSH1 0x02
00000949: EXP
0000094a: SUB
0000094b: SWAP2
0000094c: DUP3
0000094d: AND
0000094e: PUSH1 0x00
00000950: SWAP1
00000951: DUP2
00000952: MSTORE
00000953: PUSH1 0x01
00000955: PUSH1 0x20
00000957: SWAP1
00000958: DUP2
00000959: MSTORE
0000095a: PUSH1 0x40
0000095c: DUP1
0000095d: DUP4
0000095e: KECCAK256
0000095f: SWAP4
00000960: SWAP1
00000961: SWAP5
00000962: AND
00000963: DUP3
00000964: MSTORE
00000965: SWAP2
00000966: SWAP1
00000967: SWAP2
00000968: MSTORE
00000969: KECCAK256
0000096a: SLOAD
0000096b: SWAP1
0000096c: JUMP
0000096d: STOP
0000096e: LOG1
0000096f: PUSH6 0x627a7a723058
00000976: KECCAK256
00000977: UNKNOWN(0xDB)
00000978: UNKNOWN(0xDF)
00000979: RETURN
0000097a: TIMESTAMP
0000097b: ADDMOD
0000097c: SHR
0000097d: PUSH30

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: 0x9d1cc01fb861430b9a8a6c104aff811a57b886cbb6e96aa714bae4690b6a1876
call_targets: 0x2193b9f2b5e5051e41c32c71b25587d6a6f045c8
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9d1cc01fb861430b9a8a6c104aff811a57b886cbb6e96aa714bae4690b6a1876",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2193b9f2b5e5051e41c32c71b25587d6a6f045c8"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2194f3a2",
            "selector": "0x2194f3a2",
            "calldata_variants": [
                "0x2194f3a2",
                "0x2194f3a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x65f2bc2e",
            "selector": "0x65f2bc2e",
            "calldata_variants": [
                "0x65f2bc2e",
                "0x65f2bc2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 386,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2345,
            "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: 0x9d1cc01fb861430b9a8a6c104aff811a57b886cbb6e96aa714bae4690b6a1876
call_targets: 0x2193b9f2b5e5051e41c32c71b25587d6a6f045c8
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9d1cc01fb861430b9a8a6c104aff811a57b886cbb6e96aa714bae4690b6a1876",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2193b9f2b5e5051e41c32c71b25587d6a6f045c8"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2194f3a2",
            "selector": "0x2194f3a2",
            "calldata_variants": [
                "0x2194f3a2",
                "0x2194f3a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x65f2bc2e",
            "selector": "0x65f2bc2e",
            "calldata_variants": [
                "0x65f2bc2e",
                "0x65f2bc2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 386,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2345,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}