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

Analysis Run

019b3836-4c33-73a0-8ae8-16d3895f5529

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:04 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?

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
7019 artifact.fetch complete 1 / 3 4 months ago
7020 tool.cast_disasm complete 1 / 3 4 months ago
50668 analysis.bundle complete 1 / 3 2 weeks ago
50669 capability.graph complete 1 / 3 2 weeks ago
50670 detector.run complete 1 / 3 2 weeks ago
50671 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
1
CREATE2
0
CALL-family (heavy)
10
EXT*/BALANCE
0
Total opcodes
3344
Flags
selfdestruct_present
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00e5
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x173825d9
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x026d
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x2f54bf6e
00000025: EQ
00000026: PUSH2 0x02c1
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x4123cb6b
00000030: EQ
00000031: PUSH2 0x02e9
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x458e8a0a
0000003b: EQ
0000003c: PUSH2 0x02f2
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x5c52c2f5
00000046: EQ
00000047: PUSH2 0x02fc
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x632a9a52
00000051: EQ
00000052: PUSH2 0x0326
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x7065cb48
0000005c: EQ
0000005d: PUSH2 0x039c
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x746c9171
00000067: EQ
00000068: PUSH2 0x03c9
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x797af627
00000072: EQ
00000073: PUSH2 0x03d2
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xb20d30a9
0000007d: EQ
0000007e: PUSH2 0x03e5
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xb61d27f6
00000088: EQ
00000089: PUSH2 0x0412
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xb75c7dc6
00000093: EQ
00000094: PUSH2 0x0433
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xba51a6df
0000009e: EQ
0000009f: PUSH2 0x0462
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xc2cf7326
000000a9: EQ
000000aa: PUSH2 0x048f
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xcadbb5af
000000b4: EQ
000000b5: PUSH2 0x04cd
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xcbf0b0c0
000000bf: EQ
000000c0: PUSH2 0x054b
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xdd287692
000000ca: EQ
000000cb: PUSH2 0x0578
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xf00d4b5d
000000d5: EQ
000000d6: PUSH2 0x058b
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xf1736d86
000000e0: EQ
000000e1: PUSH2 0x05bd
000000e4: JUMPI
000000e5: JUMPDEST
000000e6: PUSH2 0x0108
000000e9: SLOAD
000000ea: PUSH2 0x0109
000000ed: SLOAD
000000ee: PUSH2 0x05c7
000000f1: SWAP2
000000f2: PUSH1 0x01
000000f4: PUSH1 0xa0
000000f6: PUSH1 0x02
000000f8: EXP
000000f9: SUB
000000fa: AND
000000fb: SWAP1
000000fc: PUSH1 0x0a
000000fe: SWAP1
000000ff: GT
00000100: PUSH2 0x05c9
00000103: JUMPI
00000104: DUP1
00000105: PUSH1 0x01
00000107: PUSH1 0xa0
00000109: PUSH1 0x02
0000010b: EXP
0000010c: SUB
0000010d: AND
0000010e: PUSH4 0xa9059cbb
00000113: PUSH20 0xabeebb597cd3fec57b6ebd6220beed584b423059
00000128: DUP4
00000129: PUSH1 0x01
0000012b: PUSH1 0xa0
0000012d: PUSH1 0x02
0000012f: EXP
00000130: SUB
00000131: AND
00000132: PUSH4 0x70a08231
00000137: ADDRESS
00000138: PUSH1 0x40
0000013a: MLOAD
0000013b: DUP3
0000013c: PUSH1 0xe0
0000013e: PUSH1 0x02
00000140: EXP
00000141: MUL
00000142: DUP2
00000143: MSTORE
00000144: PUSH1 0x04
00000146: ADD
00000147: DUP1
00000148: DUP3
00000149: PUSH1 0x01
0000014b: PUSH1 0xa0
0000014d: PUSH1 0x02
0000014f: EXP
00000150: SUB
00000151: AND
00000152: DUP2
00000153: MSTORE
00000154: PUSH1 0x20
00000156: ADD
00000157: SWAP2
00000158: POP
00000159: POP
0000015a: PUSH1 0x20
0000015c: PUSH1 0x40
0000015e: MLOAD
0000015f: DUP1
00000160: DUP4
00000161: SUB
00000162: DUP2
00000163: PUSH1 0x00
00000165: DUP8
00000166: PUSH2 0x61da
00000169: GAS
0000016a: SUB
0000016b: CALL
0000016c: ISZERO
0000016d: PUSH2 0x0002
00000170: JUMPI
00000171: POP
00000172: POP
00000173: PUSH1 0x40
00000175: DUP1
00000176: MLOAD
00000177: DUP1
00000178: MLOAD
00000179: PUSH1 0xe0
0000017b: PUSH1 0x02
0000017d: EXP
0000017e: PUSH4 0xa9059cbb
00000183: MUL
00000184: DUP3
00000185: MSTORE
00000186: PUSH1 0x04
00000188: DUP3
00000189: ADD
0000018a: SWAP5
0000018b: SWAP1
0000018c: SWAP5
0000018d: MSTORE
0000018e: PUSH1 0x24
00000190: DUP2
00000191: ADD
00000192: SWAP4
00000193: SWAP1
00000194: SWAP4
00000195: MSTORE
00000196: MLOAD
00000197: PUSH1 0x44
00000199: DUP1
0000019a: DUP5
0000019b: ADD
0000019c: SWAP4
0000019d: PUSH1 0x20
0000019f: SWAP4
000001a0: POP
000001a1: DUP3
000001a2: SWAP1
000001a3: SUB
000001a4: ADD
000001a5: DUP2
000001a6: PUSH1 0x00
000001a8: DUP8
000001a9: PUSH2 0x61da
000001ac: GAS
000001ad: SUB
000001ae: CALL
000001af: ISZERO
000001b0: PUSH2 0x0002
000001b3: JUMPI
000001b4: POP
000001b5: POP
000001b6: PUSH1 0x40
000001b8: DUP1
000001b9: MLOAD
000001ba: PUSH1 0xe2
000001bc: PUSH1 0x02
000001be: EXP
000001bf: PUSH4 0x20998771
000001c4: MUL
000001c5: DUP2
000001c6: MSTORE
000001c7: PUSH1 0x5b
000001c9: PUSH1 0x04
000001cb: DUP3
000001cc: ADD
000001cd: MSTORE
000001ce: PUSH20 0x522b59b92a4566440ae3ef8e3426fbfaa2f37a9b
000001e3: PUSH1 0x24
000001e5: DUP3
000001e6: ADD
000001e7: MSTORE
000001e8: SWAP1
000001e9: MLOAD
000001ea: PUSH4 0x82661dc4
000001ef: SWAP2
000001f0: PUSH1 0x44
000001f2: DUP2
000001f3: DUP2
000001f4: ADD
000001f5: SWAP3
000001f6: PUSH1 0x20
000001f8: SWAP3
000001f9: SWAP1
000001fa: SWAP2
000001fb: SWAP1
000001fc: DUP3
000001fd: SWAP1
000001fe: SUB
000001ff: ADD
00000200: DUP2
00000201: PUSH1 0x00
00000203: DUP8
00000204: PUSH2 0x61da
00000207: GAS
00000208: SUB
00000209: CALL
0000020a: ISZERO
0000020b: PUSH2 0x0002
0000020e: JUMPI
0000020f: POP
00000210: POP
00000211: PUSH2 0x0109
00000214: DUP1
00000215: SLOAD
00000216: PUSH1 0x01
00000218: ADD
00000219: SWAP1
0000021a: SSTORE
0000021b: POP
0000021c: PUSH1 0x00
0000021e: CALLVALUE
0000021f: GT
00000220: ISZERO
00000221: PUSH2 0x0268
00000224: JUMPI
00000225: PUSH1 0x40
00000227: DUP1
00000228: MLOAD
00000229: CALLER
0000022a: PUSH1 0x01
0000022c: PUSH1 0xa0
0000022e: PUSH1 0x02
00000230: EXP
00000231: SUB
00000232: AND
00000233: DUP2
00000234: MSTORE
00000235: CALLVALUE
00000236: PUSH1 0x20
00000238: DUP3
00000239: ADD
0000023a: MSTORE
0000023b: DUP2
0000023c: MLOAD
0000023d: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
0000025e: SWAP3
0000025f: SWAP2
00000260: DUP2
00000261: SWAP1
00000262: SUB
00000263: SWAP1
00000264: SWAP2
00000265: ADD
00000266: SWAP1
00000267: LOG1
00000268: JUMPDEST
00000269: PUSH2 0x0689
0000026c: JUMP
0000026d: JUMPDEST
0000026e: PUSH2 0x05c7
00000271: PUSH1 0x04
00000273: CALLDATALOAD
00000274: PUSH1 0x00
00000276: PUSH1 0x00
00000278: CALLDATASIZE
00000279: PUSH1 0x40
0000027b: MLOAD
0000027c: DUP1
0000027d: DUP4
0000027e: DUP4
0000027f: DUP1
00000280: DUP3
00000281: DUP5
00000282: CALLDATACOPY
00000283: DUP3
00000284: ADD
00000285: SWAP2
00000286: POP
00000287: POP
00000288: SWAP3
00000289: POP
0000028a: POP
0000028b: POP
0000028c: PUSH1 0x40
0000028e: MLOAD
0000028f: DUP1
00000290: SWAP2
00000291: SUB
00000292: SWAP1
00000293: KECCAK256
00000294: PUSH2 0x099c
00000297: DUP2
00000298: JUMPDEST
00000299: CALLER
0000029a: PUSH1 0x01
0000029c: PUSH1 0xa0
0000029e: PUSH1 0x02
000002a0: EXP
000002a1: SUB
000002a2: AND
000002a3: PUSH1 0x00
000002a5: SWAP1
000002a6: DUP2
000002a7: MSTORE
000002a8: PUSH2 0x0102
000002ab: PUSH1 0x20
000002ad: MSTORE
000002ae: PUSH1 0x40
000002b0: DUP2
000002b1: KECCAK256
000002b2: SLOAD
000002b3: DUP2
000002b4: DUP1
000002b5: DUP3
000002b6: DUP2
000002b7: EQ
000002b8: ISZERO
000002b9: PUSH2 0x0fbb
000002bc: JUMPI
000002bd: PUSH2 0x1114
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH2 0x068c
000002c5: PUSH1 0x04
000002c7: CALLDATALOAD
000002c8: JUMPDEST
000002c9: PUSH1 0x01
000002cb: PUSH1 0xa0
000002cd: PUSH1 0x02
000002cf: EXP
000002d0: SUB
000002d1: DUP2
000002d2: AND
000002d3: PUSH1 0x00
000002d5: SWAP1
000002d6: DUP2
000002d7: MSTORE
000002d8: PUSH2 0x0102
000002db: PUSH1 0x20
000002dd: MSTORE
000002de: PUSH1 0x40
000002e0: DUP2
000002e1: KECCAK256
000002e2: SLOAD
000002e3: GT
000002e4: JUMPDEST
000002e5: SWAP2
000002e6: SWAP1
000002e7: POP
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH2 0x068c
000002ed: PUSH1 0x01
000002ef: SLOAD
000002f0: DUP2
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH2 0x068c
000002f6: PUSH2 0x0109
000002f9: SLOAD
000002fa: DUP2
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH2 0x05c7
00000300: PUSH1 0x00
00000302: CALLDATASIZE
00000303: PUSH1 0x40
00000305: MLOAD
00000306: DUP1
00000307: DUP4
00000308: DUP4
00000309: DUP1
0000030a: DUP3
0000030b: DUP5
0000030c: CALLDATACOPY
0000030d: DUP3
0000030e: ADD
0000030f: SWAP2
00000310: POP
00000311: POP
00000312: SWAP3
00000313: POP
00000314: POP
00000315: POP
00000316: PUSH1 0x40
00000318: MLOAD
00000319: DUP1
0000031a: SWAP2
0000031b: SUB
0000031c: SWAP1
0000031d: KECCAK256
0000031e: PUSH2 0x0add
00000321: DUP2
00000322: PUSH2 0x0298
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH1 0x40
00000329: DUP1
0000032a: MLOAD
0000032b: PUSH2 0x0108
0000032e: SLOAD
0000032f: PUSH32 0xc9d27afe00000000000000000000000000000000000000000000000000000000
00000350: DUP3
00000351: MSTORE
00000352: PUSH1 0x5b
00000354: PUSH1 0x04
00000356: DUP4
00000357: ADD
00000358: MSTORE
00000359: PUSH1 0x01
0000035b: PUSH1 0x24
0000035d: DUP4
0000035e: ADD
0000035f: MSTORE
00000360: SWAP2
00000361: MLOAD
00000362: PUSH2 0x05c7
00000365: SWAP3
00000366: PUSH1 0x01
00000368: PUSH1 0xa0
0000036a: PUSH1 0x02
0000036c: EXP
0000036d: SUB
0000036e: AND
0000036f: SWAP2
00000370: DUP3
00000371: SWAP2
00000372: PUSH4 0xc9d27afe
00000377: SWAP2
00000378: PUSH1 0x44
0000037a: DUP2
0000037b: DUP2
0000037c: ADD
0000037d: SWAP3
0000037e: PUSH1 0x20
00000380: SWAP3
00000381: SWAP1
00000382: SWAP2
00000383: SWAP1
00000384: DUP3
00000385: SWAP1
00000386: SUB
00000387: ADD
00000388: DUP2
00000389: PUSH1 0x00
0000038b: DUP8
0000038c: PUSH2 0x61da
0000038f: GAS
00000390: SUB
00000391: CALL
00000392: ISZERO
00000393: PUSH2 0x0002
00000396: JUMPI
00000397: POP
00000398: POP
00000399: POP
0000039a: POP
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH2 0x05c7
000003a0: PUSH1 0x04
000003a2: CALLDATALOAD
000003a3: PUSH1 0x00
000003a5: CALLDATASIZE
000003a6: PUSH1 0x40
000003a8: MLOAD
000003a9: DUP1
000003aa: DUP4
000003ab: DUP4
000003ac: DUP1
000003ad: DUP3
000003ae: DUP5
000003af: CALLDATACOPY
000003b0: DUP3
000003b1: ADD
000003b2: SWAP2
000003b3: POP
000003b4: POP
000003b5: SWAP3
000003b6: POP
000003b7: POP
000003b8: POP
000003b9: PUSH1 0x40
000003bb: MLOAD
000003bc: DUP1
000003bd: SWAP2
000003be: SUB
000003bf: SWAP1
000003c0: KECCAK256
000003c1: PUSH2 0x0895
000003c4: DUP2
000003c5: PUSH2 0x0298
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH2 0x068c
000003cd: PUSH1 0x00
000003cf: SLOAD
000003d0: DUP2
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH2 0x068c
000003d6: PUSH1 0x04
000003d8: CALLDATALOAD
000003d9: JUMPDEST
000003da: PUSH1 0x00
000003dc: DUP2
000003dd: PUSH2 0x0d79
000003e0: DUP2
000003e1: PUSH2 0x0298
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH2 0x05c7
000003e9: PUSH1 0x04
000003eb: CALLDATALOAD
000003ec: PUSH1 0x00
000003ee: CALLDATASIZE
000003ef: PUSH1 0x40
000003f1: MLOAD
000003f2: DUP1
000003f3: DUP4
000003f4: DUP4
000003f5: DUP1
000003f6: DUP3
000003f7: DUP5
000003f8: CALLDATACOPY
000003f9: DUP3
000003fa: ADD
000003fb: SWAP2
000003fc: POP
000003fd: POP
000003fe: SWAP3
000003ff: POP
00000400: POP
00000401: POP
00000402: PUSH1 0x40
00000404: MLOAD
00000405: DUP1
00000406: SWAP2
00000407: SUB
00000408: SWAP1
00000409: KECCAK256
0000040a: PUSH2 0x0ad1
0000040d: DUP2
0000040e: PUSH2 0x0298
00000411: JUMP
00000412: JUMPDEST
00000413: PUSH2 0x068c
00000416: PUSH1 0x04
00000418: DUP1
00000419: CALLDATALOAD
0000041a: SWAP1
0000041b: PUSH1 0x24
0000041d: DUP1
0000041e: CALLDATALOAD
0000041f: SWAP2
00000420: PUSH1 0x44
00000422: CALLDATALOAD
00000423: SWAP2
00000424: DUP3
00000425: ADD
00000426: SWAP2
00000427: ADD
00000428: CALLDATALOAD
00000429: PUSH1 0x00
0000042b: PUSH2 0x0afc
0000042e: CALLER
0000042f: PUSH2 0x02c8
00000432: JUMP
00000433: JUMPDEST
00000434: PUSH2 0x05c7
00000437: PUSH1 0x04
00000439: CALLDATALOAD
0000043a: CALLER
0000043b: PUSH1 0x01
0000043d: PUSH1 0xa0
0000043f: PUSH1 0x02
00000441: EXP
00000442: SUB
00000443: AND
00000444: PUSH1 0x00
00000446: SWAP1
00000447: DUP2
00000448: MSTORE
00000449: PUSH2 0x0102
0000044c: PUSH1 0x20
0000044e: MSTORE
0000044f: PUSH1 0x40
00000451: DUP2
00000452: KECCAK256
00000453: SLOAD
00000454: SWAP1
00000455: DUP1
00000456: DUP3
00000457: DUP2
00000458: EQ
00000459: ISZERO
0000045a: PUSH2 0x06bb
0000045d: JUMPI
0000045e: PUSH2 0x073a
00000461: JUMP
00000462: JUMPDEST
00000463: PUSH2 0x05c7
00000466: PUSH1 0x04
00000468: CALLDATALOAD
00000469: PUSH1 0x00
0000046b: CALLDATASIZE
0000046c: PUSH1 0x40
0000046e: MLOAD
0000046f: DUP1
00000470: DUP4
00000471: DUP4
00000472: DUP1
00000473: DUP3
00000474: DUP5
00000475: CALLDATACOPY
00000476: DUP3
00000477: ADD
00000478: SWAP2
00000479: POP
0000047a: POP
0000047b: SWAP3
0000047c: POP
0000047d: POP
0000047e: POP
0000047f: PUSH1 0x40
00000481: MLOAD
00000482: DUP1
00000483: SWAP2
00000484: SUB
00000485: SWAP1
00000486: KECCAK256
00000487: PUSH2 0x0a5a
0000048a: DUP2
0000048b: PUSH2 0x0298
0000048e: JUMP
0000048f: JUMPDEST
00000490: PUSH2 0x068c
00000493: PUSH1 0x04
00000495: CALLDATALOAD
00000496: PUSH1 0x24
00000498: CALLDATALOAD
00000499: PUSH1 0x00
0000049b: DUP3
0000049c: DUP2
0000049d: MSTORE
0000049e: PUSH2 0x0103
000004a1: PUSH1 0x20
000004a3: SWAP1
000004a4: DUP2
000004a5: MSTORE
000004a6: PUSH1 0x40
000004a8: DUP1
000004a9: DUP4
000004aa: KECCAK256
000004ab: PUSH1 0x01
000004ad: PUSH1 0xa0
000004af: PUSH1 0x02
000004b1: EXP
000004b2: SUB
000004b3: DUP6
000004b4: AND
000004b5: DUP5
000004b6: MSTORE
000004b7: PUSH2 0x0102
000004ba: SWAP1
000004bb: SWAP3
000004bc: MSTORE
000004bd: DUP3
000004be: KECCAK256
000004bf: SLOAD
000004c0: DUP3
000004c1: DUP2
000004c2: DUP2
000004c3: EQ
000004c4: ISZERO
000004c5: PUSH2 0x0ab3
000004c8: JUMPI
000004c9: PUSH2 0x0ac8
000004cc: JUMP
000004cd: JUMPDEST
000004ce: PUSH2 0x05c7
000004d1: PUSH1 0x04
000004d3: CALLDATALOAD
000004d4: PUSH2 0x0108
000004d7: SLOAD
000004d8: PUSH2 0x0109
000004db: DUP3
000004dc: SWAP1
000004dd: SSTORE
000004de: PUSH1 0x40
000004e0: DUP1
000004e1: MLOAD
000004e2: PUSH1 0xe2
000004e4: PUSH1 0x02
000004e6: EXP
000004e7: PUSH4 0x20998771
000004ec: MUL
000004ed: DUP2
000004ee: MSTORE
000004ef: PUSH1 0x5b
000004f1: PUSH1 0x04
000004f3: DUP3
000004f4: ADD
000004f5: MSTORE
000004f6: PUSH20 0x522b59b92a4566440ae3ef8e3426fbfaa2f37a9b
0000050b: PUSH1 0x24
0000050d: DUP3
0000050e: ADD
0000050f: MSTORE
00000510: SWAP1
00000511: MLOAD
00000512: PUSH1 0x01
00000514: PUSH1 0xa0
00000516: PUSH1 0x02
00000518: EXP
00000519: SUB
0000051a: SWAP3
0000051b: SWAP1
0000051c: SWAP3
0000051d: AND
0000051e: SWAP2
0000051f: DUP3
00000520: SWAP2
00000521: PUSH4 0x82661dc4
00000526: SWAP2
00000527: PUSH1 0x44
00000529: DUP3
0000052a: DUP2
0000052b: ADD
0000052c: SWAP3
0000052d: PUSH1 0x20
0000052f: SWAP3
00000530: SWAP2
00000531: SWAP1
00000532: DUP3
00000533: SWAP1
00000534: SUB
00000535: ADD
00000536: DUP2
00000537: PUSH1 0x00
00000539: DUP8
0000053a: PUSH2 0x61da
0000053d: GAS
0000053e: SUB
0000053f: CALL
00000540: ISZERO
00000541: PUSH2 0x0002
00000544: JUMPI
00000545: POP
00000546: POP
00000547: POP
00000548: POP
00000549: POP
0000054a: JUMP
0000054b: JUMPDEST
0000054c: PUSH2 0x05c7
0000054f: PUSH1 0x04
00000551: CALLDATALOAD
00000552: PUSH1 0x00
00000554: CALLDATASIZE
00000555: PUSH1 0x40
00000557: MLOAD
00000558: DUP1
00000559: DUP4
0000055a: DUP4
0000055b: DUP1
0000055c: DUP3
0000055d: DUP5
0000055e: CALLDATACOPY
0000055f: DUP3
00000560: ADD
00000561: SWAP2
00000562: POP
00000563: POP
00000564: SWAP3
00000565: POP
00000566: POP
00000567: POP
00000568: PUSH1 0x40
0000056a: MLOAD
0000056b: DUP1
0000056c: SWAP2
0000056d: SUB
0000056e: SWAP1
0000056f: KECCAK256
00000570: PUSH2 0x0aeb
00000573: DUP2
00000574: PUSH2 0x0298
00000577: JUMP
00000578: JUMPDEST
00000579: PUSH2 0x069e
0000057c: PUSH2 0x0108
0000057f: SLOAD
00000580: PUSH1 0x01
00000582: PUSH1 0xa0
00000584: PUSH1 0x02
00000586: EXP
00000587: SUB
00000588: AND
00000589: DUP2
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH2 0x05c7
0000058f: PUSH1 0x04
00000591: CALLDATALOAD
00000592: PUSH1 0x24
00000594: CALLDATALOAD
00000595: PUSH1 0x00
00000597: PUSH1 0x00
00000599: CALLDATASIZE
0000059a: PUSH1 0x40
0000059c: MLOAD
0000059d: DUP1
0000059e: DUP4
0000059f: DUP4
000005a0: DUP1
000005a1: DUP3
000005a2: DUP5
000005a3: CALLDATACOPY
000005a4: DUP3
000005a5: ADD
000005a6: SWAP2
000005a7: POP
000005a8: POP
000005a9: SWAP3
000005aa: POP
000005ab: POP
000005ac: POP
000005ad: PUSH1 0x40
000005af: MLOAD
000005b0: DUP1
000005b1: SWAP2
000005b2: SUB
000005b3: SWAP1
000005b4: KECCAK256
000005b5: PUSH2 0x07c5
000005b8: DUP2
000005b9: PUSH2 0x0298
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH2 0x068c
000005c1: PUSH2 0x0105
000005c4: SLOAD
000005c5: DUP2
000005c6: JUMP
000005c7: JUMPDEST
000005c8: STOP
000005c9: JUMPDEST
000005ca: PUSH1 0x00
000005cc: PUSH2 0x0109
000005cf: PUSH1 0x00
000005d1: POP
000005d2: DUP2
000005d3: SWAP1
000005d4: SSTORE
000005d5: POP
000005d6: DUP1
000005d7: PUSH1 0x01
000005d9: PUSH1 0xa0
000005db: PUSH1 0x02
000005dd: EXP
000005de: SUB
000005df: AND
000005e0: PUSH4 0xa9059cbb
000005e5: PUSH20 0xabeebb597cd3fec57b6ebd6220beed584b423059
000005fa: DUP4
000005fb: PUSH1 0x01
000005fd: PUSH1 0xa0
000005ff: PUSH1 0x02
00000601: EXP
00000602: SUB
00000603: AND
00000604: PUSH4 0x70a08231
00000609: ADDRESS
0000060a: PUSH1 0x40
0000060c: MLOAD
0000060d: DUP3
0000060e: PUSH1 0xe0
00000610: PUSH1 0x02
00000612: EXP
00000613: MUL
00000614: DUP2
00000615: MSTORE
00000616: PUSH1 0x04
00000618: ADD
00000619: DUP1
0000061a: DUP3
0000061b: PUSH1 0x01
0000061d: PUSH1 0xa0
0000061f: PUSH1 0x02
00000621: EXP
00000622: SUB
00000623: AND
00000624: DUP2
00000625: MSTORE
00000626: PUSH1 0x20
00000628: ADD
00000629: SWAP2
0000062a: POP
0000062b: POP
0000062c: PUSH1 0x20
0000062e: PUSH1 0x40
00000630: MLOAD
00000631: DUP1
00000632: DUP4
00000633: SUB
00000634: DUP2
00000635: PUSH1 0x00
00000637: DUP8
00000638: PUSH2 0x61da
0000063b: GAS
0000063c: SUB
0000063d: CALL
0000063e: ISZERO
0000063f: PUSH2 0x0002
00000642: JUMPI
00000643: POP
00000644: POP
00000645: PUSH1 0x40
00000647: DUP1
00000648: MLOAD
00000649: DUP1
0000064a: MLOAD
0000064b: PUSH1 0xe0
0000064d: PUSH1 0x02
0000064f: EXP
00000650: PUSH4 0xa9059cbb
00000655: MUL
00000656: DUP3
00000657: MSTORE
00000658: PUSH1 0x04
0000065a: DUP3
0000065b: ADD
0000065c: SWAP5
0000065d: SWAP1
0000065e: SWAP5
0000065f: MSTORE
00000660: PUSH1 0x24
00000662: DUP2
00000663: ADD
00000664: SWAP4
00000665: SWAP1
00000666: SWAP4
00000667: MSTORE
00000668: MLOAD
00000669: PUSH1 0x44
0000066b: DUP4
0000066c: DUP2
0000066d: ADD
0000066e: SWAP4
0000066f: PUSH1 0x20
00000671: SWAP4
00000672: POP
00000673: DUP3
00000674: SWAP1
00000675: SUB
00000676: ADD
00000677: DUP2
00000678: PUSH1 0x00
0000067a: DUP8
0000067b: PUSH2 0x61da
0000067e: GAS
0000067f: SUB
00000680: CALL
00000681: ISZERO
00000682: PUSH2 0x0002
00000685: JUMPI
00000686: POP
00000687: POP
00000688: POP
00000689: JUMPDEST
0000068a: POP
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH1 0x40
0000068f: DUP1
00000690: MLOAD
00000691: SWAP2
00000692: DUP3
00000693: MSTORE
00000694: MLOAD
00000695: SWAP1
00000696: DUP2
00000697: SWAP1
00000698: SUB
00000699: PUSH1 0x20
0000069b: ADD
0000069c: SWAP1
0000069d: RETURN
0000069e: JUMPDEST
0000069f: PUSH1 0x40
000006a1: DUP1
000006a2: MLOAD
000006a3: PUSH1 0x01
000006a5: PUSH1 0xa0
000006a7: PUSH1 0x02
000006a9: EXP
000006aa: SUB
000006ab: SWAP3
000006ac: SWAP1
000006ad: SWAP3
000006ae: AND
000006af: DUP3
000006b0: MSTORE
000006b1: MLOAD
000006b2: SWAP1
000006b3: DUP2
000006b4: SWAP1
000006b5: SUB
000006b6: PUSH1 0x20
000006b8: ADD
000006b9: SWAP1
000006ba: RETURN
000006bb: JUMPDEST
000006bc: POP
000006bd: POP
000006be: PUSH1 0x00
000006c0: DUP3
000006c1: DUP2
000006c2: MSTORE
000006c3: PUSH2 0x0103
000006c6: PUSH1 0x20
000006c8: MSTORE
000006c9: PUSH1 0x40
000006cb: DUP2
000006cc: KECCAK256
000006cd: PUSH1 0x01
000006cf: DUP2
000006d0: ADD
000006d1: SLOAD
000006d2: PUSH1 0x02
000006d4: DUP5
000006d5: SWAP1
000006d6: EXP
000006d7: SWAP3
000006d8: SWAP1
000006d9: DUP4
000006da: AND
000006db: GT
000006dc: ISZERO
000006dd: PUSH2 0x073a
000006e0: JUMPI
000006e1: DUP1
000006e2: SLOAD
000006e3: PUSH1 0x01
000006e5: DUP3
000006e6: DUP2
000006e7: ADD
000006e8: DUP1
000006e9: SLOAD
000006ea: SWAP3
000006eb: SWAP1
000006ec: SWAP2
000006ed: ADD
000006ee: DUP4
000006ef: SSTORE
000006f0: SWAP1
000006f1: DUP4
000006f2: SWAP1
000006f3: SUB
000006f4: SWAP1
000006f5: SSTORE
000006f6: PUSH1 0x40
000006f8: DUP1
000006f9: MLOAD
000006fa: CALLER
000006fb: PUSH1 0x01
000006fd: PUSH1 0xa0
000006ff: PUSH1 0x02
00000701: EXP
00000702: SUB
00000703: AND
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x20
00000708: DUP2
00000709: ADD
0000070a: DUP7
0000070b: SWAP1
0000070c: MSTORE
0000070d: DUP2
0000070e: MLOAD
0000070f: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b
00000730: SWAP3
00000731: SWAP2
00000732: DUP2
00000733: SWAP1
00000734: SUB
00000735: SWAP1
00000736: SWAP2
00000737: ADD
00000738: SWAP1
00000739: LOG1
0000073a: JUMPDEST
0000073b: POP
0000073c: POP
0000073d: POP
0000073e: POP
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH1 0x01
00000743: PUSH1 0xa0
00000745: PUSH1 0x02
00000747: EXP
00000748: SUB
00000749: DUP4
0000074a: AND
0000074b: PUSH1 0x02
0000074d: DUP4
0000074e: PUSH2 0x0100
00000751: DUP2
00000752: LT
00000753: ISZERO
00000754: PUSH2 0x0002
00000757: JUMPI
00000758: POP
00000759: DUP4
0000075a: ADD
0000075b: DUP2
0000075c: SWAP1
0000075d: SSTORE
0000075e: PUSH1 0x01
00000760: PUSH1 0xa0
00000762: PUSH1 0x02
00000764: EXP
00000765: SUB
00000766: DUP6
00000767: AND
00000768: PUSH1 0x00
0000076a: DUP2
0000076b: DUP2
0000076c: MSTORE
0000076d: PUSH2 0x0102
00000770: PUSH1 0x20
00000772: SWAP1
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x40
00000777: DUP1
00000778: DUP4
00000779: KECCAK256
0000077a: DUP4
0000077b: SWAP1
0000077c: SSTORE
0000077d: DUP5
0000077e: DUP4
0000077f: MSTORE
00000780: SWAP2
00000781: DUP3
00000782: SWAP1
00000783: KECCAK256
00000784: DUP7
00000785: SWAP1
00000786: SSTORE
00000787: DUP2
00000788: MLOAD
00000789: SWAP3
0000078a: DUP4
0000078b: MSTORE
0000078c: DUP3
0000078d: ADD
0000078e: SWAP3
0000078f: SWAP1
00000790: SWAP3
00000791: MSTORE
00000792: DUP2
00000793: MLOAD
00000794: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c
000007b5: SWAP3
000007b6: SWAP2
000007b7: DUP2
000007b8: SWAP1
000007b9: SUB
000007ba: SWAP1
000007bb: SWAP2
000007bc: ADD
000007bd: SWAP1
000007be: LOG1
000007bf: POP
000007c0: JUMPDEST
000007c1: POP
000007c2: POP
000007c3: POP
000007c4: JUMP
000007c5: JUMPDEST
000007c6: ISZERO
000007c7: PUSH2 0x073a
000007ca: JUMPI
000007cb: PUSH2 0x07d3
000007ce: DUP4
000007cf: PUSH2 0x02c8
000007d2: JUMP
000007d3: JUMPDEST
000007d4: ISZERO
000007d5: PUSH2 0x07de
000007d8: JUMPI
000007d9: POP
000007da: PUSH2 0x07c0
000007dd: JUMP
000007de: JUMPDEST
000007df: PUSH1 0x01
000007e1: PUSH1 0xa0
000007e3: PUSH1 0x02
000007e5: EXP
000007e6: SUB
000007e7: DUP5
000007e8: AND
000007e9: PUSH1 0x00
000007eb: SWAP1
000007ec: DUP2
000007ed: MSTORE
000007ee: PUSH2 0x0102
000007f1: PUSH1 0x20
000007f3: MSTORE
000007f4: PUSH1 0x40
000007f6: DUP2
000007f7: KECCAK256
000007f8: SLOAD
000007f9: SWAP3
000007fa: POP
000007fb: DUP3
000007fc: EQ
000007fd: ISZERO
000007fe: PUSH2 0x0807
00000801: JUMPI
00000802: POP
00000803: PUSH2 0x07c0
00000806: JUMP
00000807: JUMPDEST
00000808: PUSH2 0x0740
0000080b: JUMPDEST
0000080c: PUSH2 0x0104
0000080f: SLOAD
00000810: PUSH1 0x00
00000812: JUMPDEST
00000813: DUP2
00000814: DUP2
00000815: LT
00000816: ISZERO
00000817: PUSH2 0x1260
0000081a: JUMPI
0000081b: PUSH2 0x0104
0000081e: DUP1
0000081f: SLOAD
00000820: PUSH2 0x010a
00000823: SWAP2
00000824: PUSH1 0x00
00000826: SWAP2
00000827: DUP5
00000828: SWAP1
00000829: DUP2
0000082a: LT
0000082b: ISZERO
0000082c: PUSH2 0x0002
0000082f: JUMPI
00000830: PUSH1 0x00
00000832: DUP1
00000833: MLOAD
00000834: PUSH1 0x20
00000836: PUSH2 0x132d
00000839: DUP4
0000083a: CODECOPY
0000083b: DUP2
0000083c: MLOAD
0000083d: SWAP2
0000083e: MSTORE
0000083f: ADD
00000840: SLOAD
00000841: DUP3
00000842: MSTORE
00000843: POP
00000844: PUSH1 0x20
00000846: SWAP2
00000847: SWAP1
00000848: SWAP2
00000849: MSTORE
0000084a: PUSH1 0x40
0000084c: DUP2
0000084d: KECCAK256
0000084e: DUP1
0000084f: SLOAD
00000850: PUSH1 0x01
00000852: PUSH1 0xa0
00000854: PUSH1 0x02
00000856: EXP
00000857: SUB
00000858: NOT
00000859: AND
0000085a: DUP2
0000085b: SSTORE
0000085c: PUSH1 0x01
0000085e: DUP2
0000085f: DUP2
00000860: ADD
00000861: DUP4
00000862: SWAP1
00000863: SSTORE
00000864: PUSH1 0x02
00000866: DUP3
00000867: DUP2
00000868: ADD
00000869: DUP1
0000086a: SLOAD
0000086b: DUP6
0000086c: DUP3
0000086d: SSTORE
0000086e: SWAP4
0000086f: SWAP5
00000870: SWAP4
00000871: SWAP1
00000872: SWAP3
00000873: DUP2
00000874: AND
00000875: ISZERO
00000876: PUSH2 0x0100
00000879: MUL
0000087a: PUSH1 0x00
0000087c: NOT
0000087d: ADD
0000087e: AND
0000087f: DIV
00000880: PUSH1 0x1f
00000882: DUP2
00000883: SWAP1
00000884: LT
00000885: PUSH2 0x12e5
00000888: JUMPI
00000889: POP
0000088a: JUMPDEST
0000088b: POP
0000088c: POP
0000088d: POP
0000088e: PUSH1 0x01
00000890: ADD
00000891: PUSH2 0x0812
00000894: JUMP
00000895: JUMPDEST
00000896: ISZERO
00000897: PUSH2 0x0922
0000089a: JUMPI
0000089b: PUSH2 0x0926
0000089e: DUP3
0000089f: PUSH2 0x02c8
000008a2: JUMP
000008a3: JUMPDEST
000008a4: PUSH1 0x01
000008a6: DUP1
000008a7: SLOAD
000008a8: DUP2
000008a9: ADD
000008aa: SWAP1
000008ab: DUP2
000008ac: SWAP1
000008ad: SSTORE
000008ae: PUSH1 0x01
000008b0: PUSH1 0xa0
000008b2: PUSH1 0x02
000008b4: EXP
000008b5: SUB
000008b6: DUP4
000008b7: AND
000008b8: SWAP1
000008b9: PUSH1 0x02
000008bb: SWAP1
000008bc: PUSH2 0x0100
000008bf: DUP2
000008c0: LT
000008c1: ISZERO
000008c2: PUSH2 0x0002
000008c5: JUMPI
000008c6: SWAP1
000008c7: SWAP1
000008c8: ADD
000008c9: PUSH1 0x00
000008cb: POP
000008cc: SSTORE
000008cd: PUSH1 0x01
000008cf: SLOAD
000008d0: PUSH1 0x01
000008d2: PUSH1 0xa0
000008d4: PUSH1 0x02
000008d6: EXP
000008d7: SUB
000008d8: DUP4
000008d9: AND
000008da: PUSH1 0x00
000008dc: DUP2
000008dd: DUP2
000008de: MSTORE
000008df: PUSH2 0x0102
000008e2: PUSH1 0x20
000008e4: SWAP1
000008e5: DUP2
000008e6: MSTORE
000008e7: PUSH1 0x40
000008e9: SWAP2
000008ea: DUP3
000008eb: SWAP1
000008ec: KECCAK256
000008ed: SWAP4
000008ee: SWAP1
000008ef: SWAP4
000008f0: SSTORE
000008f1: DUP1
000008f2: MLOAD
000008f3: SWAP2
000008f4: DUP3
000008f5: MSTORE
000008f6: MLOAD
000008f7: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3
00000918: SWAP3
00000919: SWAP2
0000091a: DUP2
0000091b: SWAP1
0000091c: SUB
0000091d: SWAP1
0000091e: SWAP2
0000091f: ADD
00000920: SWAP1
00000921: LOG1
00000922: JUMPDEST
00000923: POP
00000924: POP
00000925: JUMP
00000926: JUMPDEST
00000927: ISZERO
00000928: PUSH2 0x0931
0000092b: JUMPI
0000092c: POP
0000092d: PUSH2 0x0689
00000930: JUMP
00000931: JUMPDEST
00000932: PUSH2 0x0939
00000935: PUSH2 0x080b
00000938: JUMP
00000939: JUMPDEST
0000093a: PUSH1 0x01
0000093c: SLOAD
0000093d: PUSH1 0xfa
0000093f: SWAP1
00000940: LT
00000941: PUSH2 0x094c
00000944: JUMPI
00000945: PUSH2 0x094c
00000948: PUSH2 0x0961
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH1 0x01
0000094f: SLOAD
00000950: PUSH1 0xfa
00000952: SWAP1
00000953: LT
00000954: PUSH2 0x08a3
00000957: JUMPI
00000958: POP
00000959: PUSH2 0x0689
0000095c: JUMP
0000095d: JUMPDEST
0000095e: PUSH2 0x0a19
00000961: JUMPDEST
00000962: PUSH1 0x01
00000964: JUMPDEST
00000965: PUSH1 0x01
00000967: SLOAD
00000968: DUP2
00000969: LT
0000096a: ISZERO
0000096b: PUSH2 0x0689
0000096e: JUMPI
0000096f: JUMPDEST
00000970: PUSH1 0x01
00000972: SLOAD
00000973: DUP2
00000974: LT
00000975: DUP1
00000976: ISZERO
00000977: PUSH2 0x098f
0000097a: JUMPI
0000097b: POP
0000097c: PUSH1 0x02
0000097e: DUP2
0000097f: PUSH2 0x0100
00000982: DUP2
00000983: LT
00000984: ISZERO
00000985: PUSH2 0x0002
00000988: JUMPI
00000989: ADD
0000098a: SLOAD
0000098b: PUSH1 0x00
0000098d: EQ
0000098e: ISZERO
0000098f: JUMPDEST
00000990: ISZERO
00000991: PUSH2 0x111c
00000994: JUMPI
00000995: PUSH1 0x01
00000997: ADD
00000998: PUSH2 0x096f
0000099b: JUMP
0000099c: JUMPDEST
0000099d: ISZERO
0000099e: PUSH2 0x07c0
000009a1: JUMPI
000009a2: PUSH1 0x01
000009a4: PUSH1 0xa0
000009a6: PUSH1 0x02
000009a8: EXP
000009a9: SUB
000009aa: DUP4
000009ab: AND
000009ac: PUSH1 0x00
000009ae: SWAP1
000009af: DUP2
000009b0: MSTORE
000009b1: PUSH2 0x0102
000009b4: PUSH1 0x20
000009b6: MSTORE
000009b7: PUSH1 0x40
000009b9: DUP2
000009ba: KECCAK256
000009bb: SLOAD
000009bc: SWAP3
000009bd: POP
000009be: DUP3
000009bf: EQ
000009c0: ISZERO
000009c1: PUSH2 0x09ca
000009c4: JUMPI
000009c5: POP
000009c6: PUSH2 0x0922
000009c9: JUMP
000009ca: JUMPDEST
000009cb: PUSH1 0x01
000009cd: PUSH1 0x01
000009cf: PUSH1 0x00
000009d1: POP
000009d2: SLOAD
000009d3: SUB
000009d4: PUSH1 0x00
000009d6: PUSH1 0x00
000009d8: POP
000009d9: SLOAD
000009da: GT
000009db: ISZERO
000009dc: PUSH2 0x09e5
000009df: JUMPI
000009e0: POP
000009e1: PUSH2 0x0922
000009e4: JUMP
000009e5: JUMPDEST
000009e6: PUSH1 0x00
000009e8: PUSH1 0x02
000009ea: DUP4
000009eb: PUSH2 0x0100
000009ee: DUP2
000009ef: LT
000009f0: ISZERO
000009f1: PUSH2 0x0002
000009f4: JUMPI
000009f5: POP
000009f6: DUP4
000009f7: ADD
000009f8: DUP2
000009f9: SWAP1
000009fa: SSTORE
000009fb: PUSH1 0x01
000009fd: PUSH1 0xa0
000009ff: PUSH1 0x02
00000a01: EXP
00000a02: SUB
00000a03: DUP5
00000a04: AND
00000a05: DUP2
00000a06: MSTORE
00000a07: PUSH2 0x0102
00000a0a: PUSH1 0x20
00000a0c: MSTORE
00000a0d: PUSH1 0x40
00000a0f: DUP2
00000a10: KECCAK256
00000a11: SSTORE
00000a12: PUSH2 0x095d
00000a15: PUSH2 0x080b
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH1 0x40
00000a1c: DUP1
00000a1d: MLOAD
00000a1e: PUSH1 0x01
00000a20: PUSH1 0xa0
00000a22: PUSH1 0x02
00000a24: EXP
00000a25: SUB
00000a26: DUP6
00000a27: AND
00000a28: DUP2
00000a29: MSTORE
00000a2a: SWAP1
00000a2b: MLOAD
00000a2c: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da
00000a4d: SWAP2
00000a4e: DUP2
00000a4f: SWAP1
00000a50: SUB
00000a51: PUSH1 0x20
00000a53: ADD
00000a54: SWAP1
00000a55: LOG1
00000a56: POP
00000a57: POP
00000a58: POP
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: ISZERO
00000a5c: PUSH2 0x0922
00000a5f: JUMPI
00000a60: PUSH1 0x01
00000a62: SLOAD
00000a63: DUP3
00000a64: GT
00000a65: ISZERO
00000a66: PUSH2 0x0a6f
00000a69: JUMPI
00000a6a: POP
00000a6b: PUSH2 0x0689
00000a6e: JUMP
00000a6f: JUMPDEST
00000a70: PUSH1 0x00
00000a72: DUP3
00000a73: SWAP1
00000a74: SSTORE
00000a75: PUSH2 0x0a7c
00000a78: PUSH2 0x080b
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: PUSH1 0x40
00000a7f: DUP1
00000a80: MLOAD
00000a81: DUP4
00000a82: DUP2
00000a83: MSTORE
00000a84: SWAP1
00000a85: MLOAD
00000a86: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da
00000aa7: SWAP2
00000aa8: DUP2
00000aa9: SWAP1
00000aaa: SUB
00000aab: PUSH1 0x20
00000aad: ADD
00000aae: SWAP1
00000aaf: LOG1
00000ab0: POP
00000ab1: POP
00000ab2: JUMP
00000ab3: JUMPDEST
00000ab4: POP
00000ab5: PUSH1 0x01
00000ab7: DUP3
00000ab8: ADD
00000ab9: SLOAD
00000aba: PUSH1 0x02
00000abc: DUP3
00000abd: SWAP1
00000abe: EXP
00000abf: SWAP1
00000ac0: DUP2
00000ac1: AND
00000ac2: PUSH1 0x00
00000ac4: EQ
00000ac5: ISZERO
00000ac6: SWAP4
00000ac7: POP
00000ac8: JUMPDEST
00000ac9: POP
00000aca: POP
00000acb: POP
00000acc: SWAP3
00000acd: SWAP2
00000ace: POP
00000acf: POP
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: ISZERO
00000ad3: PUSH2 0x0922
00000ad6: JUMPI
00000ad7: POP
00000ad8: PUSH2 0x0105
00000adb: SSTORE
00000adc: JUMP
00000add: JUMPDEST
00000ade: ISZERO
00000adf: PUSH2 0x0689
00000ae2: JUMPI
00000ae3: PUSH1 0x00
00000ae5: PUSH2 0x0106
00000ae8: SSTORE
00000ae9: POP
00000aea: JUMP
00000aeb: JUMPDEST
00000aec: ISZERO
00000aed: PUSH2 0x0922
00000af0: JUMPI
00000af1: DUP2
00000af2: PUSH1 0x01
00000af4: PUSH1 0xa0
00000af6: PUSH1 0x02
00000af8: EXP
00000af9: SUB
00000afa: AND
00000afb: SELFDESTRUCT
00000afc: JUMPDEST
00000afd: ISZERO
00000afe: PUSH2 0x0d3d
00000b01: JUMPI
00000b02: PUSH2 0x0b10
00000b05: DUP5
00000b06: PUSH1 0x00
00000b08: PUSH2 0x11f6
00000b0b: CALLER
00000b0c: PUSH2 0x02c8
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: ISZERO
00000b12: PUSH2 0x0bcf
00000b15: JUMPI
00000b16: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004
00000b37: CALLER
00000b38: DUP6
00000b39: DUP8
00000b3a: DUP7
00000b3b: DUP7
00000b3c: PUSH1 0x40
00000b3e: MLOAD
00000b3f: DUP1
00000b40: DUP7
00000b41: PUSH1 0x01
00000b43: PUSH1 0xa0
00000b45: PUSH1 0x02
00000b47: EXP
00000b48: SUB
00000b49: AND
00000b4a: DUP2
00000b4b: MSTORE
00000b4c: PUSH1 0x20
00000b4e: ADD
00000b4f: DUP6
00000b50: DUP2
00000b51: MSTORE
00000b52: PUSH1 0x20
00000b54: ADD
00000b55: DUP5
00000b56: PUSH1 0x01
00000b58: PUSH1 0xa0
00000b5a: PUSH1 0x02
00000b5c: EXP
00000b5d: SUB
00000b5e: AND
00000b5f: DUP2
00000b60: MSTORE
00000b61: PUSH1 0x20
00000b63: ADD
00000b64: DUP1
00000b65: PUSH1 0x20
00000b67: ADD
00000b68: DUP3
00000b69: DUP2
00000b6a: SUB
00000b6b: DUP3
00000b6c: MSTORE
00000b6d: DUP5
00000b6e: DUP5
00000b6f: DUP3
00000b70: DUP2
00000b71: DUP2
00000b72: MSTORE
00000b73: PUSH1 0x20
00000b75: ADD
00000b76: SWAP3
00000b77: POP
00000b78: DUP1
00000b79: DUP3
00000b7a: DUP5
00000b7b: CALLDATACOPY
00000b7c: DUP3
00000b7d: ADD
00000b7e: SWAP2
00000b7f: POP
00000b80: POP
00000b81: SWAP7
00000b82: POP
00000b83: POP
00000b84: POP
00000b85: POP
00000b86: POP
00000b87: POP
00000b88: POP
00000b89: PUSH1 0x40
00000b8b: MLOAD
00000b8c: DUP1
00000b8d: SWAP2
00000b8e: SUB
00000b8f: SWAP1
00000b90: LOG1
00000b91: DUP5
00000b92: PUSH1 0x01
00000b94: PUSH1 0xa0
00000b96: PUSH1 0x02
00000b98: EXP
00000b99: SUB
00000b9a: AND
00000b9b: DUP5
00000b9c: DUP5
00000b9d: DUP5
00000b9e: PUSH1 0x40
00000ba0: MLOAD
00000ba1: DUP1
00000ba2: DUP4
00000ba3: DUP4
00000ba4: DUP1
00000ba5: DUP3
00000ba6: DUP5
00000ba7: CALLDATACOPY
00000ba8: DUP3
00000ba9: ADD
00000baa: SWAP2
00000bab: POP
00000bac: POP
00000bad: SWAP3
00000bae: POP
00000baf: POP
00000bb0: POP
00000bb1: PUSH1 0x00
00000bb3: PUSH1 0x40
00000bb5: MLOAD
00000bb6: DUP1
00000bb7: DUP4
00000bb8: SUB
00000bb9: DUP2
00000bba: DUP6
00000bbb: DUP8
00000bbc: PUSH2 0x8502
00000bbf: GAS
00000bc0: SUB
00000bc1: CALL
00000bc2: POP
00000bc3: PUSH1 0x00
00000bc5: SWAP4
00000bc6: POP
00000bc7: PUSH2 0x0d3d
00000bca: SWAP3
00000bcb: POP
00000bcc: POP
00000bcd: POP
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH1 0x00
00000bd2: CALLDATASIZE
00000bd3: NUMBER
00000bd4: PUSH1 0x40
00000bd6: MLOAD
00000bd7: DUP1
00000bd8: DUP5
00000bd9: DUP5
00000bda: DUP1
00000bdb: DUP3
00000bdc: DUP5
00000bdd: CALLDATACOPY
00000bde: DUP3
00000bdf: ADD
00000be0: SWAP2
00000be1: POP
00000be2: POP
00000be3: DUP3
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x20
00000be8: ADD
00000be9: SWAP4
00000bea: POP
00000beb: POP
00000bec: POP
00000bed: POP
00000bee: PUSH1 0x40
00000bf0: MLOAD
00000bf1: DUP1
00000bf2: SWAP2
00000bf3: SUB
00000bf4: SWAP1
00000bf5: KECCAK256
00000bf6: SWAP1
00000bf7: POP
00000bf8: DUP1
00000bf9: POP
00000bfa: PUSH2 0x0c02
00000bfd: DUP2
00000bfe: PUSH2 0x03d9
00000c01: JUMP
00000c02: JUMPDEST
00000c03: ISZERO
00000c04: DUP1
00000c05: ISZERO
00000c06: PUSH2 0x0c25
00000c09: JUMPI
00000c0a: POP
00000c0b: PUSH1 0x00
00000c0d: DUP2
00000c0e: DUP2
00000c0f: MSTORE
00000c10: PUSH2 0x010a
00000c13: PUSH1 0x20
00000c15: MSTORE
00000c16: PUSH1 0x40
00000c18: DUP2
00000c19: KECCAK256
00000c1a: SLOAD
00000c1b: PUSH1 0x01
00000c1d: PUSH1 0xa0
00000c1f: PUSH1 0x02
00000c21: EXP
00000c22: SUB
00000c23: AND
00000c24: EQ
00000c25: JUMPDEST
00000c26: ISZERO
00000c27: PUSH2 0x0d3d
00000c2a: JUMPI
00000c2b: PUSH1 0x00
00000c2d: DUP2
00000c2e: DUP2
00000c2f: MSTORE
00000c30: PUSH2 0x010a
00000c33: PUSH1 0x20
00000c35: SWAP1
00000c36: DUP2
00000c37: MSTORE
00000c38: PUSH1 0x40
00000c3a: DUP3
00000c3b: KECCAK256
00000c3c: DUP1
00000c3d: SLOAD
00000c3e: PUSH1 0x01
00000c40: PUSH1 0xa0
00000c42: PUSH1 0x02
00000c44: EXP
00000c45: SUB
00000c46: NOT
00000c47: AND
00000c48: DUP9
00000c49: OR
00000c4a: DUP2
00000c4b: SSTORE
00000c4c: PUSH1 0x01
00000c4e: DUP2
00000c4f: DUP2
00000c50: ADD
00000c51: DUP9
00000c52: SWAP1
00000c53: SSTORE
00000c54: PUSH1 0x02
00000c56: SWAP2
00000c57: DUP3
00000c58: ADD
00000c59: DUP1
00000c5a: SLOAD
00000c5b: DUP2
00000c5c: DUP7
00000c5d: MSTORE
00000c5e: SWAP5
00000c5f: DUP5
00000c60: SWAP1
00000c61: KECCAK256
00000c62: SWAP1
00000c63: SWAP5
00000c64: SWAP2
00000c65: DUP3
00000c66: AND
00000c67: ISZERO
00000c68: PUSH2 0x0100
00000c6b: MUL
00000c6c: PUSH1 0x00
00000c6e: NOT
00000c6f: ADD
00000c70: SWAP1
00000c71: SWAP2
00000c72: AND
00000c73: SWAP2
00000c74: SWAP1
00000c75: SWAP2
00000c76: DIV
00000c77: PUSH1 0x1f
00000c79: SWAP1
00000c7a: DUP2
00000c7b: ADD
00000c7c: SWAP3
00000c7d: SWAP1
00000c7e: SWAP3
00000c7f: DIV
00000c80: DUP2
00000c81: ADD
00000c82: SWAP2
00000c83: DUP6
00000c84: SWAP2
00000c85: SWAP1
00000c86: DUP8
00000c87: SWAP1
00000c88: DUP4
00000c89: SWAP1
00000c8a: LT
00000c8b: PUSH2 0x0d45
00000c8e: JUMPI
00000c8f: PUSH1 0xff
00000c91: NOT
00000c92: DUP2
00000c93: CALLDATALOAD
00000c94: AND
00000c95: DUP4
00000c96: DUP1
00000c97: ADD
00000c98: OR
00000c99: DUP6
00000c9a: SSTORE
00000c9b: JUMPDEST
00000c9c: POP
00000c9d: PUSH2 0x0cb7
00000ca0: SWAP3
00000ca1: SWAP2
00000ca2: POP
00000ca3: JUMPDEST
00000ca4: DUP1
00000ca5: DUP3
00000ca6: GT
00000ca7: ISZERO
00000ca8: PUSH2 0x0d75
00000cab: JUMPI
00000cac: PUSH1 0x00
00000cae: DUP2
00000caf: SSTORE
00000cb0: PUSH1 0x01
00000cb2: ADD
00000cb3: PUSH2 0x0ca3
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: POP
00000cb9: POP
00000cba: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32
00000cdb: DUP2
00000cdc: CALLER
00000cdd: DUP7
00000cde: DUP9
00000cdf: DUP8
00000ce0: DUP8
00000ce1: PUSH1 0x40
00000ce3: MLOAD
00000ce4: DUP1
00000ce5: DUP8
00000ce6: DUP2
00000ce7: MSTORE
00000ce8: PUSH1 0x20
00000cea: ADD
00000ceb: DUP7
00000cec: PUSH1 0x01
00000cee: PUSH1 0xa0
00000cf0: PUSH1 0x02
00000cf2: EXP
00000cf3: SUB
00000cf4: AND
00000cf5: DUP2
00000cf6: MSTORE
00000cf7: PUSH1 0x20
00000cf9: ADD
00000cfa: DUP6
00000cfb: DUP2
00000cfc: MSTORE
00000cfd: PUSH1 0x20
00000cff: ADD
00000d00: DUP5
00000d01: PUSH1 0x01
00000d03: PUSH1 0xa0
00000d05: PUSH1 0x02
00000d07: EXP
00000d08: SUB
00000d09: AND
00000d0a: DUP2
00000d0b: MSTORE
00000d0c: PUSH1 0x20
00000d0e: ADD
00000d0f: DUP1
00000d10: PUSH1 0x20
00000d12: ADD
00000d13: DUP3
00000d14: DUP2
00000d15: SUB
00000d16: DUP3
00000d17: MSTORE
00000d18: DUP5
00000d19: DUP5
00000d1a: DUP3
00000d1b: DUP2
00000d1c: DUP2
00000d1d: MSTORE
00000d1e: PUSH1 0x20
00000d20: ADD
00000d21: SWAP3
00000d22: POP
00000d23: DUP1
00000d24: DUP3
00000d25: DUP5
00000d26: CALLDATACOPY
00000d27: DUP3
00000d28: ADD
00000d29: SWAP2
00000d2a: POP
00000d2b: POP
00000d2c: SWAP8
00000d2d: POP
00000d2e: POP
00000d2f: POP
00000d30: POP
00000d31: POP
00000d32: POP
00000d33: POP
00000d34: POP
00000d35: PUSH1 0x40
00000d37: MLOAD
00000d38: DUP1
00000d39: SWAP2
00000d3a: SUB
00000d3b: SWAP1
00000d3c: LOG1
00000d3d: JUMPDEST
00000d3e: SWAP5
00000d3f: SWAP4
00000d40: POP
00000d41: POP
00000d42: POP
00000d43: POP
00000d44: JUMP
00000d45: JUMPDEST
00000d46: DUP3
00000d47: DUP1
00000d48: ADD
00000d49: PUSH1 0x01
00000d4b: ADD
00000d4c: DUP6
00000d4d: SSTORE
00000d4e: DUP3
00000d4f: ISZERO
00000d50: PUSH2 0x0c9b
00000d53: JUMPI
00000d54: SWAP2
00000d55: DUP3
00000d56: ADD
00000d57: JUMPDEST
00000d58: DUP3
00000d59: DUP2
00000d5a: GT
00000d5b: ISZERO
00000d5c: PUSH2 0x0c9b
00000d5f: JUMPI
00000d60: DUP3
00000d61: CALLDATALOAD
00000d62: DUP3
00000d63: PUSH1 0x00
00000d65: POP
00000d66: SSTORE
00000d67: SWAP2
00000d68: PUSH1 0x20
00000d6a: ADD
00000d6b: SWAP2
00000d6c: SWAP1
00000d6d: PUSH1 0x01
00000d6f: ADD
00000d70: SWAP1
00000d71: PUSH2 0x0d57
00000d74: JUMP
00000d75: JUMPDEST
00000d76: POP
00000d77: SWAP1
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: ISZERO
00000d7b: PUSH2 0x0dfc
00000d7e: JUMPI
00000d7f: PUSH1 0x00
00000d81: DUP4
00000d82: DUP2
00000d83: MSTORE
00000d84: PUSH2 0x010a
00000d87: PUSH1 0x20
00000d89: MSTORE
00000d8a: PUSH1 0x40
00000d8c: DUP2
00000d8d: KECCAK256
00000d8e: SLOAD
00000d8f: PUSH1 0x01
00000d91: PUSH1 0xa0
00000d93: PUSH1 0x02
00000d95: EXP
00000d96: SUB
00000d97: AND
00000d98: EQ
00000d99: PUSH2 0x0dfc
00000d9c: JUMPI
00000d9d: PUSH1 0x40
00000d9f: DUP1
00000da0: MLOAD
00000da1: PUSH1 0x00
00000da3: SWAP2
00000da4: SWAP1
00000da5: SWAP2
00000da6: KECCAK256
00000da7: DUP1
00000da8: SLOAD
00000da9: PUSH1 0x01
00000dab: DUP3
00000dac: DUP2
00000dad: ADD
00000dae: SLOAD
00000daf: PUSH1 0x02
00000db1: SWAP4
00000db2: DUP5
00000db3: ADD
00000db4: DUP1
00000db5: SLOAD
00000db6: PUSH1 0x01
00000db8: PUSH1 0xa0
00000dba: PUSH1 0x02
00000dbc: EXP
00000dbd: SUB
00000dbe: SWAP5
00000dbf: SWAP1
00000dc0: SWAP5
00000dc1: AND
00000dc2: SWAP6
00000dc3: SWAP2
00000dc4: SWAP5
00000dc5: SWAP1
00000dc6: SWAP4
00000dc7: SWAP2
00000dc8: SWAP3
00000dc9: DUP4
00000dca: SWAP3
00000dcb: DUP6
00000dcc: SWAP3
00000dcd: SWAP2
00000dce: DUP2
00000dcf: AND
00000dd0: ISZERO
00000dd1: PUSH2 0x0100
00000dd4: MUL
00000dd5: PUSH1 0x00
00000dd7: NOT
00000dd8: ADD
00000dd9: AND
00000dda: DIV
00000ddb: DUP1
00000ddc: ISZERO
00000ddd: PUSH2 0x0e2d
00000de0: JUMPI
00000de1: DUP1
00000de2: PUSH1 0x1f
00000de4: LT
00000de5: PUSH2 0x0e02
00000de8: JUMPI
00000de9: PUSH2 0x0100
00000dec: DUP1
00000ded: DUP4
00000dee: SLOAD
00000def: DIV
00000df0: MUL
00000df1: DUP4
00000df2: MSTORE
00000df3: SWAP2
00000df4: PUSH1 0x20
00000df6: ADD
00000df7: SWAP2
00000df8: PUSH2 0x0e2d
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: POP
00000dfe: SWAP2
00000dff: SWAP1
00000e00: POP
00000e01: JUMP
00000e02: JUMPDEST
00000e03: DUP3
00000e04: ADD
00000e05: SWAP2
00000e06: SWAP1
00000e07: PUSH1 0x00
00000e09: MSTORE
00000e0a: PUSH1 0x20
00000e0c: PUSH1 0x00
00000e0e: KECCAK256
00000e0f: SWAP1
00000e10: JUMPDEST
00000e11: DUP2
00000e12: SLOAD
00000e13: DUP2
00000e14: MSTORE
00000e15: SWAP1
00000e16: PUSH1 0x01
00000e18: ADD
00000e19: SWAP1
00000e1a: PUSH1 0x20
00000e1c: ADD
00000e1d: DUP1
00000e1e: DUP4
00000e1f: GT
00000e20: PUSH2 0x0e10
00000e23: JUMPI
00000e24: DUP3
00000e25: SWAP1
00000e26: SUB
00000e27: PUSH1 0x1f
00000e29: AND
00000e2a: DUP3
00000e2b: ADD
00000e2c: SWAP2
00000e2d: JUMPDEST
00000e2e: POP
00000e2f: POP
00000e30: SWAP2
00000e31: POP
00000e32: POP
00000e33: PUSH1 0x00
00000e35: PUSH1 0x40
00000e37: MLOAD
00000e38: DUP1
00000e39: DUP4
00000e3a: SUB
00000e3b: DUP2
00000e3c: DUP6
00000e3d: DUP8
00000e3e: PUSH2 0x8502
00000e41: GAS
00000e42: SUB
00000e43: CALL
00000e44: POP
00000e45: POP
00000e46: POP
00000e47: PUSH1 0x00
00000e49: DUP5
00000e4a: DUP2
00000e4b: MSTORE
00000e4c: PUSH2 0x010a
00000e4f: PUSH1 0x20
00000e51: SWAP1
00000e52: DUP2
00000e53: MSTORE
00000e54: PUSH1 0x40
00000e56: DUP1
00000e57: MLOAD
00000e58: SWAP3
00000e59: DUP2
00000e5a: SWAP1
00000e5b: KECCAK256
00000e5c: DUP1
00000e5d: SLOAD
00000e5e: PUSH1 0x01
00000e60: DUP3
00000e61: DUP2
00000e62: ADD
00000e63: SLOAD
00000e64: CALLER
00000e65: PUSH1 0x01
00000e67: PUSH1 0xa0
00000e69: PUSH1 0x02
00000e6b: EXP
00000e6c: SUB
00000e6d: DUP2
00000e6e: DUP2
00000e6f: AND
00000e70: DUP10
00000e71: MSTORE
00000e72: SWAP7
00000e73: DUP9
00000e74: ADD
00000e75: DUP13
00000e76: SWAP1
00000e77: MSTORE
00000e78: SWAP5
00000e79: DUP8
00000e7a: ADD
00000e7b: DUP2
00000e7c: SWAP1
00000e7d: MSTORE
00000e7e: SWAP2
00000e7f: SWAP1
00000e80: SWAP5
00000e81: AND
00000e82: PUSH1 0x60
00000e84: DUP7
00000e85: ADD
00000e86: DUP2
00000e87: SWAP1
00000e88: MSTORE
00000e89: PUSH1 0xa0
00000e8b: PUSH1 0x80
00000e8d: DUP8
00000e8e: ADD
00000e8f: DUP2
00000e90: DUP2
00000e91: MSTORE
00000e92: PUSH1 0x02
00000e94: SWAP5
00000e95: DUP6
00000e96: ADD
00000e97: DUP1
00000e98: SLOAD
00000e99: SWAP8
00000e9a: DUP9
00000e9b: AND
00000e9c: ISZERO
00000e9d: PUSH2 0x0100
00000ea0: MUL
00000ea1: PUSH1 0x00
00000ea3: NOT
00000ea4: ADD
00000ea5: SWAP1
00000ea6: SWAP8
00000ea7: AND
00000ea8: SWAP5
00000ea9: SWAP1
00000eaa: SWAP5
00000eab: DIV
00000eac: SWAP1
00000ead: DUP8
00000eae: ADD
00000eaf: DUP2
00000eb0: SWAP1
00000eb1: MSTORE
00000eb2: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a
00000ed3: SWAP8
00000ed4: POP
00000ed5: SWAP4
00000ed6: SWAP6
00000ed7: DUP11
00000ed8: SWAP6
00000ed9: SWAP3
00000eda: SWAP5
00000edb: SWAP2
00000edc: SWAP4
00000edd: SWAP1
00000ede: SWAP2
00000edf: PUSH1 0xc0
00000ee1: DUP4
00000ee2: ADD
00000ee3: SWAP1
00000ee4: DUP5
00000ee5: SWAP1
00000ee6: DUP1
00000ee7: ISZERO
00000ee8: PUSH2 0x0f32
00000eeb: JUMPI
00000eec: DUP1
00000eed: PUSH1 0x1f
00000eef: LT
00000ef0: PUSH2 0x0f07
00000ef3: JUMPI
00000ef4: PUSH2 0x0100
00000ef7: DUP1
00000ef8: DUP4
00000ef9: SLOAD
00000efa: DIV
00000efb: MUL
00000efc: DUP4
00000efd: MSTORE
00000efe: SWAP2
00000eff: PUSH1 0x20
00000f01: ADD
00000f02: SWAP2
00000f03: PUSH2 0x0f32
00000f06: JUMP
00000f07: JUMPDEST
00000f08: DUP3
00000f09: ADD
00000f0a: SWAP2
00000f0b: SWAP1
00000f0c: PUSH1 0x00
00000f0e: MSTORE
00000f0f: PUSH1 0x20
00000f11: PUSH1 0x00
00000f13: KECCAK256
00000f14: SWAP1
00000f15: JUMPDEST
00000f16: DUP2
00000f17: SLOAD
00000f18: DUP2
00000f19: MSTORE
00000f1a: SWAP1
00000f1b: PUSH1 0x01
00000f1d: ADD
00000f1e: SWAP1
00000f1f: PUSH1 0x20
00000f21: ADD
00000f22: DUP1
00000f23: DUP4
00000f24: GT
00000f25: PUSH2 0x0f15
00000f28: JUMPI
00000f29: DUP3
00000f2a: SWAP1
00000f2b: SUB
00000f2c: PUSH1 0x1f
00000f2e: AND
00000f2f: DUP3
00000f30: ADD
00000f31: SWAP2
00000f32: JUMPDEST
00000f33: POP
00000f34: POP
00000f35: SWAP7
00000f36: POP
00000f37: POP
00000f38: POP
00000f39: POP
00000f3a: POP
00000f3b: POP
00000f3c: POP
00000f3d: PUSH1 0x40
00000f3f: MLOAD
00000f40: DUP1
00000f41: SWAP2
00000f42: SUB
00000f43: SWAP1
00000f44: LOG1
00000f45: PUSH1 0x00
00000f47: DUP4
00000f48: DUP2
00000f49: MSTORE
00000f4a: PUSH2 0x010a
00000f4d: PUSH1 0x20
00000f4f: MSTORE
00000f50: PUSH1 0x40
00000f52: DUP2
00000f53: KECCAK256
00000f54: DUP1
00000f55: SLOAD
00000f56: PUSH1 0x01
00000f58: PUSH1 0xa0
00000f5a: PUSH1 0x02
00000f5c: EXP
00000f5d: SUB
00000f5e: NOT
00000f5f: AND
00000f60: DUP2
00000f61: SSTORE
00000f62: PUSH1 0x01
00000f64: DUP2
00000f65: DUP2
00000f66: ADD
00000f67: DUP4
00000f68: SWAP1
00000f69: SSTORE
00000f6a: PUSH1 0x02
00000f6c: DUP3
00000f6d: DUP2
00000f6e: ADD
00000f6f: DUP1
00000f70: SLOAD
00000f71: DUP6
00000f72: DUP3
00000f73: SSTORE
00000f74: SWAP4
00000f75: SWAP5
00000f76: SWAP4
00000f77: SWAP1
00000f78: SWAP3
00000f79: DUP2
00000f7a: AND
00000f7b: ISZERO
00000f7c: PUSH2 0x0100
00000f7f: MUL
00000f80: PUSH1 0x00
00000f82: NOT
00000f83: ADD
00000f84: AND
00000f85: DIV
00000f86: PUSH1 0x1f
00000f88: DUP2
00000f89: SWAP1
00000f8a: LT
00000f8b: PUSH2 0x0f9d
00000f8e: JUMPI
00000f8f: POP
00000f90: JUMPDEST
00000f91: POP
00000f92: POP
00000f93: POP
00000f94: PUSH1 0x01
00000f96: SWAP2
00000f97: POP
00000f98: POP
00000f99: PUSH2 0x02e4
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: PUSH1 0x1f
00000fa0: ADD
00000fa1: PUSH1 0x20
00000fa3: SWAP1
00000fa4: DIV
00000fa5: SWAP1
00000fa6: PUSH1 0x00
00000fa8: MSTORE
00000fa9: PUSH1 0x20
00000fab: PUSH1 0x00
00000fad: KECCAK256
00000fae: SWAP1
00000faf: DUP2
00000fb0: ADD
00000fb1: SWAP1
00000fb2: PUSH2 0x0f90
00000fb5: SWAP2
00000fb6: SWAP1
00000fb7: PUSH2 0x0ca3
00000fba: JUMP
00000fbb: JUMPDEST
00000fbc: PUSH1 0x00
00000fbe: DUP6
00000fbf: DUP2
00000fc0: MSTORE
00000fc1: PUSH2 0x0103
00000fc4: PUSH1 0x20
00000fc6: MSTORE
00000fc7: PUSH1 0x40
00000fc9: DUP2
00000fca: KECCAK256
00000fcb: DUP1
00000fcc: SLOAD
00000fcd: SWAP1
00000fce: SWAP4
00000fcf: POP
00000fd0: EQ
00000fd1: ISZERO
00000fd2: PUSH2 0x1043
00000fd5: JUMPI
00000fd6: PUSH1 0x00
00000fd8: DUP1
00000fd9: SLOAD
00000fda: DUP4
00000fdb: SSTORE
00000fdc: PUSH1 0x01
00000fde: DUP4
00000fdf: DUP2
00000fe0: ADD
00000fe1: SWAP2
00000fe2: SWAP1
00000fe3: SWAP2
00000fe4: SSTORE
00000fe5: PUSH2 0x0104
00000fe8: DUP1
00000fe9: SLOAD
00000fea: SWAP2
00000feb: DUP3
00000fec: ADD
00000fed: DUP1
00000fee: DUP3
00000fef: SSTORE
00000ff0: DUP3
00000ff1: DUP1
00000ff2: ISZERO
00000ff3: DUP3
00000ff4: SWAP1
00000ff5: GT
00000ff6: PUSH2 0x1012
00000ff9: JUMPI
00000ffa: DUP2
00000ffb: DUP4
00000ffc: PUSH1 0x00
00000ffe: MSTORE
00000fff: PUSH1 0x20
00001001: PUSH1 0x00
00001003: KECCAK256
00001004: SWAP2
00001005: DUP3
00001006: ADD
00001007: SWAP2
00001008: ADD
00001009: PUSH2 0x1012
0000100c: SWAP2
0000100d: SWAP1
0000100e: PUSH2 0x0ca3
00001011: JUMP
00001012: JUMPDEST
00001013: POP
00001014: POP
00001015: POP
00001016: PUSH1 0x02
00001018: DUP4
00001019: ADD
0000101a: DUP2
0000101b: SWAP1
0000101c: SSTORE
0000101d: PUSH2 0x0104
00001020: DUP1
00001021: SLOAD
00001022: DUP8
00001023: SWAP3
00001024: SWAP1
00001025: DUP2
00001026: LT
00001027: ISZERO
00001028: PUSH2 0x0002
0000102b: JUMPI
0000102c: PUSH1 0x00
0000102e: SWAP2
0000102f: SWAP1
00001030: SWAP2
00001031: MSTORE
00001032: PUSH1 0x00
00001034: DUP1
00001035: MLOAD
00001036: PUSH1 0x20
00001038: PUSH2 0x132d
0000103b: DUP4
0000103c: CODECOPY
0000103d: DUP2
0000103e: MLOAD
0000103f: SWAP2
00001040: MSTORE
00001041: ADD
00001042: SSTORE
00001043: JUMPDEST
00001044: POP
00001045: PUSH1 0x01
00001047: DUP2
00001048: ADD
00001049: SLOAD
0000104a: PUSH1 0x02
0000104c: DUP4
0000104d: SWAP1
0000104e: EXP
0000104f: SWAP1
00001050: DUP2
00001051: AND
00001052: PUSH1 0x00
00001054: EQ
00001055: ISZERO
00001056: PUSH2 0x1114
00001059: JUMPI
0000105a: PUSH1 0x40
0000105c: DUP1
0000105d: MLOAD
0000105e: CALLER
0000105f: PUSH1 0x01
00001061: PUSH1 0xa0
00001063: PUSH1 0x02
00001065: EXP
00001066: SUB
00001067: AND
00001068: DUP2
00001069: MSTORE
0000106a: PUSH1 0x20
0000106c: DUP2
0000106d: ADD
0000106e: DUP8
0000106f: SWAP1
00001070: MSTORE
00001071: DUP2
00001072: MLOAD
00001073: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda
00001094: SWAP3
00001095: SWAP2
00001096: DUP2
00001097: SWAP1
00001098: SUB
00001099: SWAP1
0000109a: SWAP2
0000109b: ADD
0000109c: SWAP1
0000109d: LOG1
0000109e: DUP2
0000109f: SLOAD
000010a0: PUSH1 0x01
000010a2: SWAP1
000010a3: GT
000010a4: PUSH2 0x1101
000010a7: JUMPI
000010a8: PUSH1 0x00
000010aa: DUP6
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH2 0x0103
000010b0: PUSH1 0x20
000010b2: MSTORE
000010b3: PUSH1 0x40
000010b5: SWAP1
000010b6: KECCAK256
000010b7: PUSH1 0x02
000010b9: ADD
000010ba: SLOAD
000010bb: PUSH2 0x0104
000010be: DUP1
000010bf: SLOAD
000010c0: SWAP1
000010c1: SWAP2
000010c2: SWAP1
000010c3: DUP2
000010c4: LT
000010c5: ISZERO
000010c6: PUSH2 0x0002
000010c9: JUMPI
000010ca: PUSH1 0x40
000010cc: PUSH1 0x00
000010ce: SWAP1
000010cf: DUP2
000010d0: KECCAK256
000010d1: PUSH1 0x00
000010d3: DUP1
000010d4: MLOAD
000010d5: PUSH1 0x20
000010d7: PUSH2 0x132d
000010da: DUP4
000010db: CODECOPY
000010dc: DUP2
000010dd: MLOAD
000010de: SWAP2
000010df: MSTORE
000010e0: SWAP3
000010e1: SWAP1
000010e2: SWAP3
000010e3: ADD
000010e4: DUP2
000010e5: SWAP1
000010e6: SSTORE
000010e7: DUP1
000010e8: DUP3
000010e9: SSTORE
000010ea: PUSH1 0x01
000010ec: DUP3
000010ed: DUP2
000010ee: ADD
000010ef: DUP3
000010f0: SWAP1
000010f1: SSTORE
000010f2: PUSH1 0x02
000010f4: SWAP3
000010f5: SWAP1
000010f6: SWAP3
000010f7: ADD
000010f8: SSTORE
000010f9: SWAP5
000010fa: POP
000010fb: PUSH2 0x1114
000010fe: SWAP1
000010ff: POP
00001100: JUMP
00001101: JUMPDEST
00001102: DUP2
00001103: SLOAD
00001104: PUSH1 0x00
00001106: NOT
00001107: ADD
00001108: DUP3
00001109: SSTORE
0000110a: PUSH1 0x01
0000110c: DUP3
0000110d: ADD
0000110e: DUP1
0000110f: SLOAD
00001110: DUP3
00001111: OR
00001112: SWAP1
00001113: SSTORE
00001114: JUMPDEST
00001115: POP
00001116: POP
00001117: POP
00001118: SWAP2
00001119: SWAP1
0000111a: POP
0000111b: JUMP
0000111c: JUMPDEST
0000111d: JUMPDEST
0000111e: PUSH1 0x01
00001120: DUP1
00001121: SLOAD
00001122: GT
00001123: DUP1
00001124: ISZERO
00001125: PUSH2 0x113f
00001128: JUMPI
00001129: POP
0000112a: PUSH1 0x01
0000112c: SLOAD
0000112d: PUSH1 0x02
0000112f: SWAP1
00001130: PUSH2 0x0100
00001133: DUP2
00001134: LT
00001135: ISZERO
00001136: PUSH2 0x0002
00001139: JUMPI
0000113a: ADD
0000113b: SLOAD
0000113c: PUSH1 0x00
0000113e: EQ
0000113f: JUMPDEST
00001140: ISZERO
00001141: PUSH2 0x1153
00001144: JUMPI
00001145: PUSH1 0x01
00001147: DUP1
00001148: SLOAD
00001149: PUSH1 0x00
0000114b: NOT
0000114c: ADD
0000114d: SWAP1
0000114e: SSTORE
0000114f: PUSH2 0x111d
00001152: JUMP
00001153: JUMPDEST
00001154: PUSH1 0x01
00001156: SLOAD
00001157: DUP2
00001158: LT
00001159: DUP1
0000115a: ISZERO
0000115b: PUSH2 0x1176
0000115e: JUMPI
0000115f: POP
00001160: PUSH1 0x01
00001162: SLOAD
00001163: PUSH1 0x02
00001165: SWAP1
00001166: PUSH2 0x0100
00001169: DUP2
0000116a: LT
0000116b: ISZERO
0000116c: PUSH2 0x0002
0000116f: JUMPI
00001170: ADD
00001171: SLOAD
00001172: PUSH1 0x00
00001174: EQ
00001175: ISZERO
00001176: JUMPDEST
00001177: DUP1
00001178: ISZERO
00001179: PUSH2 0x1190
0000117c: JUMPI
0000117d: POP
0000117e: PUSH1 0x02
00001180: DUP2
00001181: PUSH2 0x0100
00001184: DUP2
00001185: LT
00001186: ISZERO
00001187: PUSH2 0x0002
0000118a: JUMPI
0000118b: ADD
0000118c: SLOAD
0000118d: PUSH1 0x00
0000118f: EQ
00001190: JUMPDEST
00001191: ISZERO
00001192: PUSH2 0x11f1
00001195: JUMPI
00001196: PUSH1 0x01
00001198: SLOAD
00001199: PUSH1 0x02
0000119b: SWAP1
0000119c: PUSH2 0x0100
0000119f: DUP2
000011a0: LT
000011a1: ISZERO
000011a2: PUSH2 0x0002
000011a5: JUMPI
000011a6: DUP2
000011a7: ADD
000011a8: SLOAD
000011a9: SWAP1
000011aa: DUP3
000011ab: PUSH2 0x0100
000011ae: DUP2
000011af: LT
000011b0: ISZERO
000011b1: PUSH2 0x0002
000011b4: JUMPI
000011b5: SWAP1
000011b6: SWAP1
000011b7: ADD
000011b8: PUSH1 0x00
000011ba: POP
000011bb: SSTORE
000011bc: DUP1
000011bd: PUSH2 0x0102
000011c0: PUSH1 0x00
000011c2: PUSH1 0x02
000011c4: DUP4
000011c5: PUSH2 0x0100
000011c8: DUP2
000011c9: LT
000011ca: ISZERO
000011cb: PUSH2 0x0002
000011ce: JUMPI
000011cf: DUP2
000011d0: ADD
000011d1: SLOAD
000011d2: DUP3
000011d3: MSTORE
000011d4: PUSH1 0x20
000011d6: SWAP3
000011d7: SWAP1
000011d8: SWAP3
000011d9: MSTORE
000011da: PUSH1 0x40
000011dc: DUP2
000011dd: KECCAK256
000011de: SWAP3
000011df: SWAP1
000011e0: SWAP3
000011e1: SSTORE
000011e2: PUSH1 0x01
000011e4: SLOAD
000011e5: PUSH2 0x0100
000011e8: DUP2
000011e9: LT
000011ea: ISZERO
000011eb: PUSH2 0x0002
000011ee: JUMPI
000011ef: ADD
000011f0: SSTORE
000011f1: JUMPDEST
000011f2: PUSH2 0x0964
000011f5: JUMP
000011f6: JUMPDEST
000011f7: ISZERO
000011f8: PUSH2 0x02e4
000011fb: JUMPI
000011fc: PUSH2 0x0107
000011ff: SLOAD
00001200: PUSH2 0x120c
00001203: JUMPDEST
00001204: PUSH3 0x015180
00001208: TIMESTAMP
00001209: DIV
0000120a: SWAP1
0000120b: JUMP
0000120c: JUMPDEST
0000120d: GT
0000120e: ISZERO
0000120f: PUSH2 0x1225
00001212: JUMPI
00001213: PUSH1 0x00
00001215: PUSH2 0x0106
00001218: SSTORE
00001219: PUSH2 0x1220
0000121c: PUSH2 0x1203
0000121f: JUMP
00001220: JUMPDEST
00001221: PUSH2 0x0107
00001224: SSTORE
00001225: JUMPDEST
00001226: PUSH2 0x0106
00001229: SLOAD
0000122a: DUP1
0000122b: DUP4
0000122c: ADD
0000122d: LT
0000122e: DUP1
0000122f: ISZERO
00001230: SWAP1
00001231: PUSH2 0x1242
00001234: JUMPI
00001235: POP
00001236: PUSH2 0x0105
00001239: SLOAD
0000123a: PUSH2 0x0106
0000123d: SLOAD
0000123e: DUP4
0000123f: ADD
00001240: GT
00001241: ISZERO
00001242: JUMPDEST
00001243: ISZERO
00001244: PUSH2 0x1258
00001247: JUMPI
00001248: POP
00001249: PUSH2 0x0106
0000124c: DUP1
0000124d: SLOAD
0000124e: DUP3
0000124f: ADD
00001250: SWAP1
00001251: SSTORE
00001252: PUSH1 0x01
00001254: PUSH2 0x02e4
00001257: JUMP
00001258: JUMPDEST
00001259: POP
0000125a: PUSH1 0x00
0000125c: PUSH2 0x02e4
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH2 0x0922
00001264: PUSH2 0x0104
00001267: SLOAD
00001268: PUSH1 0x00
0000126a: JUMPDEST
0000126b: DUP2
0000126c: DUP2
0000126d: LT
0000126e: ISZERO
0000126f: PUSH2 0x1303
00001272: JUMPI
00001273: PUSH2 0x0104
00001276: DUP1
00001277: SLOAD
00001278: DUP3
00001279: SWAP1
0000127a: DUP2
0000127b: LT
0000127c: ISZERO
0000127d: PUSH2 0x0002
00001280: JUMPI
00001281: PUSH1 0x00
00001283: SWAP2
00001284: DUP3
00001285: MSTORE
00001286: PUSH1 0x00
00001288: DUP1
00001289: MLOAD
0000128a: PUSH1 0x20
0000128c: PUSH2 0x132d
0000128f: DUP4
00001290: CODECOPY
00001291: DUP2
00001292: MLOAD
00001293: SWAP2
00001294: MSTORE
00001295: ADD
00001296: SLOAD
00001297: EQ
00001298: PUSH2 0x12dd
0000129b: JUMPI
0000129c: PUSH2 0x0104
0000129f: DUP1
000012a0: SLOAD
000012a1: PUSH2 0x0103
000012a4: SWAP2
000012a5: PUSH1 0x00
000012a7: SWAP2
000012a8: DUP5
000012a9: SWAP1
000012aa: DUP2
000012ab: LT
000012ac: ISZERO
000012ad: PUSH2 0x0002
000012b0: JUMPI
000012b1: PUSH1 0x00
000012b3: DUP1
000012b4: MLOAD
000012b5: PUSH1 0x20
000012b7: PUSH2 0x132d
000012ba: DUP4
000012bb: CODECOPY
000012bc: DUP2
000012bd: MLOAD
000012be: SWAP2
000012bf: MSTORE
000012c0: ADD
000012c1: SLOAD
000012c2: DUP3
000012c3: MSTORE
000012c4: POP
000012c5: PUSH1 0x20
000012c7: SWAP2
000012c8: SWAP1
000012c9: SWAP2
000012ca: MSTORE
000012cb: PUSH1 0x40
000012cd: DUP2
000012ce: KECCAK256
000012cf: DUP2
000012d0: DUP2
000012d1: SSTORE
000012d2: PUSH1 0x01
000012d4: DUP2
000012d5: ADD
000012d6: DUP3
000012d7: SWAP1
000012d8: SSTORE
000012d9: PUSH1 0x02
000012db: ADD
000012dc: SSTORE
000012dd: JUMPDEST
000012de: PUSH1 0x01
000012e0: ADD
000012e1: PUSH2 0x126a
000012e4: JUMP
000012e5: JUMPDEST
000012e6: PUSH1 0x1f
000012e8: ADD
000012e9: PUSH1 0x20
000012eb: SWAP1
000012ec: DIV
000012ed: SWAP1
000012ee: PUSH1 0x00
000012f0: MSTORE
000012f1: PUSH1 0x20
000012f3: PUSH1 0x00
000012f5: KECCAK256
000012f6: SWAP1
000012f7: DUP2
000012f8: ADD
000012f9: SWAP1
000012fa: PUSH2 0x088a
000012fd: SWAP2
000012fe: SWAP1
000012ff: PUSH2 0x0ca3
00001302: JUMP
00001303: JUMPDEST
00001304: PUSH2 0x0104
00001307: DUP1
00001308: SLOAD
00001309: PUSH1 0x00
0000130b: DUP1
0000130c: DUP4
0000130d: SSTORE
0000130e: SWAP2
0000130f: SWAP1
00001310: SWAP2
00001311: MSTORE
00001312: PUSH2 0x07c0
00001315: SWAP1
00001316: PUSH1 0x00
00001318: DUP1
00001319: MLOAD
0000131a: PUSH1 0x20
0000131c: PUSH2 0x132d
0000131f: DUP4
00001320: CODECOPY
00001321: DUP2
00001322: MLOAD
00001323: SWAP2
00001324: MSTORE
00001325: SWAP1
00001326: DUP2
00001327: ADD
00001328: SWAP1
00001329: PUSH2 0x0ca3
0000132c: JUMP
0000132d: UNKNOWN(0x4C)
0000132e: SIGNEXTEND
0000132f: UNKNOWN(0xE6)
00001330: MUL
00001331: STOP
00001332: STATICCALL
00001333: LOG2
00001334: SDIV
00001335: MSIZE
00001336: ADDRESS
00001337: DUP13
00001338: UNKNOWN(0xB7)
00001339: UNKNOWN(0xB5)
0000133a: LOG1
0000133b: UNKNOWN(0xBB)
0000133c: ORIGIN
0000133d: SSTORE
0000133e: UNKNOWN(0xC1)
0000133f: PUSH13 0xb1cab91f525b5ae7a03d02fabe
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": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4123cb6b",
            "selector": "0x4123cb6b",
            "calldata_variants": [
                "0x4123cb6b",
                "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x458e8a0a",
            "selector": "0x458e8a0a",
            "calldata_variants": [
                "0x458e8a0a",
                "0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c52c2f5",
            "selector": "0x5c52c2f5",
            "calldata_variants": [
                "0x5c52c2f5",
                "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x632a9a52",
            "selector": "0x632a9a52",
            "calldata_variants": [
                "0x632a9a52",
                "0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7065cb48",
            "selector": "0x7065cb48",
            "calldata_variants": [
                "0x7065cb48",
                "0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x746c9171",
            "selector": "0x746c9171",
            "calldata_variants": [
                "0x746c9171",
                "0x746c91710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 4924,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xa3756598bd436a51a724e24535e0be986a34781e16d3e0ada92d510aeaca9aed
call_targets: 0x0d19a6327085af5a9124277b2221ec0f0d8c2f6f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa3756598bd436a51a724e24535e0be986a34781e16d3e0ada92d510aeaca9aed",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0d19a6327085af5a9124277b2221ec0f0d8c2f6f"
    ],
    "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": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4123cb6b",
            "selector": "0x4123cb6b",
            "calldata_variants": [
                "0x4123cb6b",
                "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x458e8a0a",
            "selector": "0x458e8a0a",
            "calldata_variants": [
                "0x458e8a0a",
                "0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c52c2f5",
            "selector": "0x5c52c2f5",
            "calldata_variants": [
                "0x5c52c2f5",
                "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x632a9a52",
            "selector": "0x632a9a52",
            "calldata_variants": [
                "0x632a9a52",
                "0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7065cb48",
            "selector": "0x7065cb48",
            "calldata_variants": [
                "0x7065cb48",
                "0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x746c9171",
            "selector": "0x746c9171",
            "calldata_variants": [
                "0x746c9171",
                "0x746c91710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 363,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 430,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 521,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [
        {
            "pc": 4924,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 9
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xa3756598bd436a51a724e24535e0be986a34781e16d3e0ada92d510aeaca9aed
call_targets: 0x0d19a6327085af5a9124277b2221ec0f0d8c2f6f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa3756598bd436a51a724e24535e0be986a34781e16d3e0ada92d510aeaca9aed",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0d19a6327085af5a9124277b2221ec0f0d8c2f6f"
    ],
    "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": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4123cb6b",
            "selector": "0x4123cb6b",
            "calldata_variants": [
                "0x4123cb6b",
                "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x458e8a0a",
            "selector": "0x458e8a0a",
            "calldata_variants": [
                "0x458e8a0a",
                "0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c52c2f5",
            "selector": "0x5c52c2f5",
            "calldata_variants": [
                "0x5c52c2f5",
                "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x632a9a52",
            "selector": "0x632a9a52",
            "calldata_variants": [
                "0x632a9a52",
                "0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7065cb48",
            "selector": "0x7065cb48",
            "calldata_variants": [
                "0x7065cb48",
                "0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x746c9171",
            "selector": "0x746c9171",
            "calldata_variants": [
                "0x746c9171",
                "0x746c91710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 363,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 430,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 521,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": [
        {
            "pc": 4924,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector SELFDESTRUCT reachable 45 no no
view
trace_id: 0x7abcf0ee50a79e7e592758ce1c04a96d822014c5f1bd956c9203eb929d3d51b0
validation_json
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x7abcf0ee50a79e7e592758ce1c04a96d822014c5f1bd956c9203eb929d3d51b0",
    "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": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4123cb6b",
            "selector": "0x4123cb6b",
            "calldata_variants": [
                "0x4123cb6b",
                "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x458e8a0a",
            "selector": "0x458e8a0a",
            "calldata_variants": [
                "0x458e8a0a",
                "0x458e8a0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c52c2f5",
            "selector": "0x5c52c2f5",
            "calldata_variants": [
                "0x5c52c2f5",
                "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x632a9a52",
            "selector": "0x632a9a52",
            "calldata_variants": [
                "0x632a9a52",
                "0x632a9a520000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7065cb48",
            "selector": "0x7065cb48",
            "calldata_variants": [
                "0x7065cb48",
                "0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x746c9171",
            "selector": "0x746c9171",
            "calldata_variants": [
                "0x746c9171",
                "0x746c91710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 4924,
            "type": "tx_origin_used"
        }
    ],
    "selfdestruct_count": 1
}