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

Analysis Run

019b477e-b528-70ca-aa73-857578393242

complete
Chain ID
1
Address
0x074403c5a4bccf6454544a5842fe98ddb694a147
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
22875 artifact.fetch complete 1 / 3 3 months ago
22876 tool.cast_disasm complete 1 / 3 3 months ago
107397 analysis.bundle complete 1 / 3 1 week ago
107398 capability.graph complete 1 / 3 1 week ago
107399 detector.run complete 1 / 3 1 week ago
107400 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
5
EXT*/BALANCE
6
Total opcodes
1888
Flags
create_opcodes_present heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x007b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xab15f691
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xab15f691
00000024: EQ
00000025: PUSH2 0x016b
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd6356cd0
0000002f: EQ
00000030: PUSH2 0x019e
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe75f7ddb
0000003a: EQ
0000003b: PUSH2 0x01e2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xfd8c06c6
00000045: EQ
00000046: PUSH2 0x0228
00000049: JUMPI
0000004a: PUSH2 0x007b
0000004d: JUMP
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x042a2847
00000055: EQ
00000056: PUSH2 0x007d
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x425132f0
00000060: EQ
00000061: PUSH2 0x00b0
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x63920c09
0000006b: EQ
0000006c: PUSH2 0x00fd
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa6c07924
00000076: EQ
00000077: PUSH2 0x0130
0000007a: JUMPI
0000007b: JUMPDEST
0000007c: STOP
0000007d: JUMPDEST
0000007e: CALLVALUE
0000007f: DUP1
00000080: ISZERO
00000081: PUSH2 0x0089
00000084: JUMPI
00000085: PUSH1 0x00
00000087: DUP1
00000088: REVERT
00000089: JUMPDEST
0000008a: POP
0000008b: PUSH2 0x007b
0000008e: PUSH1 0x04
00000090: DUP1
00000091: CALLDATASIZE
00000092: SUB
00000093: PUSH1 0x20
00000095: DUP2
00000096: LT
00000097: ISZERO
00000098: PUSH2 0x00a0
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: POP
000000a2: CALLDATALOAD
000000a3: PUSH1 0x01
000000a5: PUSH1 0x01
000000a7: PUSH1 0xa0
000000a9: SHL
000000aa: SUB
000000ab: AND
000000ac: PUSH2 0x025b
000000af: JUMP
000000b0: JUMPDEST
000000b1: CALLVALUE
000000b2: DUP1
000000b3: ISZERO
000000b4: PUSH2 0x00bc
000000b7: JUMPI
000000b8: PUSH1 0x00
000000ba: DUP1
000000bb: REVERT
000000bc: JUMPDEST
000000bd: POP
000000be: PUSH2 0x00eb
000000c1: PUSH1 0x04
000000c3: DUP1
000000c4: CALLDATASIZE
000000c5: SUB
000000c6: PUSH1 0x40
000000c8: DUP2
000000c9: LT
000000ca: ISZERO
000000cb: PUSH2 0x00d3
000000ce: JUMPI
000000cf: PUSH1 0x00
000000d1: DUP1
000000d2: REVERT
000000d3: JUMPDEST
000000d4: POP
000000d5: PUSH1 0x01
000000d7: PUSH1 0x01
000000d9: PUSH1 0xa0
000000db: SHL
000000dc: SUB
000000dd: DUP2
000000de: CALLDATALOAD
000000df: DUP2
000000e0: AND
000000e1: SWAP2
000000e2: PUSH1 0x20
000000e4: ADD
000000e5: CALLDATALOAD
000000e6: AND
000000e7: PUSH2 0x039b
000000ea: JUMP
000000eb: JUMPDEST
000000ec: PUSH1 0x40
000000ee: DUP1
000000ef: MLOAD
000000f0: SWAP2
000000f1: DUP3
000000f2: MSTORE
000000f3: MLOAD
000000f4: SWAP1
000000f5: DUP2
000000f6: SWAP1
000000f7: SUB
000000f8: PUSH1 0x20
000000fa: ADD
000000fb: SWAP1
000000fc: RETURN
000000fd: JUMPDEST
000000fe: CALLVALUE
000000ff: DUP1
00000100: ISZERO
00000101: PUSH2 0x0109
00000104: JUMPI
00000105: PUSH1 0x00
00000107: DUP1
00000108: REVERT
00000109: JUMPDEST
0000010a: POP
0000010b: PUSH2 0x00eb
0000010e: PUSH1 0x04
00000110: DUP1
00000111: CALLDATASIZE
00000112: SUB
00000113: PUSH1 0x20
00000115: DUP2
00000116: LT
00000117: ISZERO
00000118: PUSH2 0x0120
0000011b: JUMPI
0000011c: PUSH1 0x00
0000011e: DUP1
0000011f: REVERT
00000120: JUMPDEST
00000121: POP
00000122: CALLDATALOAD
00000123: PUSH1 0x01
00000125: PUSH1 0x01
00000127: PUSH1 0xa0
00000129: SHL
0000012a: SUB
0000012b: AND
0000012c: PUSH2 0x03b5
0000012f: JUMP
00000130: JUMPDEST
00000131: CALLVALUE
00000132: DUP1
00000133: ISZERO
00000134: PUSH2 0x013c
00000137: JUMPI
00000138: PUSH1 0x00
0000013a: DUP1
0000013b: REVERT
0000013c: JUMPDEST
0000013d: POP
0000013e: PUSH2 0x007b
00000141: PUSH1 0x04
00000143: DUP1
00000144: CALLDATASIZE
00000145: SUB
00000146: PUSH1 0x40
00000148: DUP2
00000149: LT
0000014a: ISZERO
0000014b: PUSH2 0x0153
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: POP
00000155: PUSH1 0x01
00000157: PUSH1 0x01
00000159: PUSH1 0xa0
0000015b: SHL
0000015c: SUB
0000015d: DUP2
0000015e: CALLDATALOAD
0000015f: DUP2
00000160: AND
00000161: SWAP2
00000162: PUSH1 0x20
00000164: ADD
00000165: CALLDATALOAD
00000166: AND
00000167: PUSH2 0x03c7
0000016a: JUMP
0000016b: JUMPDEST
0000016c: CALLVALUE
0000016d: DUP1
0000016e: ISZERO
0000016f: PUSH2 0x0177
00000172: JUMPI
00000173: PUSH1 0x00
00000175: DUP1
00000176: REVERT
00000177: JUMPDEST
00000178: POP
00000179: PUSH2 0x007b
0000017c: PUSH1 0x04
0000017e: DUP1
0000017f: CALLDATASIZE
00000180: SUB
00000181: PUSH1 0x20
00000183: DUP2
00000184: LT
00000185: ISZERO
00000186: PUSH2 0x018e
00000189: JUMPI
0000018a: PUSH1 0x00
0000018c: DUP1
0000018d: REVERT
0000018e: JUMPDEST
0000018f: POP
00000190: CALLDATALOAD
00000191: PUSH1 0x01
00000193: PUSH1 0x01
00000195: PUSH1 0xa0
00000197: SHL
00000198: SUB
00000199: AND
0000019a: PUSH2 0x045e
0000019d: JUMP
0000019e: JUMPDEST
0000019f: PUSH2 0x007b
000001a2: PUSH1 0x04
000001a4: DUP1
000001a5: CALLDATASIZE
000001a6: SUB
000001a7: PUSH1 0xa0
000001a9: DUP2
000001aa: LT
000001ab: ISZERO
000001ac: PUSH2 0x01b4
000001af: JUMPI
000001b0: PUSH1 0x00
000001b2: DUP1
000001b3: REVERT
000001b4: JUMPDEST
000001b5: POP
000001b6: PUSH1 0x01
000001b8: PUSH1 0x01
000001ba: PUSH1 0xa0
000001bc: SHL
000001bd: SUB
000001be: DUP2
000001bf: CALLDATALOAD
000001c0: DUP2
000001c1: AND
000001c2: SWAP2
000001c3: PUSH1 0x20
000001c5: DUP2
000001c6: ADD
000001c7: CALLDATALOAD
000001c8: SWAP2
000001c9: PUSH1 0x40
000001cb: DUP3
000001cc: ADD
000001cd: CALLDATALOAD
000001ce: SWAP2
000001cf: PUSH1 0x60
000001d1: DUP2
000001d2: ADD
000001d3: CALLDATALOAD
000001d4: SWAP1
000001d5: SWAP2
000001d6: AND
000001d7: SWAP1
000001d8: PUSH1 0x80
000001da: ADD
000001db: CALLDATALOAD
000001dc: ISZERO
000001dd: ISZERO
000001de: PUSH2 0x054a
000001e1: JUMP
000001e2: JUMPDEST
000001e3: CALLVALUE
000001e4: DUP1
000001e5: ISZERO
000001e6: PUSH2 0x01ee
000001e9: JUMPI
000001ea: PUSH1 0x00
000001ec: DUP1
000001ed: REVERT
000001ee: JUMPDEST
000001ef: POP
000001f0: PUSH2 0x020c
000001f3: PUSH1 0x04
000001f5: DUP1
000001f6: CALLDATASIZE
000001f7: SUB
000001f8: PUSH1 0x20
000001fa: DUP2
000001fb: LT
000001fc: ISZERO
000001fd: PUSH2 0x0205
00000200: JUMPI
00000201: PUSH1 0x00
00000203: DUP1
00000204: REVERT
00000205: JUMPDEST
00000206: POP
00000207: CALLDATALOAD
00000208: PUSH2 0x06cc
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH1 0x40
0000020f: DUP1
00000210: MLOAD
00000211: PUSH1 0x01
00000213: PUSH1 0x01
00000215: PUSH1 0xa0
00000217: SHL
00000218: SUB
00000219: SWAP1
0000021a: SWAP3
0000021b: AND
0000021c: DUP3
0000021d: MSTORE
0000021e: MLOAD
0000021f: SWAP1
00000220: DUP2
00000221: SWAP1
00000222: SUB
00000223: PUSH1 0x20
00000225: ADD
00000226: SWAP1
00000227: RETURN
00000228: JUMPDEST
00000229: CALLVALUE
0000022a: DUP1
0000022b: ISZERO
0000022c: PUSH2 0x0234
0000022f: JUMPI
00000230: PUSH1 0x00
00000232: DUP1
00000233: REVERT
00000234: JUMPDEST
00000235: POP
00000236: PUSH2 0x00eb
00000239: PUSH1 0x04
0000023b: DUP1
0000023c: CALLDATASIZE
0000023d: SUB
0000023e: PUSH1 0x20
00000240: DUP2
00000241: LT
00000242: ISZERO
00000243: PUSH2 0x024b
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: CALLDATALOAD
0000024e: PUSH1 0x01
00000250: PUSH1 0x01
00000252: PUSH1 0xa0
00000254: SHL
00000255: SUB
00000256: AND
00000257: PUSH2 0x06f3
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH1 0x01
0000025e: PUSH1 0x01
00000260: PUSH1 0xa0
00000262: SHL
00000263: SUB
00000264: DUP2
00000265: AND
00000266: PUSH1 0x00
00000268: DUP2
00000269: DUP2
0000026a: MSTORE
0000026b: PUSH1 0x03
0000026d: PUSH1 0x20
0000026f: MSTORE
00000270: PUSH1 0x40
00000272: DUP2
00000273: KECCAK256
00000274: SWAP1
00000275: SWAP2
00000276: DUP4
00000277: SWAP1
00000278: DUP4
00000279: SWAP1
0000027a: PUSH2 0x0285
0000027d: JUMPI
0000027e: POP
0000027f: ADDRESS
00000280: BALANCE
00000281: PUSH2 0x02fd
00000284: JUMP
00000285: JUMPDEST
00000286: PUSH1 0x40
00000288: DUP1
00000289: MLOAD
0000028a: PUSH1 0x01
0000028c: PUSH1 0xe0
0000028e: SHL
0000028f: PUSH4 0x70a08231
00000294: MUL
00000295: DUP2
00000296: MSTORE
00000297: ADDRESS
00000298: PUSH1 0x04
0000029a: DUP3
0000029b: ADD
0000029c: MSTORE
0000029d: SWAP1
0000029e: MLOAD
0000029f: PUSH1 0x01
000002a1: PUSH1 0x01
000002a3: PUSH1 0xa0
000002a5: SHL
000002a6: SUB
000002a7: DUP5
000002a8: AND
000002a9: SWAP2
000002aa: PUSH4 0x70a08231
000002af: SWAP2
000002b0: PUSH1 0x24
000002b2: DUP1
000002b3: DUP4
000002b4: ADD
000002b5: SWAP3
000002b6: PUSH1 0x20
000002b8: SWAP3
000002b9: SWAP2
000002ba: SWAP1
000002bb: DUP3
000002bc: SWAP1
000002bd: SUB
000002be: ADD
000002bf: DUP2
000002c0: DUP7
000002c1: DUP1
000002c2: EXTCODESIZE
000002c3: ISZERO
000002c4: DUP1
000002c5: ISZERO
000002c6: PUSH2 0x02ce
000002c9: JUMPI
000002ca: PUSH1 0x00
000002cc: DUP1
000002cd: REVERT
000002ce: JUMPDEST
000002cf: POP
000002d0: GAS
000002d1: STATICCALL
000002d2: ISZERO
000002d3: DUP1
000002d4: ISZERO
000002d5: PUSH2 0x02e2
000002d8: JUMPI
000002d9: RETURNDATASIZE
000002da: PUSH1 0x00
000002dc: DUP1
000002dd: RETURNDATACOPY
000002de: RETURNDATASIZE
000002df: PUSH1 0x00
000002e1: REVERT
000002e2: JUMPDEST
000002e3: POP
000002e4: POP
000002e5: POP
000002e6: POP
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: RETURNDATASIZE
000002eb: PUSH1 0x20
000002ed: DUP2
000002ee: LT
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: MLOAD
000002fb: SWAP1
000002fc: POP
000002fd: JUMPDEST
000002fe: PUSH1 0x01
00000300: PUSH1 0x01
00000302: PUSH1 0xa0
00000304: SHL
00000305: SUB
00000306: DUP6
00000307: AND
00000308: PUSH1 0x00
0000030a: SWAP1
0000030b: DUP2
0000030c: MSTORE
0000030d: PUSH1 0x01
0000030f: PUSH1 0x20
00000311: MSTORE
00000312: PUSH1 0x40
00000314: SWAP1
00000315: KECCAK256
00000316: SLOAD
00000317: PUSH2 0x0327
0000031a: SWAP1
0000031b: DUP3
0000031c: SWAP1
0000031d: PUSH4 0xffffffff
00000322: PUSH2 0x0705
00000325: AND
00000326: JUMP
00000327: JUMPDEST
00000328: SWAP1
00000329: POP
0000032a: PUSH1 0x00
0000032c: JUMPDEST
0000032d: PUSH1 0x02
0000032f: SLOAD
00000330: DUP2
00000331: LT
00000332: ISZERO
00000333: PUSH2 0x0389
00000336: JUMPI
00000337: PUSH1 0x00
00000339: PUSH1 0x02
0000033b: DUP3
0000033c: DUP2
0000033d: SLOAD
0000033e: DUP2
0000033f: LT
00000340: PUSH2 0x0345
00000343: JUMPI
00000344: INVALID
00000345: JUMPDEST
00000346: PUSH1 0x00
00000348: SWAP2
00000349: DUP3
0000034a: MSTORE
0000034b: PUSH1 0x20
0000034d: SWAP1
0000034e: SWAP2
0000034f: KECCAK256
00000350: ADD
00000351: SLOAD
00000352: PUSH1 0x01
00000354: PUSH1 0x01
00000356: PUSH1 0xa0
00000358: SHL
00000359: SUB
0000035a: AND
0000035b: SWAP1
0000035c: POP
0000035d: DUP6
0000035e: DUP1
0000035f: PUSH2 0x0370
00000362: JUMPI
00000363: POP
00000364: CALLER
00000365: PUSH1 0x01
00000367: PUSH1 0x01
00000369: PUSH1 0xa0
0000036b: SHL
0000036c: SUB
0000036d: DUP3
0000036e: AND
0000036f: EQ
00000370: JUMPDEST
00000371: SWAP6
00000372: POP
00000373: PUSH2 0x037e
00000376: DUP6
00000377: DUP9
00000378: DUP4
00000379: DUP7
0000037a: PUSH2 0x071c
0000037d: JUMP
0000037e: JUMPDEST
0000037f: SWAP3
00000380: POP
00000381: POP
00000382: PUSH1 0x01
00000384: ADD
00000385: PUSH2 0x032c
00000388: JUMP
00000389: JUMPDEST
0000038a: POP
0000038b: DUP4
0000038c: PUSH2 0x0394
0000038f: JUMPI
00000390: PUSH1 0x00
00000392: DUP1
00000393: REVERT
00000394: JUMPDEST
00000395: POP
00000396: POP
00000397: POP
00000398: POP
00000399: POP
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH1 0x00
0000039e: PUSH1 0x20
000003a0: DUP2
000003a1: DUP2
000003a2: MSTORE
000003a3: SWAP3
000003a4: DUP2
000003a5: MSTORE
000003a6: PUSH1 0x40
000003a8: DUP1
000003a9: DUP3
000003aa: KECCAK256
000003ab: SWAP1
000003ac: SWAP4
000003ad: MSTORE
000003ae: SWAP1
000003af: DUP2
000003b0: MSTORE
000003b1: KECCAK256
000003b2: SLOAD
000003b3: DUP2
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH1 0x01
000003b8: PUSH1 0x20
000003ba: MSTORE
000003bb: PUSH1 0x00
000003bd: SWAP1
000003be: DUP2
000003bf: MSTORE
000003c0: PUSH1 0x40
000003c2: SWAP1
000003c3: KECCAK256
000003c4: SLOAD
000003c5: DUP2
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x01
000003ca: PUSH1 0x01
000003cc: PUSH1 0xa0
000003ce: SHL
000003cf: SUB
000003d0: DUP1
000003d1: DUP4
000003d2: AND
000003d3: PUSH1 0x00
000003d5: SWAP1
000003d6: DUP2
000003d7: MSTORE
000003d8: PUSH1 0x20
000003da: DUP2
000003db: DUP2
000003dc: MSTORE
000003dd: PUSH1 0x40
000003df: DUP1
000003e0: DUP4
000003e1: KECCAK256
000003e2: SWAP4
000003e3: DUP6
000003e4: AND
000003e5: DUP4
000003e6: MSTORE
000003e7: SWAP3
000003e8: SWAP1
000003e9: MSTORE
000003ea: KECCAK256
000003eb: SLOAD
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x0459
000003f1: JUMPI
000003f2: PUSH1 0x01
000003f4: PUSH1 0x01
000003f6: PUSH1 0xa0
000003f8: SHL
000003f9: SUB
000003fa: DUP3
000003fb: AND
000003fc: PUSH1 0x00
000003fe: SWAP1
000003ff: DUP2
00000400: MSTORE
00000401: PUSH1 0x01
00000403: PUSH1 0x20
00000405: MSTORE
00000406: PUSH1 0x40
00000408: SWAP1
00000409: KECCAK256
0000040a: SLOAD
0000040b: PUSH2 0x041a
0000040e: SWAP1
0000040f: DUP3
00000410: PUSH4 0xffffffff
00000415: PUSH2 0x0705
00000418: AND
00000419: JUMP
0000041a: JUMPDEST
0000041b: PUSH1 0x01
0000041d: PUSH1 0x01
0000041f: PUSH1 0xa0
00000421: SHL
00000422: SUB
00000423: DUP1
00000424: DUP5
00000425: AND
00000426: PUSH1 0x00
00000428: DUP2
00000429: DUP2
0000042a: MSTORE
0000042b: PUSH1 0x01
0000042d: PUSH1 0x20
0000042f: SWAP1
00000430: DUP2
00000431: MSTORE
00000432: PUSH1 0x40
00000434: DUP1
00000435: DUP4
00000436: KECCAK256
00000437: SWAP6
00000438: SWAP1
00000439: SWAP6
0000043a: SSTORE
0000043b: SWAP3
0000043c: DUP8
0000043d: AND
0000043e: DUP2
0000043f: MSTORE
00000440: DUP1
00000441: DUP4
00000442: MSTORE
00000443: DUP4
00000444: DUP2
00000445: KECCAK256
00000446: SWAP2
00000447: DUP2
00000448: MSTORE
00000449: SWAP2
0000044a: MSTORE
0000044b: SWAP1
0000044c: DUP2
0000044d: KECCAK256
0000044e: SSTORE
0000044f: PUSH2 0x0459
00000452: DUP3
00000453: DUP5
00000454: DUP4
00000455: PUSH2 0x0773
00000458: JUMP
00000459: JUMPDEST
0000045a: POP
0000045b: POP
0000045c: POP
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x0469
00000462: PUSH1 0x02
00000464: CALLER
00000465: PUSH2 0x087a
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH2 0x0472
0000046d: JUMPI
0000046e: PUSH1 0x00
00000470: DUP1
00000471: REVERT
00000472: JUMPDEST
00000473: PUSH1 0x01
00000475: PUSH1 0x01
00000477: PUSH1 0xa0
00000479: SHL
0000047a: SUB
0000047b: DUP2
0000047c: AND
0000047d: PUSH1 0x00
0000047f: DUP2
00000480: DUP2
00000481: MSTORE
00000482: PUSH1 0x03
00000484: PUSH1 0x20
00000486: MSTORE
00000487: PUSH1 0x40
00000489: DUP2
0000048a: KECCAK256
0000048b: SWAP2
0000048c: DUP4
0000048d: SWAP2
0000048e: SWAP1
0000048f: PUSH2 0x049a
00000492: JUMPI
00000493: POP
00000494: ADDRESS
00000495: BALANCE
00000496: PUSH2 0x0512
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH1 0x40
0000049d: DUP1
0000049e: MLOAD
0000049f: PUSH1 0x01
000004a1: PUSH1 0xe0
000004a3: SHL
000004a4: PUSH4 0x70a08231
000004a9: MUL
000004aa: DUP2
000004ab: MSTORE
000004ac: ADDRESS
000004ad: PUSH1 0x04
000004af: DUP3
000004b0: ADD
000004b1: MSTORE
000004b2: SWAP1
000004b3: MLOAD
000004b4: PUSH1 0x01
000004b6: PUSH1 0x01
000004b8: PUSH1 0xa0
000004ba: SHL
000004bb: SUB
000004bc: DUP5
000004bd: AND
000004be: SWAP2
000004bf: PUSH4 0x70a08231
000004c4: SWAP2
000004c5: PUSH1 0x24
000004c7: DUP1
000004c8: DUP4
000004c9: ADD
000004ca: SWAP3
000004cb: PUSH1 0x20
000004cd: SWAP3
000004ce: SWAP2
000004cf: SWAP1
000004d0: DUP3
000004d1: SWAP1
000004d2: SUB
000004d3: ADD
000004d4: DUP2
000004d5: DUP7
000004d6: DUP1
000004d7: EXTCODESIZE
000004d8: ISZERO
000004d9: DUP1
000004da: ISZERO
000004db: PUSH2 0x04e3
000004de: JUMPI
000004df: PUSH1 0x00
000004e1: DUP1
000004e2: REVERT
000004e3: JUMPDEST
000004e4: POP
000004e5: GAS
000004e6: STATICCALL
000004e7: ISZERO
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f7
000004ed: JUMPI
000004ee: RETURNDATASIZE
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: RETURNDATACOPY
000004f3: RETURNDATASIZE
000004f4: PUSH1 0x00
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: POP
000004fa: POP
000004fb: POP
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: RETURNDATASIZE
00000500: PUSH1 0x20
00000502: DUP2
00000503: LT
00000504: ISZERO
00000505: PUSH2 0x050d
00000508: JUMPI
00000509: PUSH1 0x00
0000050b: DUP1
0000050c: REVERT
0000050d: JUMPDEST
0000050e: POP
0000050f: MLOAD
00000510: SWAP1
00000511: POP
00000512: JUMPDEST
00000513: PUSH1 0x01
00000515: PUSH1 0x01
00000517: PUSH1 0xa0
00000519: SHL
0000051a: SUB
0000051b: DUP5
0000051c: AND
0000051d: PUSH1 0x00
0000051f: SWAP1
00000520: DUP2
00000521: MSTORE
00000522: PUSH1 0x01
00000524: PUSH1 0x20
00000526: MSTORE
00000527: PUSH1 0x40
00000529: SWAP1
0000052a: KECCAK256
0000052b: SLOAD
0000052c: PUSH2 0x053c
0000052f: SWAP1
00000530: DUP3
00000531: SWAP1
00000532: PUSH4 0xffffffff
00000537: PUSH2 0x0705
0000053a: AND
0000053b: JUMP
0000053c: JUMPDEST
0000053d: SWAP1
0000053e: POP
0000053f: PUSH2 0x0394
00000542: DUP4
00000543: DUP6
00000544: CALLER
00000545: DUP5
00000546: PUSH2 0x071c
00000549: JUMP
0000054a: JUMPDEST
0000054b: DUP3
0000054c: DUP5
0000054d: LT
0000054e: ISZERO
0000054f: DUP1
00000550: ISZERO
00000551: PUSH2 0x055a
00000554: JUMPI
00000555: POP
00000556: PUSH1 0x00
00000558: DUP5
00000559: GT
0000055a: JUMPDEST
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH1 0x00
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: PUSH1 0x01
00000566: PUSH1 0x01
00000568: PUSH1 0xa0
0000056a: SHL
0000056b: SUB
0000056c: DUP6
0000056d: AND
0000056e: PUSH2 0x0582
00000571: JUMPI
00000572: DUP4
00000573: CALLVALUE
00000574: EQ
00000575: PUSH2 0x057d
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: REVERT
0000057d: JUMPDEST
0000057e: PUSH2 0x061a
00000581: JUMP
00000582: JUMPDEST
00000583: CALLVALUE
00000584: ISZERO
00000585: PUSH2 0x058d
00000588: JUMPI
00000589: PUSH1 0x00
0000058b: DUP1
0000058c: REVERT
0000058d: JUMPDEST
0000058e: PUSH1 0x40
00000590: DUP1
00000591: MLOAD
00000592: PUSH1 0x01
00000594: PUSH1 0xe0
00000596: SHL
00000597: PUSH4 0x23b872dd
0000059c: MUL
0000059d: DUP2
0000059e: MSTORE
0000059f: CALLER
000005a0: PUSH1 0x04
000005a2: DUP3
000005a3: ADD
000005a4: MSTORE
000005a5: ADDRESS
000005a6: PUSH1 0x24
000005a8: DUP3
000005a9: ADD
000005aa: MSTORE
000005ab: PUSH1 0x44
000005ad: DUP2
000005ae: ADD
000005af: DUP7
000005b0: SWAP1
000005b1: MSTORE
000005b2: SWAP1
000005b3: MLOAD
000005b4: PUSH1 0x01
000005b6: PUSH1 0x01
000005b8: PUSH1 0xa0
000005ba: SHL
000005bb: SUB
000005bc: DUP8
000005bd: AND
000005be: SWAP2
000005bf: PUSH4 0x23b872dd
000005c4: SWAP2
000005c5: PUSH1 0x64
000005c7: DUP1
000005c8: DUP4
000005c9: ADD
000005ca: SWAP3
000005cb: PUSH1 0x20
000005cd: SWAP3
000005ce: SWAP2
000005cf: SWAP1
000005d0: DUP3
000005d1: SWAP1
000005d2: SUB
000005d3: ADD
000005d4: DUP2
000005d5: PUSH1 0x00
000005d7: DUP8
000005d8: DUP1
000005d9: EXTCODESIZE
000005da: ISZERO
000005db: DUP1
000005dc: ISZERO
000005dd: PUSH2 0x05e5
000005e0: JUMPI
000005e1: PUSH1 0x00
000005e3: DUP1
000005e4: REVERT
000005e5: JUMPDEST
000005e6: POP
000005e7: GAS
000005e8: CALL
000005e9: ISZERO
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f9
000005ef: JUMPI
000005f0: RETURNDATASIZE
000005f1: PUSH1 0x00
000005f3: DUP1
000005f4: RETURNDATACOPY
000005f5: RETURNDATASIZE
000005f6: PUSH1 0x00
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: POP
000005fc: POP
000005fd: POP
000005fe: PUSH1 0x40
00000600: MLOAD
00000601: RETURNDATASIZE
00000602: PUSH1 0x20
00000604: DUP2
00000605: LT
00000606: ISZERO
00000607: PUSH2 0x060f
0000060a: JUMPI
0000060b: PUSH1 0x00
0000060d: DUP1
0000060e: REVERT
0000060f: JUMPDEST
00000610: POP
00000611: MLOAD
00000612: PUSH2 0x061a
00000615: JUMPI
00000616: PUSH1 0x00
00000618: DUP1
00000619: REVERT
0000061a: JUMPDEST
0000061b: DUP3
0000061c: ISZERO
0000061d: PUSH2 0x0394
00000620: JUMPI
00000621: DUP1
00000622: ISZERO
00000623: PUSH2 0x0636
00000626: JUMPI
00000627: PUSH2 0x0631
0000062a: DUP6
0000062b: DUP4
0000062c: DUP6
0000062d: PUSH2 0x0773
00000630: JUMP
00000631: JUMPDEST
00000632: PUSH2 0x0394
00000635: JUMP
00000636: JUMPDEST
00000637: PUSH1 0x01
00000639: PUSH1 0x01
0000063b: PUSH1 0xa0
0000063d: SHL
0000063e: SUB
0000063f: DUP6
00000640: AND
00000641: PUSH1 0x00
00000643: SWAP1
00000644: DUP2
00000645: MSTORE
00000646: PUSH1 0x01
00000648: PUSH1 0x20
0000064a: MSTORE
0000064b: PUSH1 0x40
0000064d: SWAP1
0000064e: KECCAK256
0000064f: SLOAD
00000650: PUSH2 0x065f
00000653: SWAP1
00000654: DUP5
00000655: PUSH4 0xffffffff
0000065a: PUSH2 0x08d4
0000065d: AND
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x01
00000662: PUSH1 0x01
00000664: PUSH1 0xa0
00000666: SHL
00000667: SUB
00000668: DUP1
00000669: DUP8
0000066a: AND
0000066b: PUSH1 0x00
0000066d: DUP2
0000066e: DUP2
0000066f: MSTORE
00000670: PUSH1 0x01
00000672: PUSH1 0x20
00000674: SWAP1
00000675: DUP2
00000676: MSTORE
00000677: PUSH1 0x40
00000679: DUP1
0000067a: DUP4
0000067b: KECCAK256
0000067c: SWAP6
0000067d: SWAP1
0000067e: SWAP6
0000067f: SSTORE
00000680: SWAP3
00000681: DUP7
00000682: AND
00000683: DUP2
00000684: MSTORE
00000685: DUP1
00000686: DUP4
00000687: MSTORE
00000688: DUP4
00000689: DUP2
0000068a: KECCAK256
0000068b: SWAP2
0000068c: DUP2
0000068d: MSTORE
0000068e: SWAP2
0000068f: MSTORE
00000690: KECCAK256
00000691: SLOAD
00000692: PUSH2 0x06a1
00000695: SWAP1
00000696: DUP5
00000697: PUSH4 0xffffffff
0000069c: PUSH2 0x08d4
0000069f: AND
000006a0: JUMP
000006a1: JUMPDEST
000006a2: PUSH1 0x01
000006a4: PUSH1 0x01
000006a6: PUSH1 0xa0
000006a8: SHL
000006a9: SUB
000006aa: DUP1
000006ab: DUP5
000006ac: AND
000006ad: PUSH1 0x00
000006af: SWAP1
000006b0: DUP2
000006b1: MSTORE
000006b2: PUSH1 0x20
000006b4: DUP2
000006b5: DUP2
000006b6: MSTORE
000006b7: PUSH1 0x40
000006b9: DUP1
000006ba: DUP4
000006bb: KECCAK256
000006bc: SWAP4
000006bd: DUP11
000006be: AND
000006bf: DUP4
000006c0: MSTORE
000006c1: SWAP3
000006c2: SWAP1
000006c3: MSTORE
000006c4: KECCAK256
000006c5: SSTORE
000006c6: POP
000006c7: POP
000006c8: POP
000006c9: POP
000006ca: POP
000006cb: JUMP
000006cc: JUMPDEST
000006cd: PUSH1 0x02
000006cf: DUP2
000006d0: DUP2
000006d1: SLOAD
000006d2: DUP2
000006d3: LT
000006d4: PUSH2 0x06d9
000006d7: JUMPI
000006d8: INVALID
000006d9: JUMPDEST
000006da: PUSH1 0x00
000006dc: SWAP2
000006dd: DUP3
000006de: MSTORE
000006df: PUSH1 0x20
000006e1: SWAP1
000006e2: SWAP2
000006e3: KECCAK256
000006e4: ADD
000006e5: SLOAD
000006e6: PUSH1 0x01
000006e8: PUSH1 0x01
000006ea: PUSH1 0xa0
000006ec: SHL
000006ed: SUB
000006ee: AND
000006ef: SWAP1
000006f0: POP
000006f1: DUP2
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH1 0x03
000006f6: PUSH1 0x20
000006f8: MSTORE
000006f9: PUSH1 0x00
000006fb: SWAP1
000006fc: DUP2
000006fd: MSTORE
000006fe: PUSH1 0x40
00000700: SWAP1
00000701: KECCAK256
00000702: SLOAD
00000703: DUP2
00000704: JUMP
00000705: JUMPDEST
00000706: PUSH1 0x00
00000708: DUP3
00000709: DUP3
0000070a: GT
0000070b: ISZERO
0000070c: PUSH2 0x0711
0000070f: JUMPI
00000710: INVALID
00000711: JUMPDEST
00000712: POP
00000713: DUP1
00000714: DUP3
00000715: SUB
00000716: JUMPDEST
00000717: SWAP3
00000718: SWAP2
00000719: POP
0000071a: POP
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH1 0x40
0000071f: DUP1
00000720: MLOAD
00000721: DUP1
00000722: DUP3
00000723: ADD
00000724: SWAP1
00000725: SWAP2
00000726: MSTORE
00000727: PUSH1 0x01
00000729: DUP2
0000072a: MSTORE
0000072b: PUSH1 0x02
0000072d: SLOAD
0000072e: PUSH1 0x20
00000730: DUP3
00000731: ADD
00000732: MSTORE
00000733: PUSH1 0x00
00000735: SWAP1
00000736: DUP2
00000737: SWAP1
00000738: PUSH2 0x074c
0000073b: SWAP1
0000073c: DUP8
0000073d: SWAP1
0000073e: DUP7
0000073f: SWAP1
00000740: DUP7
00000741: SWAP1
00000742: PUSH4 0xffffffff
00000747: PUSH2 0x08ea
0000074a: AND
0000074b: JUMP
0000074c: JUMPDEST
0000074d: SWAP1
0000074e: POP
0000074f: PUSH2 0x0759
00000752: DUP6
00000753: DUP6
00000754: DUP4
00000755: PUSH2 0x0773
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH2 0x0769
0000075d: DUP4
0000075e: DUP3
0000075f: PUSH4 0xffffffff
00000764: PUSH2 0x0705
00000767: AND
00000768: JUMP
00000769: JUMPDEST
0000076a: SWAP7
0000076b: SWAP6
0000076c: POP
0000076d: POP
0000076e: POP
0000076f: POP
00000770: POP
00000771: POP
00000772: JUMP
00000773: JUMPDEST
00000774: PUSH1 0x01
00000776: PUSH1 0x01
00000778: PUSH1 0xa0
0000077a: SHL
0000077b: SUB
0000077c: DUP4
0000077d: AND
0000077e: PUSH2 0x07e5
00000781: JUMPI
00000782: PUSH1 0x40
00000784: MLOAD
00000785: PUSH1 0x00
00000787: SWAP1
00000788: PUSH1 0x01
0000078a: PUSH1 0x01
0000078c: PUSH1 0xa0
0000078e: SHL
0000078f: SUB
00000790: DUP5
00000791: AND
00000792: SWAP1
00000793: DUP4
00000794: SWAP1
00000795: DUP4
00000796: DUP2
00000797: DUP2
00000798: DUP2
00000799: DUP6
0000079a: DUP8
0000079b: GAS
0000079c: CALL
0000079d: SWAP3
0000079e: POP
0000079f: POP
000007a0: POP
000007a1: RETURNDATASIZE
000007a2: DUP1
000007a3: PUSH1 0x00
000007a5: DUP2
000007a6: EQ
000007a7: PUSH2 0x07cc
000007aa: JUMPI
000007ab: PUSH1 0x40
000007ad: MLOAD
000007ae: SWAP2
000007af: POP
000007b0: PUSH1 0x1f
000007b2: NOT
000007b3: PUSH1 0x3f
000007b5: RETURNDATASIZE
000007b6: ADD
000007b7: AND
000007b8: DUP3
000007b9: ADD
000007ba: PUSH1 0x40
000007bc: MSTORE
000007bd: RETURNDATASIZE
000007be: DUP3
000007bf: MSTORE
000007c0: RETURNDATASIZE
000007c1: PUSH1 0x00
000007c3: PUSH1 0x20
000007c5: DUP5
000007c6: ADD
000007c7: RETURNDATACOPY
000007c8: PUSH2 0x07d1
000007cb: JUMP
000007cc: JUMPDEST
000007cd: PUSH1 0x60
000007cf: SWAP2
000007d0: POP
000007d1: JUMPDEST
000007d2: POP
000007d3: POP
000007d4: SWAP1
000007d5: POP
000007d6: DUP1
000007d7: PUSH2 0x07df
000007da: JUMPI
000007db: PUSH1 0x00
000007dd: DUP1
000007de: REVERT
000007df: JUMPDEST
000007e0: POP
000007e1: PUSH2 0x0459
000007e4: JUMP
000007e5: JUMPDEST
000007e6: DUP3
000007e7: PUSH1 0x01
000007e9: PUSH1 0x01
000007eb: PUSH1 0xa0
000007ed: SHL
000007ee: SUB
000007ef: AND
000007f0: PUSH4 0xa9059cbb
000007f5: DUP4
000007f6: DUP4
000007f7: PUSH1 0x40
000007f9: MLOAD
000007fa: DUP4
000007fb: PUSH4 0xffffffff
00000800: AND
00000801: PUSH1 0xe0
00000803: SHL
00000804: DUP2
00000805: MSTORE
00000806: PUSH1 0x04
00000808: ADD
00000809: DUP1
0000080a: DUP4
0000080b: PUSH1 0x01
0000080d: PUSH1 0x01
0000080f: PUSH1 0xa0
00000811: SHL
00000812: SUB
00000813: AND
00000814: PUSH1 0x01
00000816: PUSH1 0x01
00000818: PUSH1 0xa0
0000081a: SHL
0000081b: SUB
0000081c: AND
0000081d: DUP2
0000081e: MSTORE
0000081f: PUSH1 0x20
00000821: ADD
00000822: DUP3
00000823: DUP2
00000824: MSTORE
00000825: PUSH1 0x20
00000827: ADD
00000828: SWAP3
00000829: POP
0000082a: POP
0000082b: POP
0000082c: PUSH1 0x20
0000082e: PUSH1 0x40
00000830: MLOAD
00000831: DUP1
00000832: DUP4
00000833: SUB
00000834: DUP2
00000835: PUSH1 0x00
00000837: DUP8
00000838: DUP1
00000839: EXTCODESIZE
0000083a: ISZERO
0000083b: DUP1
0000083c: ISZERO
0000083d: PUSH2 0x0845
00000840: JUMPI
00000841: PUSH1 0x00
00000843: DUP1
00000844: REVERT
00000845: JUMPDEST
00000846: POP
00000847: GAS
00000848: CALL
00000849: ISZERO
0000084a: DUP1
0000084b: ISZERO
0000084c: PUSH2 0x0859
0000084f: JUMPI
00000850: RETURNDATASIZE
00000851: PUSH1 0x00
00000853: DUP1
00000854: RETURNDATACOPY
00000855: RETURNDATASIZE
00000856: PUSH1 0x00
00000858: REVERT
00000859: JUMPDEST
0000085a: POP
0000085b: POP
0000085c: POP
0000085d: POP
0000085e: PUSH1 0x40
00000860: MLOAD
00000861: RETURNDATASIZE
00000862: PUSH1 0x20
00000864: DUP2
00000865: LT
00000866: ISZERO
00000867: PUSH2 0x086f
0000086a: JUMPI
0000086b: PUSH1 0x00
0000086d: DUP1
0000086e: REVERT
0000086f: JUMPDEST
00000870: POP
00000871: MLOAD
00000872: PUSH2 0x0459
00000875: JUMPI
00000876: PUSH1 0x00
00000878: DUP1
00000879: REVERT
0000087a: JUMPDEST
0000087b: PUSH1 0x00
0000087d: DUP1
0000087e: JUMPDEST
0000087f: DUP4
00000880: SLOAD
00000881: DUP2
00000882: LT
00000883: ISZERO
00000884: PUSH2 0x08ca
00000887: JUMPI
00000888: DUP3
00000889: PUSH1 0x01
0000088b: PUSH1 0x01
0000088d: PUSH1 0xa0
0000088f: SHL
00000890: SUB
00000891: AND
00000892: DUP5
00000893: DUP3
00000894: DUP2
00000895: SLOAD
00000896: DUP2
00000897: LT
00000898: PUSH2 0x089d
0000089b: JUMPI
0000089c: INVALID
0000089d: JUMPDEST
0000089e: PUSH1 0x00
000008a0: SWAP2
000008a1: DUP3
000008a2: MSTORE
000008a3: PUSH1 0x20
000008a5: SWAP1
000008a6: SWAP2
000008a7: KECCAK256
000008a8: ADD
000008a9: SLOAD
000008aa: PUSH1 0x01
000008ac: PUSH1 0x01
000008ae: PUSH1 0xa0
000008b0: SHL
000008b1: SUB
000008b2: AND
000008b3: EQ
000008b4: ISZERO
000008b5: PUSH2 0x08c2
000008b8: JUMPI
000008b9: PUSH1 0x01
000008bb: SWAP2
000008bc: POP
000008bd: POP
000008be: PUSH2 0x0716
000008c1: JUMP
000008c2: JUMPDEST
000008c3: PUSH1 0x01
000008c5: ADD
000008c6: PUSH2 0x087e
000008c9: JUMP
000008ca: JUMPDEST
000008cb: POP
000008cc: PUSH1 0x00
000008ce: SWAP4
000008cf: SWAP3
000008d0: POP
000008d1: POP
000008d2: POP
000008d3: JUMP
000008d4: JUMPDEST
000008d5: PUSH1 0x00
000008d7: DUP3
000008d8: DUP3
000008d9: ADD
000008da: DUP4
000008db: DUP2
000008dc: LT
000008dd: ISZERO
000008de: PUSH2 0x08e3
000008e1: JUMPI
000008e2: INVALID
000008e3: JUMPDEST
000008e4: SWAP4
000008e5: SWAP3
000008e6: POP
000008e7: POP
000008e8: POP
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x00
000008ed: DUP1
000008ee: PUSH2 0x0914
000008f1: PUSH2 0x0907
000008f4: DUP8
000008f5: PUSH1 0x00
000008f7: ADD
000008f8: SLOAD
000008f9: DUP7
000008fa: PUSH2 0x08d4
000008fd: SWAP1
000008fe: SWAP2
000008ff: SWAP1
00000900: PUSH4 0xffffffff
00000905: AND
00000906: JUMP
00000907: JUMPDEST
00000908: DUP5
00000909: SWAP1
0000090a: PUSH4 0xffffffff
0000090f: PUSH2 0x09b7
00000912: AND
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x01
00000917: PUSH1 0x01
00000919: PUSH1 0xa0
0000091b: SHL
0000091c: SUB
0000091d: DUP7
0000091e: AND
0000091f: PUSH1 0x00
00000921: SWAP1
00000922: DUP2
00000923: MSTORE
00000924: PUSH1 0x01
00000926: DUP9
00000927: ADD
00000928: PUSH1 0x20
0000092a: MSTORE
0000092b: PUSH1 0x40
0000092d: SWAP1
0000092e: KECCAK256
0000092f: SLOAD
00000930: SWAP1
00000931: SWAP2
00000932: POP
00000933: DUP2
00000934: DUP2
00000935: GT
00000936: ISZERO
00000937: PUSH2 0x093c
0000093a: JUMPI
0000093b: INVALID
0000093c: JUMPDEST
0000093d: PUSH1 0x00
0000093f: PUSH2 0x094e
00000942: DUP4
00000943: DUP4
00000944: PUSH4 0xffffffff
00000949: PUSH2 0x0705
0000094c: AND
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH1 0x01
00000951: PUSH1 0x01
00000953: PUSH1 0xa0
00000955: SHL
00000956: SUB
00000957: DUP9
00000958: AND
00000959: PUSH1 0x00
0000095b: SWAP1
0000095c: DUP2
0000095d: MSTORE
0000095e: PUSH1 0x01
00000960: DUP11
00000961: ADD
00000962: PUSH1 0x20
00000964: MSTORE
00000965: PUSH1 0x40
00000967: SWAP1
00000968: KECCAK256
00000969: SLOAD
0000096a: SWAP1
0000096b: SWAP2
0000096c: POP
0000096d: PUSH2 0x097c
00000970: SWAP1
00000971: DUP3
00000972: PUSH4 0xffffffff
00000977: PUSH2 0x08d4
0000097a: AND
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH1 0x01
0000097f: PUSH1 0x01
00000981: PUSH1 0xa0
00000983: SHL
00000984: SUB
00000985: DUP9
00000986: AND
00000987: PUSH1 0x00
00000989: SWAP1
0000098a: DUP2
0000098b: MSTORE
0000098c: PUSH1 0x01
0000098e: DUP11
0000098f: ADD
00000990: PUSH1 0x20
00000992: MSTORE
00000993: PUSH1 0x40
00000995: SWAP1
00000996: KECCAK256
00000997: SSTORE
00000998: DUP8
00000999: SLOAD
0000099a: PUSH2 0x09a9
0000099d: SWAP1
0000099e: DUP3
0000099f: PUSH4 0xffffffff
000009a4: PUSH2 0x08d4
000009a7: AND
000009a8: JUMP
000009a9: JUMPDEST
000009aa: DUP9
000009ab: SSTORE
000009ac: SWAP3
000009ad: POP
000009ae: POP
000009af: POP
000009b0: SWAP5
000009b1: SWAP4
000009b2: POP
000009b3: POP
000009b4: POP
000009b5: POP
000009b6: JUMP
000009b7: JUMPDEST
000009b8: PUSH1 0x20
000009ba: DUP3
000009bb: ADD
000009bc: MLOAD
000009bd: DUP3
000009be: MLOAD
000009bf: PUSH1 0x00
000009c1: SWAP2
000009c2: PUSH2 0x08e3
000009c5: SWAP2
000009c6: PUSH2 0x09d0
000009c9: SWAP1
000009ca: DUP6
000009cb: SWAP1
000009cc: PUSH2 0x09dc
000009cf: JUMP
000009d0: JUMPDEST
000009d1: SWAP1
000009d2: PUSH4 0xffffffff
000009d7: PUSH2 0x0a00
000009da: AND
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x00
000009df: DUP3
000009e0: PUSH2 0x09eb
000009e3: JUMPI
000009e4: POP
000009e5: PUSH1 0x00
000009e7: PUSH2 0x0716
000009ea: JUMP
000009eb: JUMPDEST
000009ec: DUP3
000009ed: DUP3
000009ee: MUL
000009ef: DUP3
000009f0: DUP5
000009f1: DUP3
000009f2: DUP2
000009f3: PUSH2 0x09f8
000009f6: JUMPI
000009f7: INVALID
000009f8: JUMPDEST
000009f9: DIV
000009fa: EQ
000009fb: PUSH2 0x08e3
000009fe: JUMPI
000009ff: INVALID
00000a00: JUMPDEST
00000a01: PUSH1 0x00
00000a03: DUP2
00000a04: DUP4
00000a05: DUP2
00000a06: PUSH2 0x0a0b
00000a09: JUMPI
00000a0a: INVALID
00000a0b: JUMPDEST
00000a0c: DIV
00000a0d: SWAP4
00000a0e: SWAP3
00000a0f: POP
00000a10: POP
00000a11: POP
00000a12: JUMP
00000a13: INVALID
00000a14: LOG1
00000a15: PUSH6 0x627a7a723058
00000a1c: KECCAK256
00000a1d: SWAP15
00000a1e: CREATE2
00000a1f: ISZERO
00000a20: UNKNOWN(0xDB)
00000a21: DUP2
00000a22: UNKNOWN(0xB5)
00000a23: DUP4
00000a24: CODECOPY
00000a25: UNKNOWN(0xBF)
00000a26: EXP
00000a27: 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: 0x3f7850ec7410899e391682fbc12c89c4d51fe6011f5adadab46e4c1e900ba93e
call_targets: 0x074403c5a4bccf6454544a5842fe98ddb694a147
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3f7850ec7410899e391682fbc12c89c4d51fe6011f5adadab46e4c1e900ba93e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x074403c5a4bccf6454544a5842fe98ddb694a147"
    ],
    "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": "0xab15f691",
            "selector": "0xab15f691",
            "calldata_variants": [
                "0xab15f691",
                "0xab15f6910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6356cd0",
            "selector": "0xd6356cd0",
            "calldata_variants": [
                "0xd6356cd0",
                "0xd6356cd00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe75f7ddb",
            "selector": "0xe75f7ddb",
            "calldata_variants": [
                "0xe75f7ddb",
                "0xe75f7ddb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfd8c06c6",
            "selector": "0xfd8c06c6",
            "calldata_variants": [
                "0xfd8c06c6",
                "0xfd8c06c60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x042a2847",
            "selector": "0x042a2847",
            "calldata_variants": [
                "0x042a2847",
                "0x042a28470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x425132f0",
            "selector": "0x425132f0",
            "calldata_variants": [
                "0x425132f0",
                "0x425132f00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63920c09",
            "selector": "0x63920c09",
            "calldata_variants": [
                "0x63920c09",
                "0x63920c090000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6c07924",
            "selector": "0xa6c07924",
            "calldata_variants": [
                "0xa6c07924",
                "0xa6c079240000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1512,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1948,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2120,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x3f7850ec7410899e391682fbc12c89c4d51fe6011f5adadab46e4c1e900ba93e
call_targets: 0x074403c5a4bccf6454544a5842fe98ddb694a147
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3f7850ec7410899e391682fbc12c89c4d51fe6011f5adadab46e4c1e900ba93e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x074403c5a4bccf6454544a5842fe98ddb694a147"
    ],
    "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": "0xab15f691",
            "selector": "0xab15f691",
            "calldata_variants": [
                "0xab15f691",
                "0xab15f6910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6356cd0",
            "selector": "0xd6356cd0",
            "calldata_variants": [
                "0xd6356cd0",
                "0xd6356cd00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe75f7ddb",
            "selector": "0xe75f7ddb",
            "calldata_variants": [
                "0xe75f7ddb",
                "0xe75f7ddb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfd8c06c6",
            "selector": "0xfd8c06c6",
            "calldata_variants": [
                "0xfd8c06c6",
                "0xfd8c06c60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x042a2847",
            "selector": "0x042a2847",
            "calldata_variants": [
                "0x042a2847",
                "0x042a28470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x425132f0",
            "selector": "0x425132f0",
            "calldata_variants": [
                "0x425132f0",
                "0x425132f00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63920c09",
            "selector": "0x63920c09",
            "calldata_variants": [
                "0x63920c09",
                "0x63920c090000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6c07924",
            "selector": "0xa6c07924",
            "calldata_variants": [
                "0xa6c07924",
                "0xa6c079240000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1512,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1948,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2120,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x21f1c6271f3300b7ccfb5a240b0dd82cd5a38f8b739cf6a10870eca800e2d29a
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 16,
    "trace_id": "0x21f1c6271f3300b7ccfb5a240b0dd82cd5a38f8b739cf6a10870eca800e2d29a",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xab15f691",
            "selector": "0xab15f691",
            "calldata_variants": [
                "0xab15f691",
                "0xab15f6910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6356cd0",
            "selector": "0xd6356cd0",
            "calldata_variants": [
                "0xd6356cd0",
                "0xd6356cd00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe75f7ddb",
            "selector": "0xe75f7ddb",
            "calldata_variants": [
                "0xe75f7ddb",
                "0xe75f7ddb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfd8c06c6",
            "selector": "0xfd8c06c6",
            "calldata_variants": [
                "0xfd8c06c6",
                "0xfd8c06c60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x042a2847",
            "selector": "0x042a2847",
            "calldata_variants": [
                "0x042a2847",
                "0x042a28470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x425132f0",
            "selector": "0x425132f0",
            "calldata_variants": [
                "0x425132f0",
                "0x425132f00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63920c09",
            "selector": "0x63920c09",
            "calldata_variants": [
                "0x63920c09",
                "0x63920c090000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6c07924",
            "selector": "0xa6c07924",
            "calldata_variants": [
                "0xa6c07924",
                "0xa6c079240000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 0,
    "create2_count": 1
}