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

Analysis Run

019b3844-8b09-7219-bf8f-bc1f34850092

complete
Chain ID
1
Address
0xb59a226a2b8a2f2b0512baa35cc348b6b213b671
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
Authorization based on tx.origin
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
11733 artifact.fetch complete 1 / 3 4 months ago
11734 tool.cast_disasm complete 1 / 3 4 months ago
54436 analysis.bundle complete 1 / 3 2 weeks ago
54437 capability.graph complete 1 / 3 2 weeks ago
54438 detector.run complete 1 / 3 2 weeks ago
54439 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)
9
EXT*/BALANCE
9
Total opcodes
3365
Flags
heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00d5
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x06fdde03
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x00da
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x095ea7b3
0000002b: EQ
0000002c: PUSH2 0x0165
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x18160ddd
00000036: EQ
00000037: PUSH2 0x019b
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x23b872dd
00000041: EQ
00000042: PUSH2 0x01c0
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x2e1a7d4d
0000004c: EQ
0000004d: PUSH2 0x01fc
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x313ce567
00000057: EQ
00000058: PUSH2 0x0214
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x54fd4d50
00000062: EQ
00000063: PUSH2 0x023d
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x57875631
0000006d: EQ
0000006e: PUSH2 0x02c8
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x70a08231
00000078: EQ
00000079: PUSH2 0x02ef
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x95d89b41
00000083: EQ
00000084: PUSH2 0x0320
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xa9059cbb
0000008e: EQ
0000008f: PUSH2 0x03ab
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xbe45fd62
00000099: EQ
0000009a: PUSH2 0x03e1
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xcae9ca51
000000a4: EQ
000000a5: PUSH2 0x045a
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xd0e30db0
000000af: EQ
000000b0: PUSH2 0x04d3
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xdd62ed3e
000000ba: EQ
000000bb: PUSH2 0x04dd
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xf5d60a51
000000c5: EQ
000000c6: PUSH2 0x0514
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0xfc772c8b
000000d0: EQ
000000d1: PUSH2 0x0543
000000d4: JUMPI
000000d5: JUMPDEST
000000d6: PUSH1 0x00
000000d8: DUP1
000000d9: REVERT
000000da: JUMPDEST
000000db: CALLVALUE
000000dc: ISZERO
000000dd: PUSH2 0x00e5
000000e0: JUMPI
000000e1: PUSH1 0x00
000000e3: DUP1
000000e4: REVERT
000000e5: JUMPDEST
000000e6: PUSH2 0x00ed
000000e9: PUSH2 0x0564
000000ec: JUMP
000000ed: JUMPDEST
000000ee: PUSH1 0x40
000000f0: MLOAD
000000f1: PUSH1 0x20
000000f3: DUP1
000000f4: DUP3
000000f5: MSTORE
000000f6: DUP2
000000f7: SWAP1
000000f8: DUP2
000000f9: ADD
000000fa: DUP4
000000fb: DUP2
000000fc: DUP2
000000fd: MLOAD
000000fe: DUP2
000000ff: MSTORE
00000100: PUSH1 0x20
00000102: ADD
00000103: SWAP2
00000104: POP
00000105: DUP1
00000106: MLOAD
00000107: SWAP1
00000108: PUSH1 0x20
0000010a: ADD
0000010b: SWAP1
0000010c: DUP1
0000010d: DUP4
0000010e: DUP4
0000010f: PUSH1 0x00
00000111: JUMPDEST
00000112: DUP4
00000113: DUP2
00000114: LT
00000115: ISZERO
00000116: PUSH2 0x012a
00000119: JUMPI
0000011a: DUP1
0000011b: DUP3
0000011c: ADD
0000011d: MLOAD
0000011e: DUP2
0000011f: DUP5
00000120: ADD
00000121: MSTORE
00000122: JUMPDEST
00000123: PUSH1 0x20
00000125: ADD
00000126: PUSH2 0x0111
00000129: JUMP
0000012a: JUMPDEST
0000012b: POP
0000012c: POP
0000012d: POP
0000012e: POP
0000012f: SWAP1
00000130: POP
00000131: SWAP1
00000132: DUP2
00000133: ADD
00000134: SWAP1
00000135: PUSH1 0x1f
00000137: AND
00000138: DUP1
00000139: ISZERO
0000013a: PUSH2 0x0157
0000013d: JUMPI
0000013e: DUP1
0000013f: DUP3
00000140: SUB
00000141: DUP1
00000142: MLOAD
00000143: PUSH1 0x01
00000145: DUP4
00000146: PUSH1 0x20
00000148: SUB
00000149: PUSH2 0x0100
0000014c: EXP
0000014d: SUB
0000014e: NOT
0000014f: AND
00000150: DUP2
00000151: MSTORE
00000152: PUSH1 0x20
00000154: ADD
00000155: SWAP2
00000156: POP
00000157: JUMPDEST
00000158: POP
00000159: SWAP3
0000015a: POP
0000015b: POP
0000015c: POP
0000015d: PUSH1 0x40
0000015f: MLOAD
00000160: DUP1
00000161: SWAP2
00000162: SUB
00000163: SWAP1
00000164: RETURN
00000165: JUMPDEST
00000166: CALLVALUE
00000167: ISZERO
00000168: PUSH2 0x0170
0000016b: JUMPI
0000016c: PUSH1 0x00
0000016e: DUP1
0000016f: REVERT
00000170: JUMPDEST
00000171: PUSH2 0x0187
00000174: PUSH1 0x01
00000176: PUSH1 0xa0
00000178: PUSH1 0x02
0000017a: EXP
0000017b: SUB
0000017c: PUSH1 0x04
0000017e: CALLDATALOAD
0000017f: AND
00000180: PUSH1 0x24
00000182: CALLDATALOAD
00000183: PUSH2 0x060d
00000186: JUMP
00000187: JUMPDEST
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: SWAP1
0000018c: ISZERO
0000018d: ISZERO
0000018e: DUP2
0000018f: MSTORE
00000190: PUSH1 0x20
00000192: ADD
00000193: PUSH1 0x40
00000195: MLOAD
00000196: DUP1
00000197: SWAP2
00000198: SUB
00000199: SWAP1
0000019a: RETURN
0000019b: JUMPDEST
0000019c: CALLVALUE
0000019d: ISZERO
0000019e: PUSH2 0x01a6
000001a1: JUMPI
000001a2: PUSH1 0x00
000001a4: DUP1
000001a5: REVERT
000001a6: JUMPDEST
000001a7: PUSH2 0x01ae
000001aa: PUSH2 0x06b4
000001ad: JUMP
000001ae: JUMPDEST
000001af: PUSH1 0x40
000001b1: MLOAD
000001b2: SWAP1
000001b3: DUP2
000001b4: MSTORE
000001b5: PUSH1 0x20
000001b7: ADD
000001b8: PUSH1 0x40
000001ba: MLOAD
000001bb: DUP1
000001bc: SWAP2
000001bd: SUB
000001be: SWAP1
000001bf: RETURN
000001c0: JUMPDEST
000001c1: CALLVALUE
000001c2: ISZERO
000001c3: PUSH2 0x01cb
000001c6: JUMPI
000001c7: PUSH1 0x00
000001c9: DUP1
000001ca: REVERT
000001cb: JUMPDEST
000001cc: PUSH2 0x0187
000001cf: PUSH1 0x01
000001d1: PUSH1 0xa0
000001d3: PUSH1 0x02
000001d5: EXP
000001d6: SUB
000001d7: PUSH1 0x04
000001d9: CALLDATALOAD
000001da: DUP2
000001db: AND
000001dc: SWAP1
000001dd: PUSH1 0x24
000001df: CALLDATALOAD
000001e0: AND
000001e1: PUSH1 0x44
000001e3: CALLDATALOAD
000001e4: PUSH2 0x06bb
000001e7: JUMP
000001e8: JUMPDEST
000001e9: PUSH1 0x40
000001eb: MLOAD
000001ec: SWAP1
000001ed: ISZERO
000001ee: ISZERO
000001ef: DUP2
000001f0: MSTORE
000001f1: PUSH1 0x20
000001f3: ADD
000001f4: PUSH1 0x40
000001f6: MLOAD
000001f7: DUP1
000001f8: SWAP2
000001f9: SUB
000001fa: SWAP1
000001fb: RETURN
000001fc: JUMPDEST
000001fd: CALLVALUE
000001fe: ISZERO
000001ff: PUSH2 0x0207
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: PUSH2 0x0212
0000020b: PUSH1 0x04
0000020d: CALLDATALOAD
0000020e: PUSH2 0x072d
00000211: JUMP
00000212: JUMPDEST
00000213: STOP
00000214: JUMPDEST
00000215: CALLVALUE
00000216: ISZERO
00000217: PUSH2 0x021f
0000021a: JUMPI
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: PUSH2 0x0227
00000223: PUSH2 0x0850
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: MLOAD
0000022b: PUSH1 0xff
0000022d: SWAP1
0000022e: SWAP2
0000022f: AND
00000230: DUP2
00000231: MSTORE
00000232: PUSH1 0x20
00000234: ADD
00000235: PUSH1 0x40
00000237: MLOAD
00000238: DUP1
00000239: SWAP2
0000023a: SUB
0000023b: SWAP1
0000023c: RETURN
0000023d: JUMPDEST
0000023e: CALLVALUE
0000023f: ISZERO
00000240: PUSH2 0x0248
00000243: JUMPI
00000244: PUSH1 0x00
00000246: DUP1
00000247: REVERT
00000248: JUMPDEST
00000249: PUSH2 0x00ed
0000024c: PUSH2 0x085a
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH1 0x40
00000253: MLOAD
00000254: PUSH1 0x20
00000256: DUP1
00000257: DUP3
00000258: MSTORE
00000259: DUP2
0000025a: SWAP1
0000025b: DUP2
0000025c: ADD
0000025d: DUP4
0000025e: DUP2
0000025f: DUP2
00000260: MLOAD
00000261: DUP2
00000262: MSTORE
00000263: PUSH1 0x20
00000265: ADD
00000266: SWAP2
00000267: POP
00000268: DUP1
00000269: MLOAD
0000026a: SWAP1
0000026b: PUSH1 0x20
0000026d: ADD
0000026e: SWAP1
0000026f: DUP1
00000270: DUP4
00000271: DUP4
00000272: PUSH1 0x00
00000274: JUMPDEST
00000275: DUP4
00000276: DUP2
00000277: LT
00000278: ISZERO
00000279: PUSH2 0x012a
0000027c: JUMPI
0000027d: DUP1
0000027e: DUP3
0000027f: ADD
00000280: MLOAD
00000281: DUP2
00000282: DUP5
00000283: ADD
00000284: MSTORE
00000285: JUMPDEST
00000286: PUSH1 0x20
00000288: ADD
00000289: PUSH2 0x0111
0000028c: JUMP
0000028d: JUMPDEST
0000028e: POP
0000028f: POP
00000290: POP
00000291: POP
00000292: SWAP1
00000293: POP
00000294: SWAP1
00000295: DUP2
00000296: ADD
00000297: SWAP1
00000298: PUSH1 0x1f
0000029a: AND
0000029b: DUP1
0000029c: ISZERO
0000029d: PUSH2 0x0157
000002a0: JUMPI
000002a1: DUP1
000002a2: DUP3
000002a3: SUB
000002a4: DUP1
000002a5: MLOAD
000002a6: PUSH1 0x01
000002a8: DUP4
000002a9: PUSH1 0x20
000002ab: SUB
000002ac: PUSH2 0x0100
000002af: EXP
000002b0: SUB
000002b1: NOT
000002b2: AND
000002b3: DUP2
000002b4: MSTORE
000002b5: PUSH1 0x20
000002b7: ADD
000002b8: SWAP2
000002b9: POP
000002ba: JUMPDEST
000002bb: POP
000002bc: SWAP3
000002bd: POP
000002be: POP
000002bf: POP
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: DUP1
000002c4: SWAP2
000002c5: SUB
000002c6: SWAP1
000002c7: RETURN
000002c8: JUMPDEST
000002c9: CALLVALUE
000002ca: ISZERO
000002cb: PUSH2 0x02d3
000002ce: JUMPI
000002cf: PUSH1 0x00
000002d1: DUP1
000002d2: REVERT
000002d3: JUMPDEST
000002d4: PUSH2 0x0212
000002d7: PUSH1 0x01
000002d9: PUSH1 0xa0
000002db: PUSH1 0x02
000002dd: EXP
000002de: SUB
000002df: PUSH1 0x04
000002e1: CALLDATALOAD
000002e2: DUP2
000002e3: AND
000002e4: SWAP1
000002e5: PUSH1 0x24
000002e7: CALLDATALOAD
000002e8: AND
000002e9: PUSH2 0x0903
000002ec: JUMP
000002ed: JUMPDEST
000002ee: STOP
000002ef: JUMPDEST
000002f0: CALLVALUE
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: PUSH2 0x01ae
000002fe: PUSH1 0x01
00000300: PUSH1 0xa0
00000302: PUSH1 0x02
00000304: EXP
00000305: SUB
00000306: PUSH1 0x04
00000308: CALLDATALOAD
00000309: AND
0000030a: PUSH2 0x0b2d
0000030d: JUMP
0000030e: JUMPDEST
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: SWAP1
00000313: DUP2
00000314: MSTORE
00000315: PUSH1 0x20
00000317: ADD
00000318: PUSH1 0x40
0000031a: MLOAD
0000031b: DUP1
0000031c: SWAP2
0000031d: SUB
0000031e: SWAP1
0000031f: RETURN
00000320: JUMPDEST
00000321: CALLVALUE
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: PUSH2 0x00ed
0000032f: PUSH2 0x0b4c
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH1 0x40
00000336: MLOAD
00000337: PUSH1 0x20
00000339: DUP1
0000033a: DUP3
0000033b: MSTORE
0000033c: DUP2
0000033d: SWAP1
0000033e: DUP2
0000033f: ADD
00000340: DUP4
00000341: DUP2
00000342: DUP2
00000343: MLOAD
00000344: DUP2
00000345: MSTORE
00000346: PUSH1 0x20
00000348: ADD
00000349: SWAP2
0000034a: POP
0000034b: DUP1
0000034c: MLOAD
0000034d: SWAP1
0000034e: PUSH1 0x20
00000350: ADD
00000351: SWAP1
00000352: DUP1
00000353: DUP4
00000354: DUP4
00000355: PUSH1 0x00
00000357: JUMPDEST
00000358: DUP4
00000359: DUP2
0000035a: LT
0000035b: ISZERO
0000035c: PUSH2 0x012a
0000035f: JUMPI
00000360: DUP1
00000361: DUP3
00000362: ADD
00000363: MLOAD
00000364: DUP2
00000365: DUP5
00000366: ADD
00000367: MSTORE
00000368: JUMPDEST
00000369: PUSH1 0x20
0000036b: ADD
0000036c: PUSH2 0x0111
0000036f: JUMP
00000370: JUMPDEST
00000371: POP
00000372: POP
00000373: POP
00000374: POP
00000375: SWAP1
00000376: POP
00000377: SWAP1
00000378: DUP2
00000379: ADD
0000037a: SWAP1
0000037b: PUSH1 0x1f
0000037d: AND
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0157
00000383: JUMPI
00000384: DUP1
00000385: DUP3
00000386: SUB
00000387: DUP1
00000388: MLOAD
00000389: PUSH1 0x01
0000038b: DUP4
0000038c: PUSH1 0x20
0000038e: SUB
0000038f: PUSH2 0x0100
00000392: EXP
00000393: SUB
00000394: NOT
00000395: AND
00000396: DUP2
00000397: MSTORE
00000398: PUSH1 0x20
0000039a: ADD
0000039b: SWAP2
0000039c: POP
0000039d: JUMPDEST
0000039e: POP
0000039f: SWAP3
000003a0: POP
000003a1: POP
000003a2: POP
000003a3: PUSH1 0x40
000003a5: MLOAD
000003a6: DUP1
000003a7: SWAP2
000003a8: SUB
000003a9: SWAP1
000003aa: RETURN
000003ab: JUMPDEST
000003ac: CALLVALUE
000003ad: ISZERO
000003ae: PUSH2 0x03b6
000003b1: JUMPI
000003b2: PUSH1 0x00
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: PUSH2 0x0187
000003ba: PUSH1 0x01
000003bc: PUSH1 0xa0
000003be: PUSH1 0x02
000003c0: EXP
000003c1: SUB
000003c2: PUSH1 0x04
000003c4: CALLDATALOAD
000003c5: AND
000003c6: PUSH1 0x24
000003c8: CALLDATALOAD
000003c9: PUSH2 0x0bf5
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: SWAP1
000003d2: ISZERO
000003d3: ISZERO
000003d4: DUP2
000003d5: MSTORE
000003d6: PUSH1 0x20
000003d8: ADD
000003d9: PUSH1 0x40
000003db: MLOAD
000003dc: DUP1
000003dd: SWAP2
000003de: SUB
000003df: SWAP1
000003e0: RETURN
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: ISZERO
000003e4: PUSH2 0x03ec
000003e7: JUMPI
000003e8: PUSH1 0x00
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: PUSH2 0x0187
000003f0: PUSH1 0x04
000003f2: DUP1
000003f3: CALLDATALOAD
000003f4: PUSH1 0x01
000003f6: PUSH1 0xa0
000003f8: PUSH1 0x02
000003fa: EXP
000003fb: SUB
000003fc: AND
000003fd: SWAP1
000003fe: PUSH1 0x24
00000400: DUP1
00000401: CALLDATALOAD
00000402: SWAP2
00000403: SWAP1
00000404: PUSH1 0x64
00000406: SWAP1
00000407: PUSH1 0x44
00000409: CALLDATALOAD
0000040a: SWAP1
0000040b: DUP2
0000040c: ADD
0000040d: SWAP1
0000040e: DUP4
0000040f: ADD
00000410: CALLDATALOAD
00000411: DUP1
00000412: PUSH1 0x20
00000414: PUSH1 0x1f
00000416: DUP3
00000417: ADD
00000418: DUP2
00000419: SWAP1
0000041a: DIV
0000041b: DUP2
0000041c: MUL
0000041d: ADD
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: SWAP1
00000422: DUP2
00000423: ADD
00000424: PUSH1 0x40
00000426: MSTORE
00000427: DUP2
00000428: DUP2
00000429: MSTORE
0000042a: SWAP3
0000042b: SWAP2
0000042c: SWAP1
0000042d: PUSH1 0x20
0000042f: DUP5
00000430: ADD
00000431: DUP4
00000432: DUP4
00000433: DUP1
00000434: DUP3
00000435: DUP5
00000436: CALLDATACOPY
00000437: POP
00000438: SWAP5
00000439: SWAP7
0000043a: POP
0000043b: PUSH2 0x0c0c
0000043e: SWAP6
0000043f: POP
00000440: POP
00000441: POP
00000442: POP
00000443: POP
00000444: POP
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH1 0x40
00000449: MLOAD
0000044a: SWAP1
0000044b: ISZERO
0000044c: ISZERO
0000044d: DUP2
0000044e: MSTORE
0000044f: PUSH1 0x20
00000451: ADD
00000452: PUSH1 0x40
00000454: MLOAD
00000455: DUP1
00000456: SWAP2
00000457: SUB
00000458: SWAP1
00000459: RETURN
0000045a: JUMPDEST
0000045b: CALLVALUE
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: PUSH2 0x0187
00000469: PUSH1 0x04
0000046b: DUP1
0000046c: CALLDATALOAD
0000046d: PUSH1 0x01
0000046f: PUSH1 0xa0
00000471: PUSH1 0x02
00000473: EXP
00000474: SUB
00000475: AND
00000476: SWAP1
00000477: PUSH1 0x24
00000479: DUP1
0000047a: CALLDATALOAD
0000047b: SWAP2
0000047c: SWAP1
0000047d: PUSH1 0x64
0000047f: SWAP1
00000480: PUSH1 0x44
00000482: CALLDATALOAD
00000483: SWAP1
00000484: DUP2
00000485: ADD
00000486: SWAP1
00000487: DUP4
00000488: ADD
00000489: CALLDATALOAD
0000048a: DUP1
0000048b: PUSH1 0x20
0000048d: PUSH1 0x1f
0000048f: DUP3
00000490: ADD
00000491: DUP2
00000492: SWAP1
00000493: DIV
00000494: DUP2
00000495: MUL
00000496: ADD
00000497: PUSH1 0x40
00000499: MLOAD
0000049a: SWAP1
0000049b: DUP2
0000049c: ADD
0000049d: PUSH1 0x40
0000049f: MSTORE
000004a0: DUP2
000004a1: DUP2
000004a2: MSTORE
000004a3: SWAP3
000004a4: SWAP2
000004a5: SWAP1
000004a6: PUSH1 0x20
000004a8: DUP5
000004a9: ADD
000004aa: DUP4
000004ab: DUP4
000004ac: DUP1
000004ad: DUP3
000004ae: DUP5
000004af: CALLDATACOPY
000004b0: POP
000004b1: SWAP5
000004b2: SWAP7
000004b3: POP
000004b4: PUSH2 0x0d14
000004b7: SWAP6
000004b8: POP
000004b9: POP
000004ba: POP
000004bb: POP
000004bc: POP
000004bd: POP
000004be: JUMP
000004bf: JUMPDEST
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: SWAP1
000004c4: ISZERO
000004c5: ISZERO
000004c6: DUP2
000004c7: MSTORE
000004c8: PUSH1 0x20
000004ca: ADD
000004cb: PUSH1 0x40
000004cd: MLOAD
000004ce: DUP1
000004cf: SWAP2
000004d0: SUB
000004d1: SWAP1
000004d2: RETURN
000004d3: JUMPDEST
000004d4: PUSH2 0x0212
000004d7: PUSH2 0x0e51
000004da: JUMP
000004db: JUMPDEST
000004dc: STOP
000004dd: JUMPDEST
000004de: CALLVALUE
000004df: ISZERO
000004e0: PUSH2 0x04e8
000004e3: JUMPI
000004e4: PUSH1 0x00
000004e6: DUP1
000004e7: REVERT
000004e8: JUMPDEST
000004e9: PUSH2 0x01ae
000004ec: PUSH1 0x01
000004ee: PUSH1 0xa0
000004f0: PUSH1 0x02
000004f2: EXP
000004f3: SUB
000004f4: PUSH1 0x04
000004f6: CALLDATALOAD
000004f7: DUP2
000004f8: AND
000004f9: SWAP1
000004fa: PUSH1 0x24
000004fc: CALLDATALOAD
000004fd: AND
000004fe: PUSH2 0x0f1c
00000501: JUMP
00000502: JUMPDEST
00000503: PUSH1 0x40
00000505: MLOAD
00000506: SWAP1
00000507: DUP2
00000508: MSTORE
00000509: PUSH1 0x20
0000050b: ADD
0000050c: PUSH1 0x40
0000050e: MLOAD
0000050f: DUP1
00000510: SWAP2
00000511: SUB
00000512: SWAP1
00000513: RETURN
00000514: JUMPDEST
00000515: CALLVALUE
00000516: ISZERO
00000517: PUSH2 0x051f
0000051a: JUMPI
0000051b: PUSH1 0x00
0000051d: DUP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: PUSH2 0x0527
00000523: PUSH2 0x0f49
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x40
0000052a: MLOAD
0000052b: PUSH1 0x01
0000052d: PUSH1 0xa0
0000052f: PUSH1 0x02
00000531: EXP
00000532: SUB
00000533: SWAP1
00000534: SWAP2
00000535: AND
00000536: DUP2
00000537: MSTORE
00000538: PUSH1 0x20
0000053a: ADD
0000053b: PUSH1 0x40
0000053d: MLOAD
0000053e: DUP1
0000053f: SWAP2
00000540: SUB
00000541: SWAP1
00000542: RETURN
00000543: JUMPDEST
00000544: CALLVALUE
00000545: ISZERO
00000546: PUSH2 0x054e
00000549: JUMPI
0000054a: PUSH1 0x00
0000054c: DUP1
0000054d: REVERT
0000054e: JUMPDEST
0000054f: PUSH2 0x0212
00000552: PUSH1 0x01
00000554: PUSH1 0xa0
00000556: PUSH1 0x02
00000558: EXP
00000559: SUB
0000055a: PUSH1 0x04
0000055c: CALLDATALOAD
0000055d: AND
0000055e: PUSH2 0x0f59
00000561: JUMP
00000562: JUMPDEST
00000563: STOP
00000564: JUMPDEST
00000565: PUSH2 0x056c
00000568: PUSH2 0x12a6
0000056b: JUMP
0000056c: JUMPDEST
0000056d: PUSH1 0x04
0000056f: DUP1
00000570: SLOAD
00000571: PUSH1 0x01
00000573: DUP2
00000574: PUSH1 0x01
00000576: AND
00000577: ISZERO
00000578: PUSH2 0x0100
0000057b: MUL
0000057c: SUB
0000057d: AND
0000057e: PUSH1 0x02
00000580: SWAP1
00000581: DIV
00000582: DUP1
00000583: PUSH1 0x1f
00000585: ADD
00000586: PUSH1 0x20
00000588: DUP1
00000589: SWAP2
0000058a: DIV
0000058b: MUL
0000058c: PUSH1 0x20
0000058e: ADD
0000058f: PUSH1 0x40
00000591: MLOAD
00000592: SWAP1
00000593: DUP2
00000594: ADD
00000595: PUSH1 0x40
00000597: MSTORE
00000598: DUP1
00000599: SWAP3
0000059a: SWAP2
0000059b: SWAP1
0000059c: DUP2
0000059d: DUP2
0000059e: MSTORE
0000059f: PUSH1 0x20
000005a1: ADD
000005a2: DUP3
000005a3: DUP1
000005a4: SLOAD
000005a5: PUSH1 0x01
000005a7: DUP2
000005a8: PUSH1 0x01
000005aa: AND
000005ab: ISZERO
000005ac: PUSH2 0x0100
000005af: MUL
000005b0: SUB
000005b1: AND
000005b2: PUSH1 0x02
000005b4: SWAP1
000005b5: DIV
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x0602
000005bb: JUMPI
000005bc: DUP1
000005bd: PUSH1 0x1f
000005bf: LT
000005c0: PUSH2 0x05d7
000005c3: JUMPI
000005c4: PUSH2 0x0100
000005c7: DUP1
000005c8: DUP4
000005c9: SLOAD
000005ca: DIV
000005cb: MUL
000005cc: DUP4
000005cd: MSTORE
000005ce: SWAP2
000005cf: PUSH1 0x20
000005d1: ADD
000005d2: SWAP2
000005d3: PUSH2 0x0602
000005d6: JUMP
000005d7: JUMPDEST
000005d8: DUP3
000005d9: ADD
000005da: SWAP2
000005db: SWAP1
000005dc: PUSH1 0x00
000005de: MSTORE
000005df: PUSH1 0x20
000005e1: PUSH1 0x00
000005e3: KECCAK256
000005e4: SWAP1
000005e5: JUMPDEST
000005e6: DUP2
000005e7: SLOAD
000005e8: DUP2
000005e9: MSTORE
000005ea: SWAP1
000005eb: PUSH1 0x01
000005ed: ADD
000005ee: SWAP1
000005ef: PUSH1 0x20
000005f1: ADD
000005f2: DUP1
000005f3: DUP4
000005f4: GT
000005f5: PUSH2 0x05e5
000005f8: JUMPI
000005f9: DUP3
000005fa: SWAP1
000005fb: SUB
000005fc: PUSH1 0x1f
000005fe: AND
000005ff: DUP3
00000600: ADD
00000601: SWAP2
00000602: JUMPDEST
00000603: POP
00000604: POP
00000605: POP
00000606: POP
00000607: POP
00000608: SWAP1
00000609: POP
0000060a: JUMPDEST
0000060b: SWAP1
0000060c: JUMP
0000060d: JUMPDEST
0000060e: PUSH1 0x00
00000610: DUP2
00000611: ISZERO
00000612: DUP1
00000613: PUSH2 0x063f
00000616: JUMPI
00000617: POP
00000618: PUSH1 0x01
0000061a: PUSH1 0xa0
0000061c: PUSH1 0x02
0000061e: EXP
0000061f: SUB
00000620: CALLER
00000621: DUP2
00000622: AND
00000623: PUSH1 0x00
00000625: SWAP1
00000626: DUP2
00000627: MSTORE
00000628: PUSH1 0x03
0000062a: PUSH1 0x20
0000062c: SWAP1
0000062d: DUP2
0000062e: MSTORE
0000062f: PUSH1 0x40
00000631: DUP1
00000632: DUP4
00000633: KECCAK256
00000634: SWAP4
00000635: DUP8
00000636: AND
00000637: DUP4
00000638: MSTORE
00000639: SWAP3
0000063a: SWAP1
0000063b: MSTORE
0000063c: KECCAK256
0000063d: SLOAD
0000063e: ISZERO
0000063f: JUMPDEST
00000640: ISZERO
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: PUSH1 0x01
0000064d: PUSH1 0xa0
0000064f: PUSH1 0x02
00000651: EXP
00000652: SUB
00000653: CALLER
00000654: DUP2
00000655: AND
00000656: PUSH1 0x00
00000658: DUP2
00000659: DUP2
0000065a: MSTORE
0000065b: PUSH1 0x03
0000065d: PUSH1 0x20
0000065f: SWAP1
00000660: DUP2
00000661: MSTORE
00000662: PUSH1 0x40
00000664: DUP1
00000665: DUP4
00000666: KECCAK256
00000667: SWAP5
00000668: DUP9
00000669: AND
0000066a: DUP1
0000066b: DUP5
0000066c: MSTORE
0000066d: SWAP5
0000066e: SWAP1
0000066f: SWAP2
00000670: MSTORE
00000671: SWAP1
00000672: DUP2
00000673: SWAP1
00000674: KECCAK256
00000675: DUP6
00000676: SWAP1
00000677: SSTORE
00000678: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000699: SWAP1
0000069a: DUP6
0000069b: SWAP1
0000069c: MLOAD
0000069d: SWAP1
0000069e: DUP2
0000069f: MSTORE
000006a0: PUSH1 0x20
000006a2: ADD
000006a3: PUSH1 0x40
000006a5: MLOAD
000006a6: DUP1
000006a7: SWAP2
000006a8: SUB
000006a9: SWAP1
000006aa: LOG3
000006ab: POP
000006ac: PUSH1 0x01
000006ae: JUMPDEST
000006af: SWAP3
000006b0: SWAP2
000006b1: POP
000006b2: POP
000006b3: JUMP
000006b4: JUMPDEST
000006b5: PUSH1 0x01
000006b7: SLOAD
000006b8: JUMPDEST
000006b9: SWAP1
000006ba: JUMP
000006bb: JUMPDEST
000006bc: PUSH1 0x01
000006be: PUSH1 0xa0
000006c0: PUSH1 0x02
000006c2: EXP
000006c3: SUB
000006c4: DUP1
000006c5: DUP5
000006c6: AND
000006c7: PUSH1 0x00
000006c9: SWAP1
000006ca: DUP2
000006cb: MSTORE
000006cc: PUSH1 0x03
000006ce: PUSH1 0x20
000006d0: SWAP1
000006d1: DUP2
000006d2: MSTORE
000006d3: PUSH1 0x40
000006d5: DUP1
000006d6: DUP4
000006d7: KECCAK256
000006d8: CALLER
000006d9: SWAP1
000006da: SWAP5
000006db: AND
000006dc: DUP4
000006dd: MSTORE
000006de: SWAP3
000006df: SWAP1
000006e0: MSTORE
000006e1: SWAP1
000006e2: DUP2
000006e3: KECCAK256
000006e4: SLOAD
000006e5: PUSH2 0x06ee
000006e8: DUP2
000006e9: DUP5
000006ea: PUSH2 0x0f7b
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x01
000006f1: PUSH1 0xa0
000006f3: PUSH1 0x02
000006f5: EXP
000006f6: SUB
000006f7: DUP1
000006f8: DUP8
000006f9: AND
000006fa: PUSH1 0x00
000006fc: SWAP1
000006fd: DUP2
000006fe: MSTORE
000006ff: PUSH1 0x03
00000701: PUSH1 0x20
00000703: SWAP1
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x40
00000708: DUP1
00000709: DUP4
0000070a: KECCAK256
0000070b: CALLER
0000070c: SWAP1
0000070d: SWAP5
0000070e: AND
0000070f: DUP4
00000710: MSTORE
00000711: SWAP3
00000712: SWAP1
00000713: MSTORE
00000714: KECCAK256
00000715: SSTORE
00000716: PUSH2 0x0720
00000719: DUP6
0000071a: DUP6
0000071b: DUP6
0000071c: PUSH2 0x0f92
0000071f: JUMP
00000720: JUMPDEST
00000721: PUSH1 0x01
00000723: SWAP2
00000724: POP
00000725: JUMPDEST
00000726: POP
00000727: SWAP4
00000728: SWAP3
00000729: POP
0000072a: POP
0000072b: POP
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0x01
00000730: PUSH1 0xa0
00000732: PUSH1 0x02
00000734: EXP
00000735: SUB
00000736: CALLER
00000737: AND
00000738: PUSH1 0x00
0000073a: SWAP1
0000073b: DUP2
0000073c: MSTORE
0000073d: PUSH1 0x20
0000073f: DUP2
00000740: SWAP1
00000741: MSTORE
00000742: PUSH1 0x40
00000744: SWAP1
00000745: KECCAK256
00000746: SLOAD
00000747: DUP2
00000748: SWAP1
00000749: LT
0000074a: ISZERO
0000074b: PUSH2 0x0753
0000074e: JUMPI
0000074f: PUSH1 0x00
00000751: DUP1
00000752: REVERT
00000753: JUMPDEST
00000754: PUSH1 0x01
00000756: PUSH1 0xa0
00000758: PUSH1 0x02
0000075a: EXP
0000075b: SUB
0000075c: CALLER
0000075d: AND
0000075e: PUSH1 0x00
00000760: SWAP1
00000761: DUP2
00000762: MSTORE
00000763: PUSH1 0x20
00000765: DUP2
00000766: SWAP1
00000767: MSTORE
00000768: PUSH1 0x40
0000076a: SWAP1
0000076b: KECCAK256
0000076c: SLOAD
0000076d: PUSH2 0x0776
00000770: SWAP1
00000771: DUP3
00000772: PUSH2 0x0f7b
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH1 0x01
00000779: PUSH1 0xa0
0000077b: PUSH1 0x02
0000077d: EXP
0000077e: SUB
0000077f: CALLER
00000780: AND
00000781: PUSH1 0x00
00000783: SWAP1
00000784: DUP2
00000785: MSTORE
00000786: PUSH1 0x20
00000788: DUP2
00000789: SWAP1
0000078a: MSTORE
0000078b: PUSH1 0x40
0000078d: SWAP1
0000078e: KECCAK256
0000078f: SSTORE
00000790: PUSH1 0x01
00000792: SLOAD
00000793: PUSH2 0x079c
00000796: SWAP1
00000797: DUP3
00000798: PUSH2 0x0f7b
0000079b: JUMP
0000079c: JUMPDEST
0000079d: PUSH1 0x01
0000079f: SSTORE
000007a0: PUSH1 0x01
000007a2: PUSH1 0xa0
000007a4: PUSH1 0x02
000007a6: EXP
000007a7: SUB
000007a8: CALLER
000007a9: AND
000007aa: DUP2
000007ab: ISZERO
000007ac: PUSH2 0x08fc
000007af: MUL
000007b0: DUP3
000007b1: PUSH1 0x40
000007b3: MLOAD
000007b4: PUSH1 0x00
000007b6: PUSH1 0x40
000007b8: MLOAD
000007b9: DUP1
000007ba: DUP4
000007bb: SUB
000007bc: DUP2
000007bd: DUP6
000007be: DUP9
000007bf: DUP9
000007c0: CALL
000007c1: SWAP4
000007c2: POP
000007c3: POP
000007c4: POP
000007c5: POP
000007c6: ISZERO
000007c7: ISZERO
000007c8: PUSH2 0x07d0
000007cb: JUMPI
000007cc: PUSH1 0x00
000007ce: DUP1
000007cf: REVERT
000007d0: JUMPDEST
000007d1: CALLER
000007d2: PUSH1 0x01
000007d4: PUSH1 0xa0
000007d6: PUSH1 0x02
000007d8: EXP
000007d9: SUB
000007da: AND
000007db: PUSH32 0xb4214c8c54fc7442f36d3682f59aebaf09358a4431835b30efb29d52cf9e1e91
000007fc: DUP3
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: SWAP1
00000801: DUP2
00000802: MSTORE
00000803: PUSH1 0x20
00000805: ADD
00000806: PUSH1 0x40
00000808: MLOAD
00000809: DUP1
0000080a: SWAP2
0000080b: SUB
0000080c: SWAP1
0000080d: LOG2
0000080e: PUSH1 0x00
00000810: CALLER
00000811: PUSH1 0x01
00000813: PUSH1 0xa0
00000815: PUSH1 0x02
00000817: EXP
00000818: SUB
00000819: AND
0000081a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000083b: DUP4
0000083c: PUSH1 0x40
0000083e: MLOAD
0000083f: SWAP1
00000840: DUP2
00000841: MSTORE
00000842: PUSH1 0x20
00000844: ADD
00000845: PUSH1 0x40
00000847: MLOAD
00000848: DUP1
00000849: SWAP2
0000084a: SUB
0000084b: SWAP1
0000084c: LOG3
0000084d: JUMPDEST
0000084e: POP
0000084f: JUMP
00000850: JUMPDEST
00000851: PUSH1 0x06
00000853: SLOAD
00000854: PUSH1 0xff
00000856: AND
00000857: JUMPDEST
00000858: SWAP1
00000859: JUMP
0000085a: JUMPDEST
0000085b: PUSH2 0x0862
0000085e: PUSH2 0x12a6
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x07
00000865: DUP1
00000866: SLOAD
00000867: PUSH1 0x01
00000869: DUP2
0000086a: PUSH1 0x01
0000086c: AND
0000086d: ISZERO
0000086e: PUSH2 0x0100
00000871: MUL
00000872: SUB
00000873: AND
00000874: PUSH1 0x02
00000876: SWAP1
00000877: DIV
00000878: DUP1
00000879: PUSH1 0x1f
0000087b: ADD
0000087c: PUSH1 0x20
0000087e: DUP1
0000087f: SWAP2
00000880: DIV
00000881: MUL
00000882: PUSH1 0x20
00000884: ADD
00000885: PUSH1 0x40
00000887: MLOAD
00000888: SWAP1
00000889: DUP2
0000088a: ADD
0000088b: PUSH1 0x40
0000088d: MSTORE
0000088e: DUP1
0000088f: SWAP3
00000890: SWAP2
00000891: SWAP1
00000892: DUP2
00000893: DUP2
00000894: MSTORE
00000895: PUSH1 0x20
00000897: ADD
00000898: DUP3
00000899: DUP1
0000089a: SLOAD
0000089b: PUSH1 0x01
0000089d: DUP2
0000089e: PUSH1 0x01
000008a0: AND
000008a1: ISZERO
000008a2: PUSH2 0x0100
000008a5: MUL
000008a6: SUB
000008a7: AND
000008a8: PUSH1 0x02
000008aa: SWAP1
000008ab: DIV
000008ac: DUP1
000008ad: ISZERO
000008ae: PUSH2 0x0602
000008b1: JUMPI
000008b2: DUP1
000008b3: PUSH1 0x1f
000008b5: LT
000008b6: PUSH2 0x05d7
000008b9: JUMPI
000008ba: PUSH2 0x0100
000008bd: DUP1
000008be: DUP4
000008bf: SLOAD
000008c0: DIV
000008c1: MUL
000008c2: DUP4
000008c3: MSTORE
000008c4: SWAP2
000008c5: PUSH1 0x20
000008c7: ADD
000008c8: SWAP2
000008c9: PUSH2 0x0602
000008cc: JUMP
000008cd: JUMPDEST
000008ce: DUP3
000008cf: ADD
000008d0: SWAP2
000008d1: SWAP1
000008d2: PUSH1 0x00
000008d4: MSTORE
000008d5: PUSH1 0x20
000008d7: PUSH1 0x00
000008d9: KECCAK256
000008da: SWAP1
000008db: JUMPDEST
000008dc: DUP2
000008dd: SLOAD
000008de: DUP2
000008df: MSTORE
000008e0: SWAP1
000008e1: PUSH1 0x01
000008e3: ADD
000008e4: SWAP1
000008e5: PUSH1 0x20
000008e7: ADD
000008e8: DUP1
000008e9: DUP4
000008ea: GT
000008eb: PUSH2 0x05e5
000008ee: JUMPI
000008ef: DUP3
000008f0: SWAP1
000008f1: SUB
000008f2: PUSH1 0x1f
000008f4: AND
000008f5: DUP3
000008f6: ADD
000008f7: SWAP2
000008f8: JUMPDEST
000008f9: POP
000008fa: POP
000008fb: POP
000008fc: POP
000008fd: POP
000008fe: SWAP1
000008ff: POP
00000900: JUMPDEST
00000901: SWAP1
00000902: JUMP
00000903: JUMPDEST
00000904: PUSH1 0x02
00000906: SLOAD
00000907: PUSH1 0x00
00000909: SWAP1
0000090a: PUSH32 0xac42f8beb17975ed062dcb80c63e6d203ef1c2c335ced149dc5664cc671cb7da
0000092b: SWAP1
0000092c: PUSH1 0x01
0000092e: PUSH1 0xa0
00000930: PUSH1 0x02
00000932: EXP
00000933: SUB
00000934: AND
00000935: PUSH4 0x9085b77f
0000093a: CALLER
0000093b: DUP4
0000093c: ADDRESS
0000093d: PUSH1 0x01
0000093f: PUSH1 0xe0
00000941: PUSH1 0x02
00000943: EXP
00000944: SUB
00000945: NOT
00000946: DUP8
00000947: CALLDATALOAD
00000948: AND
00000949: DUP8
0000094a: PUSH1 0x40
0000094c: MLOAD
0000094d: PUSH1 0x20
0000094f: ADD
00000950: MSTORE
00000951: PUSH1 0x40
00000953: MLOAD
00000954: PUSH1 0xe0
00000956: PUSH1 0x02
00000958: EXP
00000959: PUSH4 0xffffffff
0000095e: DUP8
0000095f: AND
00000960: MUL
00000961: DUP2
00000962: MSTORE
00000963: PUSH1 0x01
00000965: PUSH1 0xa0
00000967: PUSH1 0x02
00000969: EXP
0000096a: SUB
0000096b: SWAP5
0000096c: DUP6
0000096d: AND
0000096e: PUSH1 0x04
00000970: DUP3
00000971: ADD
00000972: MSTORE
00000973: PUSH1 0x24
00000975: DUP2
00000976: ADD
00000977: SWAP4
00000978: SWAP1
00000979: SWAP4
0000097a: MSTORE
0000097b: SWAP3
0000097c: AND
0000097d: PUSH1 0x44
0000097f: DUP3
00000980: ADD
00000981: MSTORE
00000982: PUSH1 0x01
00000984: PUSH1 0xe0
00000986: PUSH1 0x02
00000988: EXP
00000989: SUB
0000098a: NOT
0000098b: SWAP1
0000098c: SWAP2
0000098d: AND
0000098e: PUSH1 0x64
00000990: DUP3
00000991: ADD
00000992: MSTORE
00000993: PUSH1 0x84
00000995: ADD
00000996: PUSH1 0x20
00000998: PUSH1 0x40
0000099a: MLOAD
0000099b: DUP1
0000099c: DUP4
0000099d: SUB
0000099e: DUP2
0000099f: PUSH1 0x00
000009a1: DUP8
000009a2: DUP1
000009a3: EXTCODESIZE
000009a4: ISZERO
000009a5: ISZERO
000009a6: PUSH2 0x09ae
000009a9: JUMPI
000009aa: PUSH1 0x00
000009ac: DUP1
000009ad: REVERT
000009ae: JUMPDEST
000009af: PUSH2 0x02c6
000009b2: GAS
000009b3: SUB
000009b4: CALL
000009b5: ISZERO
000009b6: ISZERO
000009b7: PUSH2 0x09bf
000009ba: JUMPI
000009bb: PUSH1 0x00
000009bd: DUP1
000009be: REVERT
000009bf: JUMPDEST
000009c0: POP
000009c1: POP
000009c2: POP
000009c3: PUSH1 0x40
000009c5: MLOAD
000009c6: DUP1
000009c7: MLOAD
000009c8: SWAP1
000009c9: POP
000009ca: ISZERO
000009cb: ISZERO
000009cc: PUSH2 0x09d4
000009cf: JUMPI
000009d0: PUSH1 0x00
000009d2: DUP1
000009d3: REVERT
000009d4: JUMPDEST
000009d5: DUP4
000009d6: PUSH1 0x01
000009d8: PUSH1 0xa0
000009da: PUSH1 0x02
000009dc: EXP
000009dd: SUB
000009de: AND
000009df: PUSH4 0x9085b77f
000009e4: DUP5
000009e5: PUSH32 0xac42f8beb17975ed062dcb80c63e6d203ef1c2c335ced149dc5664cc671cb7da
00000a06: PUSH1 0x01
00000a08: MUL
00000a09: ADDRESS
00000a0a: PUSH1 0x00
00000a0c: CALLDATALOAD
00000a0d: PUSH1 0x01
00000a0f: PUSH1 0xe0
00000a11: PUSH1 0x02
00000a13: EXP
00000a14: SUB
00000a15: NOT
00000a16: AND
00000a17: PUSH1 0x00
00000a19: PUSH1 0x40
00000a1b: MLOAD
00000a1c: PUSH1 0x20
00000a1e: ADD
00000a1f: MSTORE
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: PUSH1 0xe0
00000a25: PUSH1 0x02
00000a27: EXP
00000a28: PUSH4 0xffffffff
00000a2d: DUP8
00000a2e: AND
00000a2f: MUL
00000a30: DUP2
00000a31: MSTORE
00000a32: PUSH1 0x01
00000a34: PUSH1 0xa0
00000a36: PUSH1 0x02
00000a38: EXP
00000a39: SUB
00000a3a: SWAP5
00000a3b: DUP6
00000a3c: AND
00000a3d: PUSH1 0x04
00000a3f: DUP3
00000a40: ADD
00000a41: MSTORE
00000a42: PUSH1 0x24
00000a44: DUP2
00000a45: ADD
00000a46: SWAP4
00000a47: SWAP1
00000a48: SWAP4
00000a49: MSTORE
00000a4a: SWAP3
00000a4b: AND
00000a4c: PUSH1 0x44
00000a4e: DUP3
00000a4f: ADD
00000a50: MSTORE
00000a51: PUSH1 0x01
00000a53: PUSH1 0xe0
00000a55: PUSH1 0x02
00000a57: EXP
00000a58: SUB
00000a59: NOT
00000a5a: SWAP1
00000a5b: SWAP2
00000a5c: AND
00000a5d: PUSH1 0x64
00000a5f: DUP3
00000a60: ADD
00000a61: MSTORE
00000a62: PUSH1 0x84
00000a64: ADD
00000a65: PUSH1 0x20
00000a67: PUSH1 0x40
00000a69: MLOAD
00000a6a: DUP1
00000a6b: DUP4
00000a6c: SUB
00000a6d: DUP2
00000a6e: PUSH1 0x00
00000a70: DUP8
00000a71: DUP1
00000a72: EXTCODESIZE
00000a73: ISZERO
00000a74: ISZERO
00000a75: PUSH2 0x0a7d
00000a78: JUMPI
00000a79: PUSH1 0x00
00000a7b: DUP1
00000a7c: REVERT
00000a7d: JUMPDEST
00000a7e: PUSH2 0x02c6
00000a81: GAS
00000a82: SUB
00000a83: CALL
00000a84: ISZERO
00000a85: ISZERO
00000a86: PUSH2 0x0a8e
00000a89: JUMPI
00000a8a: PUSH1 0x00
00000a8c: DUP1
00000a8d: REVERT
00000a8e: JUMPDEST
00000a8f: POP
00000a90: POP
00000a91: POP
00000a92: PUSH1 0x40
00000a94: MLOAD
00000a95: DUP1
00000a96: MLOAD
00000a97: SWAP1
00000a98: POP
00000a99: ISZERO
00000a9a: ISZERO
00000a9b: PUSH2 0x0aa3
00000a9e: JUMPI
00000a9f: PUSH1 0x00
00000aa1: DUP1
00000aa2: REVERT
00000aa3: JUMPDEST
00000aa4: PUSH1 0x02
00000aa6: DUP1
00000aa7: SLOAD
00000aa8: PUSH1 0x01
00000aaa: PUSH1 0xa0
00000aac: PUSH1 0x02
00000aae: EXP
00000aaf: SUB
00000ab0: DUP7
00000ab1: DUP2
00000ab2: AND
00000ab3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac8: NOT
00000ac9: DUP4
00000aca: AND
00000acb: OR
00000acc: SWAP1
00000acd: SWAP3
00000ace: SSTORE
00000acf: AND
00000ad0: SWAP2
00000ad1: POP
00000ad2: PUSH32 0x7d475c32583df95fccc34a6e12df24c1fc9943092cc129b6512013aecba0f136
00000af3: CALLER
00000af4: DUP4
00000af5: DUP7
00000af6: PUSH1 0x40
00000af8: MLOAD
00000af9: PUSH1 0x01
00000afb: PUSH1 0xa0
00000afd: PUSH1 0x02
00000aff: EXP
00000b00: SUB
00000b01: SWAP4
00000b02: DUP5
00000b03: AND
00000b04: DUP2
00000b05: MSTORE
00000b06: SWAP2
00000b07: DUP4
00000b08: AND
00000b09: PUSH1 0x20
00000b0b: DUP4
00000b0c: ADD
00000b0d: MSTORE
00000b0e: SWAP1
00000b0f: SWAP2
00000b10: AND
00000b11: PUSH1 0x40
00000b13: DUP1
00000b14: DUP4
00000b15: ADD
00000b16: SWAP2
00000b17: SWAP1
00000b18: SWAP2
00000b19: MSTORE
00000b1a: PUSH1 0x60
00000b1c: SWAP1
00000b1d: SWAP2
00000b1e: ADD
00000b1f: SWAP1
00000b20: MLOAD
00000b21: DUP1
00000b22: SWAP2
00000b23: SUB
00000b24: SWAP1
00000b25: LOG1
00000b26: JUMPDEST
00000b27: JUMPDEST
00000b28: POP
00000b29: POP
00000b2a: POP
00000b2b: POP
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: PUSH1 0x01
00000b30: PUSH1 0xa0
00000b32: PUSH1 0x02
00000b34: EXP
00000b35: SUB
00000b36: DUP2
00000b37: AND
00000b38: PUSH1 0x00
00000b3a: SWAP1
00000b3b: DUP2
00000b3c: MSTORE
00000b3d: PUSH1 0x20
00000b3f: DUP2
00000b40: SWAP1
00000b41: MSTORE
00000b42: PUSH1 0x40
00000b44: SWAP1
00000b45: KECCAK256
00000b46: SLOAD
00000b47: JUMPDEST
00000b48: SWAP2
00000b49: SWAP1
00000b4a: POP
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: PUSH2 0x0b54
00000b50: PUSH2 0x12a6
00000b53: JUMP
00000b54: JUMPDEST
00000b55: PUSH1 0x05
00000b57: DUP1
00000b58: SLOAD
00000b59: PUSH1 0x01
00000b5b: DUP2
00000b5c: PUSH1 0x01
00000b5e: AND
00000b5f: ISZERO
00000b60: PUSH2 0x0100
00000b63: MUL
00000b64: SUB
00000b65: AND
00000b66: PUSH1 0x02
00000b68: SWAP1
00000b69: DIV
00000b6a: DUP1
00000b6b: PUSH1 0x1f
00000b6d: ADD
00000b6e: PUSH1 0x20
00000b70: DUP1
00000b71: SWAP2
00000b72: DIV
00000b73: MUL
00000b74: PUSH1 0x20
00000b76: ADD
00000b77: PUSH1 0x40
00000b79: MLOAD
00000b7a: SWAP1
00000b7b: DUP2
00000b7c: ADD
00000b7d: PUSH1 0x40
00000b7f: MSTORE
00000b80: DUP1
00000b81: SWAP3
00000b82: SWAP2
00000b83: SWAP1
00000b84: DUP2
00000b85: DUP2
00000b86: MSTORE
00000b87: PUSH1 0x20
00000b89: ADD
00000b8a: DUP3
00000b8b: DUP1
00000b8c: SLOAD
00000b8d: PUSH1 0x01
00000b8f: DUP2
00000b90: PUSH1 0x01
00000b92: AND
00000b93: ISZERO
00000b94: PUSH2 0x0100
00000b97: MUL
00000b98: SUB
00000b99: AND
00000b9a: PUSH1 0x02
00000b9c: SWAP1
00000b9d: DIV
00000b9e: DUP1
00000b9f: ISZERO
00000ba0: PUSH2 0x0602
00000ba3: JUMPI
00000ba4: DUP1
00000ba5: PUSH1 0x1f
00000ba7: LT
00000ba8: PUSH2 0x05d7
00000bab: JUMPI
00000bac: PUSH2 0x0100
00000baf: DUP1
00000bb0: DUP4
00000bb1: SLOAD
00000bb2: DIV
00000bb3: MUL
00000bb4: DUP4
00000bb5: MSTORE
00000bb6: SWAP2
00000bb7: PUSH1 0x20
00000bb9: ADD
00000bba: SWAP2
00000bbb: PUSH2 0x0602
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: DUP3
00000bc1: ADD
00000bc2: SWAP2
00000bc3: SWAP1
00000bc4: PUSH1 0x00
00000bc6: MSTORE
00000bc7: PUSH1 0x20
00000bc9: PUSH1 0x00
00000bcb: KECCAK256
00000bcc: SWAP1
00000bcd: JUMPDEST
00000bce: DUP2
00000bcf: SLOAD
00000bd0: DUP2
00000bd1: MSTORE
00000bd2: SWAP1
00000bd3: PUSH1 0x01
00000bd5: ADD
00000bd6: SWAP1
00000bd7: PUSH1 0x20
00000bd9: ADD
00000bda: DUP1
00000bdb: DUP4
00000bdc: GT
00000bdd: PUSH2 0x05e5
00000be0: JUMPI
00000be1: DUP3
00000be2: SWAP1
00000be3: SUB
00000be4: PUSH1 0x1f
00000be6: AND
00000be7: DUP3
00000be8: ADD
00000be9: SWAP2
00000bea: JUMPDEST
00000beb: POP
00000bec: POP
00000bed: POP
00000bee: POP
00000bef: POP
00000bf0: SWAP1
00000bf1: POP
00000bf2: JUMPDEST
00000bf3: SWAP1
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: PUSH1 0x00
00000bf8: PUSH2 0x0c02
00000bfb: CALLER
00000bfc: DUP5
00000bfd: DUP5
00000bfe: PUSH2 0x0f92
00000c01: JUMP
00000c02: JUMPDEST
00000c03: POP
00000c04: PUSH1 0x01
00000c06: JUMPDEST
00000c07: SWAP3
00000c08: SWAP2
00000c09: POP
00000c0a: POP
00000c0b: JUMP
00000c0c: JUMPDEST
00000c0d: PUSH1 0x00
00000c0f: PUSH2 0x0c19
00000c12: CALLER
00000c13: DUP6
00000c14: DUP6
00000c15: PUSH2 0x0f92
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: PUSH2 0x0c22
00000c1d: DUP5
00000c1e: PUSH2 0x1056
00000c21: JUMP
00000c22: JUMPDEST
00000c23: ISZERO
00000c24: PUSH2 0x0d09
00000c27: JUMPI
00000c28: DUP4
00000c29: PUSH1 0x01
00000c2b: PUSH1 0xa0
00000c2d: PUSH1 0x02
00000c2f: EXP
00000c30: SUB
00000c31: AND
00000c32: PUSH4 0xa4c0ed36
00000c37: CALLER
00000c38: DUP6
00000c39: DUP6
00000c3a: PUSH1 0x40
00000c3c: MLOAD
00000c3d: DUP5
00000c3e: PUSH4 0xffffffff
00000c43: AND
00000c44: PUSH1 0xe0
00000c46: PUSH1 0x02
00000c48: EXP
00000c49: MUL
00000c4a: DUP2
00000c4b: MSTORE
00000c4c: PUSH1 0x04
00000c4e: ADD
00000c4f: DUP1
00000c50: DUP5
00000c51: PUSH1 0x01
00000c53: PUSH1 0xa0
00000c55: PUSH1 0x02
00000c57: EXP
00000c58: SUB
00000c59: AND
00000c5a: PUSH1 0x01
00000c5c: PUSH1 0xa0
00000c5e: PUSH1 0x02
00000c60: EXP
00000c61: SUB
00000c62: AND
00000c63: DUP2
00000c64: MSTORE
00000c65: PUSH1 0x20
00000c67: ADD
00000c68: DUP4
00000c69: DUP2
00000c6a: MSTORE
00000c6b: PUSH1 0x20
00000c6d: ADD
00000c6e: DUP1
00000c6f: PUSH1 0x20
00000c71: ADD
00000c72: DUP3
00000c73: DUP2
00000c74: SUB
00000c75: DUP3
00000c76: MSTORE
00000c77: DUP4
00000c78: DUP2
00000c79: DUP2
00000c7a: MLOAD
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: ADD
00000c80: SWAP2
00000c81: POP
00000c82: DUP1
00000c83: MLOAD
00000c84: SWAP1
00000c85: PUSH1 0x20
00000c87: ADD
00000c88: SWAP1
00000c89: DUP1
00000c8a: DUP4
00000c8b: DUP4
00000c8c: PUSH1 0x00
00000c8e: JUMPDEST
00000c8f: DUP4
00000c90: DUP2
00000c91: LT
00000c92: ISZERO
00000c93: PUSH2 0x0ca7
00000c96: JUMPI
00000c97: DUP1
00000c98: DUP3
00000c99: ADD
00000c9a: MLOAD
00000c9b: DUP2
00000c9c: DUP5
00000c9d: ADD
00000c9e: MSTORE
00000c9f: JUMPDEST
00000ca0: PUSH1 0x20
00000ca2: ADD
00000ca3: PUSH2 0x0c8e
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: POP
00000ca9: POP
00000caa: POP
00000cab: POP
00000cac: SWAP1
00000cad: POP
00000cae: SWAP1
00000caf: DUP2
00000cb0: ADD
00000cb1: SWAP1
00000cb2: PUSH1 0x1f
00000cb4: AND
00000cb5: DUP1
00000cb6: ISZERO
00000cb7: PUSH2 0x0cd4
00000cba: JUMPI
00000cbb: DUP1
00000cbc: DUP3
00000cbd: SUB
00000cbe: DUP1
00000cbf: MLOAD
00000cc0: PUSH1 0x01
00000cc2: DUP4
00000cc3: PUSH1 0x20
00000cc5: SUB
00000cc6: PUSH2 0x0100
00000cc9: EXP
00000cca: SUB
00000ccb: NOT
00000ccc: AND
00000ccd: DUP2
00000cce: MSTORE
00000ccf: PUSH1 0x20
00000cd1: ADD
00000cd2: SWAP2
00000cd3: POP
00000cd4: JUMPDEST
00000cd5: POP
00000cd6: SWAP5
00000cd7: POP
00000cd8: POP
00000cd9: POP
00000cda: POP
00000cdb: POP
00000cdc: PUSH1 0x00
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: DUP1
00000ce2: DUP4
00000ce3: SUB
00000ce4: DUP2
00000ce5: PUSH1 0x00
00000ce7: DUP8
00000ce8: DUP1
00000ce9: EXTCODESIZE
00000cea: ISZERO
00000ceb: ISZERO
00000cec: PUSH2 0x0cf4
00000cef: JUMPI
00000cf0: PUSH1 0x00
00000cf2: DUP1
00000cf3: REVERT
00000cf4: JUMPDEST
00000cf5: PUSH2 0x02c6
00000cf8: GAS
00000cf9: SUB
00000cfa: CALL
00000cfb: ISZERO
00000cfc: ISZERO
00000cfd: PUSH2 0x0d05
00000d00: JUMPI
00000d01: PUSH1 0x00
00000d03: DUP1
00000d04: REVERT
00000d05: JUMPDEST
00000d06: POP
00000d07: POP
00000d08: POP
00000d09: JUMPDEST
00000d0a: POP
00000d0b: PUSH1 0x01
00000d0d: JUMPDEST
00000d0e: SWAP4
00000d0f: SWAP3
00000d10: POP
00000d11: POP
00000d12: POP
00000d13: JUMP
00000d14: JUMPDEST
00000d15: PUSH1 0x00
00000d17: DUP1
00000d18: PUSH2 0x0d21
00000d1b: DUP6
00000d1c: DUP6
00000d1d: PUSH2 0x060d
00000d20: JUMP
00000d21: JUMPDEST
00000d22: ISZERO
00000d23: ISZERO
00000d24: PUSH2 0x0d2c
00000d27: JUMPI
00000d28: PUSH1 0x00
00000d2a: DUP1
00000d2b: REVERT
00000d2c: JUMPDEST
00000d2d: DUP5
00000d2e: PUSH1 0x01
00000d30: PUSH1 0xa0
00000d32: PUSH1 0x02
00000d34: EXP
00000d35: SUB
00000d36: AND
00000d37: PUSH4 0x8f4ffcb1
00000d3c: CALLER
00000d3d: DUP7
00000d3e: ADDRESS
00000d3f: DUP8
00000d40: PUSH1 0x00
00000d42: PUSH1 0x40
00000d44: MLOAD
00000d45: PUSH1 0x20
00000d47: ADD
00000d48: MSTORE
00000d49: PUSH1 0x40
00000d4b: MLOAD
00000d4c: DUP6
00000d4d: PUSH4 0xffffffff
00000d52: AND
00000d53: PUSH1 0xe0
00000d55: PUSH1 0x02
00000d57: EXP
00000d58: MUL
00000d59: DUP2
00000d5a: MSTORE
00000d5b: PUSH1 0x04
00000d5d: ADD
00000d5e: DUP1
00000d5f: DUP6
00000d60: PUSH1 0x01
00000d62: PUSH1 0xa0
00000d64: PUSH1 0x02
00000d66: EXP
00000d67: SUB
00000d68: AND
00000d69: PUSH1 0x01
00000d6b: PUSH1 0xa0
00000d6d: PUSH1 0x02
00000d6f: EXP
00000d70: SUB
00000d71: AND
00000d72: DUP2
00000d73: MSTORE
00000d74: PUSH1 0x20
00000d76: ADD
00000d77: DUP5
00000d78: DUP2
00000d79: MSTORE
00000d7a: PUSH1 0x20
00000d7c: ADD
00000d7d: DUP4
00000d7e: PUSH1 0x01
00000d80: PUSH1 0xa0
00000d82: PUSH1 0x02
00000d84: EXP
00000d85: SUB
00000d86: AND
00000d87: PUSH1 0x01
00000d89: PUSH1 0xa0
00000d8b: PUSH1 0x02
00000d8d: EXP
00000d8e: SUB
00000d8f: AND
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x20
00000d94: ADD
00000d95: DUP1
00000d96: PUSH1 0x20
00000d98: ADD
00000d99: DUP3
00000d9a: DUP2
00000d9b: SUB
00000d9c: DUP3
00000d9d: MSTORE
00000d9e: DUP4
00000d9f: DUP2
00000da0: DUP2
00000da1: MLOAD
00000da2: DUP2
00000da3: MSTORE
00000da4: PUSH1 0x20
00000da6: ADD
00000da7: SWAP2
00000da8: POP
00000da9: DUP1
00000daa: MLOAD
00000dab: SWAP1
00000dac: PUSH1 0x20
00000dae: ADD
00000daf: SWAP1
00000db0: DUP1
00000db1: DUP4
00000db2: DUP4
00000db3: PUSH1 0x00
00000db5: JUMPDEST
00000db6: DUP4
00000db7: DUP2
00000db8: LT
00000db9: ISZERO
00000dba: PUSH2 0x0dce
00000dbd: JUMPI
00000dbe: DUP1
00000dbf: DUP3
00000dc0: ADD
00000dc1: MLOAD
00000dc2: DUP2
00000dc3: DUP5
00000dc4: ADD
00000dc5: MSTORE
00000dc6: JUMPDEST
00000dc7: PUSH1 0x20
00000dc9: ADD
00000dca: PUSH2 0x0db5
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: POP
00000dd0: POP
00000dd1: POP
00000dd2: POP
00000dd3: SWAP1
00000dd4: POP
00000dd5: SWAP1
00000dd6: DUP2
00000dd7: ADD
00000dd8: SWAP1
00000dd9: PUSH1 0x1f
00000ddb: AND
00000ddc: DUP1
00000ddd: ISZERO
00000dde: PUSH2 0x0dfb
00000de1: JUMPI
00000de2: DUP1
00000de3: DUP3
00000de4: SUB
00000de5: DUP1
00000de6: MLOAD
00000de7: PUSH1 0x01
00000de9: DUP4
00000dea: PUSH1 0x20
00000dec: SUB
00000ded: PUSH2 0x0100
00000df0: EXP
00000df1: SUB
00000df2: NOT
00000df3: AND
00000df4: DUP2
00000df5: MSTORE
00000df6: PUSH1 0x20
00000df8: ADD
00000df9: SWAP2
00000dfa: POP
00000dfb: JUMPDEST
00000dfc: POP
00000dfd: SWAP6
00000dfe: POP
00000dff: POP
00000e00: POP
00000e01: POP
00000e02: POP
00000e03: POP
00000e04: PUSH1 0x20
00000e06: PUSH1 0x40
00000e08: MLOAD
00000e09: DUP1
00000e0a: DUP4
00000e0b: SUB
00000e0c: DUP2
00000e0d: PUSH1 0x00
00000e0f: DUP8
00000e10: DUP1
00000e11: EXTCODESIZE
00000e12: ISZERO
00000e13: ISZERO
00000e14: PUSH2 0x0e1c
00000e17: JUMPI
00000e18: PUSH1 0x00
00000e1a: DUP1
00000e1b: REVERT
00000e1c: JUMPDEST
00000e1d: PUSH2 0x02c6
00000e20: GAS
00000e21: SUB
00000e22: CALL
00000e23: ISZERO
00000e24: ISZERO
00000e25: PUSH2 0x0e2d
00000e28: JUMPI
00000e29: PUSH1 0x00
00000e2b: DUP1
00000e2c: REVERT
00000e2d: JUMPDEST
00000e2e: POP
00000e2f: POP
00000e30: POP
00000e31: PUSH1 0x40
00000e33: MLOAD
00000e34: DUP1
00000e35: MLOAD
00000e36: SWAP2
00000e37: POP
00000e38: POP
00000e39: DUP1
00000e3a: ISZERO
00000e3b: ISZERO
00000e3c: PUSH2 0x0720
00000e3f: JUMPI
00000e40: PUSH1 0x00
00000e42: DUP1
00000e43: REVERT
00000e44: JUMPDEST
00000e45: PUSH1 0x01
00000e47: SWAP2
00000e48: POP
00000e49: JUMPDEST
00000e4a: POP
00000e4b: SWAP4
00000e4c: SWAP3
00000e4d: POP
00000e4e: POP
00000e4f: POP
00000e50: JUMP
00000e51: JUMPDEST
00000e52: PUSH1 0x01
00000e54: PUSH1 0xa0
00000e56: PUSH1 0x02
00000e58: EXP
00000e59: SUB
00000e5a: CALLER
00000e5b: AND
00000e5c: PUSH1 0x00
00000e5e: SWAP1
00000e5f: DUP2
00000e60: MSTORE
00000e61: PUSH1 0x20
00000e63: DUP2
00000e64: SWAP1
00000e65: MSTORE
00000e66: PUSH1 0x40
00000e68: SWAP1
00000e69: KECCAK256
00000e6a: SLOAD
00000e6b: PUSH2 0x0e74
00000e6e: SWAP1
00000e6f: CALLVALUE
00000e70: PUSH2 0x1065
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH1 0x01
00000e77: PUSH1 0xa0
00000e79: PUSH1 0x02
00000e7b: EXP
00000e7c: SUB
00000e7d: CALLER
00000e7e: AND
00000e7f: PUSH1 0x00
00000e81: SWAP1
00000e82: DUP2
00000e83: MSTORE
00000e84: PUSH1 0x20
00000e86: DUP2
00000e87: SWAP1
00000e88: MSTORE
00000e89: PUSH1 0x40
00000e8b: SWAP1
00000e8c: KECCAK256
00000e8d: SSTORE
00000e8e: PUSH1 0x01
00000e90: SLOAD
00000e91: PUSH2 0x0e9a
00000e94: SWAP1
00000e95: CALLVALUE
00000e96: PUSH2 0x1065
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: PUSH1 0x01
00000e9d: SSTORE
00000e9e: PUSH1 0x01
00000ea0: PUSH1 0xa0
00000ea2: PUSH1 0x02
00000ea4: EXP
00000ea5: SUB
00000ea6: CALLER
00000ea7: AND
00000ea8: PUSH32 0x1b851e1031ef35a238e6c67d0c7991162390df915f70eaf9098dbf0b175a6198
00000ec9: CALLVALUE
00000eca: PUSH1 0x40
00000ecc: MLOAD
00000ecd: SWAP1
00000ece: DUP2
00000ecf: MSTORE
00000ed0: PUSH1 0x20
00000ed2: ADD
00000ed3: PUSH1 0x40
00000ed5: MLOAD
00000ed6: DUP1
00000ed7: SWAP2
00000ed8: SUB
00000ed9: SWAP1
00000eda: LOG2
00000edb: PUSH1 0x01
00000edd: PUSH1 0xa0
00000edf: PUSH1 0x02
00000ee1: EXP
00000ee2: SUB
00000ee3: CALLER
00000ee4: AND
00000ee5: PUSH1 0x00
00000ee7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000f08: CALLVALUE
00000f09: PUSH1 0x40
00000f0b: MLOAD
00000f0c: SWAP1
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: PUSH1 0x20
00000f11: ADD
00000f12: PUSH1 0x40
00000f14: MLOAD
00000f15: DUP1
00000f16: SWAP2
00000f17: SUB
00000f18: SWAP1
00000f19: LOG3
00000f1a: JUMPDEST
00000f1b: JUMP
00000f1c: JUMPDEST
00000f1d: PUSH1 0x01
00000f1f: PUSH1 0xa0
00000f21: PUSH1 0x02
00000f23: EXP
00000f24: SUB
00000f25: DUP1
00000f26: DUP4
00000f27: AND
00000f28: PUSH1 0x00
00000f2a: SWAP1
00000f2b: DUP2
00000f2c: MSTORE
00000f2d: PUSH1 0x03
00000f2f: PUSH1 0x20
00000f31: SWAP1
00000f32: DUP2
00000f33: MSTORE
00000f34: PUSH1 0x40
00000f36: DUP1
00000f37: DUP4
00000f38: KECCAK256
00000f39: SWAP4
00000f3a: DUP6
00000f3b: AND
00000f3c: DUP4
00000f3d: MSTORE
00000f3e: SWAP3
00000f3f: SWAP1
00000f40: MSTORE
00000f41: KECCAK256
00000f42: SLOAD
00000f43: JUMPDEST
00000f44: SWAP3
00000f45: SWAP2
00000f46: POP
00000f47: POP
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH1 0x02
00000f4c: SLOAD
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0xa0
00000f51: PUSH1 0x02
00000f53: EXP
00000f54: SUB
00000f55: AND
00000f56: JUMPDEST
00000f57: SWAP1
00000f58: JUMP
00000f59: JUMPDEST
00000f5a: PUSH1 0x01
00000f5c: PUSH1 0xa0
00000f5e: PUSH1 0x02
00000f60: EXP
00000f61: SUB
00000f62: DUP2
00000f63: AND
00000f64: ISZERO
00000f65: ISZERO
00000f66: PUSH2 0x0f6e
00000f69: JUMPI
00000f6a: PUSH1 0x00
00000f6c: DUP1
00000f6d: REVERT
00000f6e: JUMPDEST
00000f6f: PUSH2 0x084d
00000f72: DUP2
00000f73: PUSH2 0x107f
00000f76: JUMP
00000f77: JUMPDEST
00000f78: JUMPDEST
00000f79: POP
00000f7a: JUMP
00000f7b: JUMPDEST
00000f7c: PUSH1 0x00
00000f7e: DUP3
00000f7f: DUP3
00000f80: GT
00000f81: ISZERO
00000f82: PUSH2 0x0f87
00000f85: JUMPI
00000f86: INVALID
00000f87: JUMPDEST
00000f88: POP
00000f89: DUP1
00000f8a: DUP3
00000f8b: SUB
00000f8c: JUMPDEST
00000f8d: SWAP3
00000f8e: SWAP2
00000f8f: POP
00000f90: POP
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH1 0x01
00000f95: PUSH1 0xa0
00000f97: PUSH1 0x02
00000f99: EXP
00000f9a: SUB
00000f9b: DUP3
00000f9c: AND
00000f9d: ISZERO
00000f9e: ISZERO
00000f9f: PUSH2 0x0fa7
00000fa2: JUMPI
00000fa3: PUSH1 0x00
00000fa5: DUP1
00000fa6: REVERT
00000fa7: JUMPDEST
00000fa8: PUSH1 0x01
00000faa: PUSH1 0xa0
00000fac: PUSH1 0x02
00000fae: EXP
00000faf: SUB
00000fb0: DUP4
00000fb1: AND
00000fb2: PUSH1 0x00
00000fb4: SWAP1
00000fb5: DUP2
00000fb6: MSTORE
00000fb7: PUSH1 0x20
00000fb9: DUP2
00000fba: SWAP1
00000fbb: MSTORE
00000fbc: PUSH1 0x40
00000fbe: SWAP1
00000fbf: KECCAK256
00000fc0: SLOAD
00000fc1: PUSH2 0x0fca
00000fc4: SWAP1
00000fc5: DUP3
00000fc6: PUSH2 0x0f7b
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: PUSH1 0x01
00000fcd: PUSH1 0xa0
00000fcf: PUSH1 0x02
00000fd1: EXP
00000fd2: SUB
00000fd3: DUP1
00000fd4: DUP6
00000fd5: AND
00000fd6: PUSH1 0x00
00000fd8: SWAP1
00000fd9: DUP2
00000fda: MSTORE
00000fdb: PUSH1 0x20
00000fdd: DUP2
00000fde: SWAP1
00000fdf: MSTORE
00000fe0: PUSH1 0x40
00000fe2: DUP1
00000fe3: DUP3
00000fe4: KECCAK256
00000fe5: SWAP4
00000fe6: SWAP1
00000fe7: SWAP4
00000fe8: SSTORE
00000fe9: SWAP1
00000fea: DUP5
00000feb: AND
00000fec: DUP2
00000fed: MSTORE
00000fee: KECCAK256
00000fef: SLOAD
00000ff0: PUSH2 0x0ff9
00000ff3: SWAP1
00000ff4: DUP3
00000ff5: PUSH2 0x1065
00000ff8: JUMP
00000ff9: JUMPDEST
00000ffa: PUSH1 0x01
00000ffc: PUSH1 0xa0
00000ffe: PUSH1 0x02
00001000: EXP
00001001: SUB
00001002: DUP1
00001003: DUP5
00001004: AND
00001005: PUSH1 0x00
00001007: DUP2
00001008: DUP2
00001009: MSTORE
0000100a: PUSH1 0x20
0000100c: DUP2
0000100d: SWAP1
0000100e: MSTORE
0000100f: PUSH1 0x40
00001011: SWAP1
00001012: DUP2
00001013: SWAP1
00001014: KECCAK256
00001015: SWAP4
00001016: SWAP1
00001017: SWAP4
00001018: SSTORE
00001019: SWAP2
0000101a: SWAP1
0000101b: DUP6
0000101c: AND
0000101d: SWAP1
0000101e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000103f: SWAP1
00001040: DUP5
00001041: SWAP1
00001042: MLOAD
00001043: SWAP1
00001044: DUP2
00001045: MSTORE
00001046: PUSH1 0x20
00001048: ADD
00001049: PUSH1 0x40
0000104b: MLOAD
0000104c: DUP1
0000104d: SWAP2
0000104e: SUB
0000104f: SWAP1
00001050: LOG3
00001051: JUMPDEST
00001052: POP
00001053: POP
00001054: POP
00001055: JUMP
00001056: JUMPDEST
00001057: PUSH1 0x00
00001059: DUP2
0000105a: EXTCODESIZE
0000105b: SWAP1
0000105c: DUP2
0000105d: GT
0000105e: SWAP1
0000105f: JUMPDEST
00001060: POP
00001061: SWAP2
00001062: SWAP1
00001063: POP
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH1 0x00
00001068: DUP3
00001069: DUP3
0000106a: ADD
0000106b: DUP4
0000106c: DUP2
0000106d: LT
0000106e: ISZERO
0000106f: PUSH2 0x1074
00001072: JUMPI
00001073: INVALID
00001074: JUMPDEST
00001075: DUP1
00001076: SWAP2
00001077: POP
00001078: JUMPDEST
00001079: POP
0000107a: SWAP3
0000107b: SWAP2
0000107c: POP
0000107d: POP
0000107e: JUMP
0000107f: JUMPDEST
00001080: PUSH1 0x02
00001082: SLOAD
00001083: PUSH1 0x00
00001085: SWAP1
00001086: DUP2
00001087: SWAP1
00001088: PUSH32 0x0542bbd0c672578966dcc525b30aa16723bb042675554ac5b0362f86b6e97dc5
000010a9: SWAP1
000010aa: PUSH1 0x01
000010ac: PUSH1 0xa0
000010ae: PUSH1 0x02
000010b0: EXP
000010b1: SUB
000010b2: AND
000010b3: PUSH4 0x9085b77f
000010b8: CALLER
000010b9: DUP4
000010ba: ADDRESS
000010bb: PUSH1 0x01
000010bd: PUSH1 0xe0
000010bf: PUSH1 0x02
000010c1: EXP
000010c2: SUB
000010c3: NOT
000010c4: DUP8
000010c5: CALLDATALOAD
000010c6: AND
000010c7: DUP8
000010c8: PUSH1 0x40
000010ca: MLOAD
000010cb: PUSH1 0x20
000010cd: ADD
000010ce: MSTORE
000010cf: PUSH1 0x40
000010d1: MLOAD
000010d2: PUSH1 0xe0
000010d4: PUSH1 0x02
000010d6: EXP
000010d7: PUSH4 0xffffffff
000010dc: DUP8
000010dd: AND
000010de: MUL
000010df: DUP2
000010e0: MSTORE
000010e1: PUSH1 0x01
000010e3: PUSH1 0xa0
000010e5: PUSH1 0x02
000010e7: EXP
000010e8: SUB
000010e9: SWAP5
000010ea: DUP6
000010eb: AND
000010ec: PUSH1 0x04
000010ee: DUP3
000010ef: ADD
000010f0: MSTORE
000010f1: PUSH1 0x24
000010f3: DUP2
000010f4: ADD
000010f5: SWAP4
000010f6: SWAP1
000010f7: SWAP4
000010f8: MSTORE
000010f9: SWAP3
000010fa: AND
000010fb: PUSH1 0x44
000010fd: DUP3
000010fe: ADD
000010ff: MSTORE
00001100: PUSH1 0x01
00001102: PUSH1 0xe0
00001104: PUSH1 0x02
00001106: EXP
00001107: SUB
00001108: NOT
00001109: SWAP1
0000110a: SWAP2
0000110b: AND
0000110c: PUSH1 0x64
0000110e: DUP3
0000110f: ADD
00001110: MSTORE
00001111: PUSH1 0x84
00001113: ADD
00001114: PUSH1 0x20
00001116: PUSH1 0x40
00001118: MLOAD
00001119: DUP1
0000111a: DUP4
0000111b: SUB
0000111c: DUP2
0000111d: PUSH1 0x00
0000111f: DUP8
00001120: DUP1
00001121: EXTCODESIZE
00001122: ISZERO
00001123: ISZERO
00001124: PUSH2 0x112c
00001127: JUMPI
00001128: PUSH1 0x00
0000112a: DUP1
0000112b: REVERT
0000112c: JUMPDEST
0000112d: PUSH2 0x02c6
00001130: GAS
00001131: SUB
00001132: CALL
00001133: ISZERO
00001134: ISZERO
00001135: PUSH2 0x113d
00001138: JUMPI
00001139: PUSH1 0x00
0000113b: DUP1
0000113c: REVERT
0000113d: JUMPDEST
0000113e: POP
0000113f: POP
00001140: POP
00001141: PUSH1 0x40
00001143: MLOAD
00001144: DUP1
00001145: MLOAD
00001146: SWAP1
00001147: POP
00001148: ISZERO
00001149: ISZERO
0000114a: PUSH2 0x1152
0000114d: JUMPI
0000114e: PUSH1 0x00
00001150: DUP1
00001151: REVERT
00001152: JUMPDEST
00001153: CALLER
00001154: SWAP3
00001155: POP
00001156: PUSH1 0x01
00001158: PUSH1 0xa0
0000115a: PUSH1 0x02
0000115c: EXP
0000115d: SUB
0000115e: DUP5
0000115f: AND
00001160: ISZERO
00001161: ISZERO
00001162: PUSH2 0x11a7
00001165: JUMPI
00001166: DUP3
00001167: PUSH1 0x01
00001169: PUSH1 0xa0
0000116b: PUSH1 0x02
0000116d: EXP
0000116e: SUB
0000116f: AND
00001170: PUSH2 0x08fc
00001173: ADDRESS
00001174: PUSH1 0x01
00001176: PUSH1 0xa0
00001178: PUSH1 0x02
0000117a: EXP
0000117b: SUB
0000117c: AND
0000117d: BALANCE
0000117e: SWAP1
0000117f: DUP2
00001180: ISZERO
00001181: MUL
00001182: SWAP1
00001183: PUSH1 0x40
00001185: MLOAD
00001186: PUSH1 0x00
00001188: PUSH1 0x40
0000118a: MLOAD
0000118b: DUP1
0000118c: DUP4
0000118d: SUB
0000118e: DUP2
0000118f: DUP6
00001190: DUP9
00001191: DUP9
00001192: CALL
00001193: SWAP4
00001194: POP
00001195: POP
00001196: POP
00001197: POP
00001198: ISZERO
00001199: ISZERO
0000119a: PUSH2 0x11a2
0000119d: JUMPI
0000119e: PUSH1 0x00
000011a0: DUP1
000011a1: REVERT
000011a2: JUMPDEST
000011a3: PUSH2 0x0b26
000011a6: JUMP
000011a7: JUMPDEST
000011a8: DUP4
000011a9: PUSH1 0x01
000011ab: PUSH1 0xa0
000011ad: PUSH1 0x02
000011af: EXP
000011b0: SUB
000011b1: AND
000011b2: PUSH4 0x70a08231
000011b7: ADDRESS
000011b8: PUSH1 0x00
000011ba: PUSH1 0x40
000011bc: MLOAD
000011bd: PUSH1 0x20
000011bf: ADD
000011c0: MSTORE
000011c1: PUSH1 0x40
000011c3: MLOAD
000011c4: PUSH1 0xe0
000011c6: PUSH1 0x02
000011c8: EXP
000011c9: PUSH4 0xffffffff
000011ce: DUP5
000011cf: AND
000011d0: MUL
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x01
000011d5: PUSH1 0xa0
000011d7: PUSH1 0x02
000011d9: EXP
000011da: SUB
000011db: SWAP1
000011dc: SWAP2
000011dd: AND
000011de: PUSH1 0x04
000011e0: DUP3
000011e1: ADD
000011e2: MSTORE
000011e3: PUSH1 0x24
000011e5: ADD
000011e6: PUSH1 0x20
000011e8: PUSH1 0x40
000011ea: MLOAD
000011eb: DUP1
000011ec: DUP4
000011ed: SUB
000011ee: DUP2
000011ef: PUSH1 0x00
000011f1: DUP8
000011f2: DUP1
000011f3: EXTCODESIZE
000011f4: ISZERO
000011f5: ISZERO
000011f6: PUSH2 0x11fe
000011f9: JUMPI
000011fa: PUSH1 0x00
000011fc: DUP1
000011fd: REVERT
000011fe: JUMPDEST
000011ff: PUSH2 0x02c6
00001202: GAS
00001203: SUB
00001204: CALL
00001205: ISZERO
00001206: ISZERO
00001207: PUSH2 0x120f
0000120a: JUMPI
0000120b: PUSH1 0x00
0000120d: DUP1
0000120e: REVERT
0000120f: JUMPDEST
00001210: POP
00001211: POP
00001212: POP
00001213: PUSH1 0x40
00001215: MLOAD
00001216: DUP1
00001217: MLOAD
00001218: SWAP3
00001219: POP
0000121a: POP
0000121b: PUSH1 0x01
0000121d: PUSH1 0xa0
0000121f: PUSH1 0x02
00001221: EXP
00001222: SUB
00001223: DUP5
00001224: AND
00001225: PUSH4 0xa9059cbb
0000122a: DUP5
0000122b: DUP5
0000122c: PUSH1 0x00
0000122e: PUSH1 0x40
00001230: MLOAD
00001231: PUSH1 0x20
00001233: ADD
00001234: MSTORE
00001235: PUSH1 0x40
00001237: MLOAD
00001238: PUSH1 0xe0
0000123a: PUSH1 0x02
0000123c: EXP
0000123d: PUSH4 0xffffffff
00001242: DUP6
00001243: AND
00001244: MUL
00001245: DUP2
00001246: MSTORE
00001247: PUSH1 0x01
00001249: PUSH1 0xa0
0000124b: PUSH1 0x02
0000124d: EXP
0000124e: SUB
0000124f: SWAP1
00001250: SWAP3
00001251: AND
00001252: PUSH1 0x04
00001254: DUP4
00001255: ADD
00001256: MSTORE
00001257: PUSH1 0x24
00001259: DUP3
0000125a: ADD
0000125b: MSTORE
0000125c: PUSH1 0x44
0000125e: ADD
0000125f: PUSH1 0x20
00001261: PUSH1 0x40
00001263: MLOAD
00001264: DUP1
00001265: DUP4
00001266: SUB
00001267: DUP2
00001268: PUSH1 0x00
0000126a: DUP8
0000126b: DUP1
0000126c: EXTCODESIZE
0000126d: ISZERO
0000126e: ISZERO
0000126f: PUSH2 0x1277
00001272: JUMPI
00001273: PUSH1 0x00
00001275: DUP1
00001276: REVERT
00001277: JUMPDEST
00001278: PUSH2 0x02c6
0000127b: GAS
0000127c: SUB
0000127d: CALL
0000127e: ISZERO
0000127f: ISZERO
00001280: PUSH2 0x1288
00001283: JUMPI
00001284: PUSH1 0x00
00001286: DUP1
00001287: REVERT
00001288: JUMPDEST
00001289: POP
0000128a: POP
0000128b: POP
0000128c: PUSH1 0x40
0000128e: MLOAD
0000128f: DUP1
00001290: MLOAD
00001291: SWAP1
00001292: POP
00001293: ISZERO
00001294: ISZERO
00001295: PUSH2 0x0b26
00001298: JUMPI
00001299: PUSH1 0x00
0000129b: DUP1
0000129c: REVERT
0000129d: JUMPDEST
0000129e: JUMPDEST
0000129f: JUMPDEST
000012a0: JUMPDEST
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: POP
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x20
000012a9: PUSH1 0x40
000012ab: MLOAD
000012ac: SWAP1
000012ad: DUP2
000012ae: ADD
000012af: PUSH1 0x40
000012b1: MSTORE
000012b2: PUSH1 0x00
000012b4: DUP2
000012b5: MSTORE
000012b6: SWAP1
000012b7: JUMP
000012b8: STOP
000012b9: LOG1
000012ba: PUSH6 0x627a7a723058
000012c1: KECCAK256
000012c2: DUP1
000012c3: PUSH26 0x1d1f9dc3b49e0568657b190fb23268e5977ad0754e8763006599
000012de: UNKNOWN(0xB2)
000012df: DIFFICULTY
000012e0: ORIGIN
000012e1: PUSH16
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no —
view
validation_json 
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
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": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x57875631",
            "selector": "0x57875631",
            "calldata_variants": [
                "0x57875631",
                "0x578756310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 4832,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x3b45514751b44756b99ee6a8227c09df7a08ef5e5d720303bb47953d2787d479
call_targets: 0xb59a226a2b8a2f2b0512baa35cc348b6b213b671
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3b45514751b44756b99ee6a8227c09df7a08ef5e5d720303bb47953d2787d479",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb59a226a2b8a2f2b0512baa35cc348b6b213b671"
    ],
    "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": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x57875631",
            "selector": "0x57875631",
            "calldata_variants": [
                "0x57875631",
                "0x578756310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1984,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2484,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2691,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [
        {
            "pc": 4832,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 9
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x3b45514751b44756b99ee6a8227c09df7a08ef5e5d720303bb47953d2787d479
call_targets: 0xb59a226a2b8a2f2b0512baa35cc348b6b213b671
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3b45514751b44756b99ee6a8227c09df7a08ef5e5d720303bb47953d2787d479",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb59a226a2b8a2f2b0512baa35cc348b6b213b671"
    ],
    "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": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x57875631",
            "selector": "0x57875631",
            "calldata_variants": [
                "0x57875631",
                "0x578756310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1984,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2484,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2691,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": [
        {
            "pc": 4832,
            "type": "tx_origin_used"
        }
    ]
}