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

Analysis Run

019b477e-c525-71bb-b106-796eb21489da

complete
Chain ID
1
Address
0x76e85357ceea755dc6c4a01df15b3af774c21945
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
25529 artifact.fetch complete 1 / 3 3 months ago
25530 tool.cast_disasm complete 1 / 3 3 months ago
91065 analysis.bundle complete 1 / 3 2 weeks ago
91066 capability.graph complete 1 / 3 2 weeks ago
91067 detector.run complete 1 / 3 2 weeks ago
91068 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)
3
EXT*/BALANCE
2
Total opcodes
1915
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x009a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8b83209b
00000019: GT
0000001a: PUSH2 0x0069
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce7c2ac2
00000024: GT
00000025: PUSH2 0x004e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xce7c2ac2
0000002f: EQ
00000030: PUSH2 0x0202
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd79779b2
0000003a: EQ
0000003b: PUSH2 0x0238
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe33b7de3
00000045: EQ
00000046: PUSH2 0x026e
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x8b83209b
00000055: EQ
00000056: PUSH2 0x0194
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x9852595c
00000060: EQ
00000061: PUSH2 0x01cc
00000064: JUMPI
00000065: PUSH1 0x00
00000067: DUP1
00000068: REVERT
00000069: JUMPDEST
0000006a: DUP1
0000006b: PUSH4 0x19165587
00000070: EQ
00000071: PUSH2 0x00e8
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x3a98ef39
0000007b: EQ
0000007c: PUSH2 0x010a
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x406072a9
00000086: EQ
00000087: PUSH2 0x012e
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x48b75044
00000091: EQ
00000092: PUSH2 0x0174
00000095: JUMPI
00000096: PUSH1 0x00
00000098: DUP1
00000099: REVERT
0000009a: JUMPDEST
0000009b: CALLDATASIZE
0000009c: PUSH2 0x00e3
0000009f: JUMPI
000000a0: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
000000c1: CALLER
000000c2: PUSH1 0x40
000000c4: DUP1
000000c5: MLOAD
000000c6: PUSH1 0x01
000000c8: PUSH1 0x01
000000ca: PUSH1 0xa0
000000cc: SHL
000000cd: SUB
000000ce: SWAP1
000000cf: SWAP3
000000d0: AND
000000d1: DUP3
000000d2: MSTORE
000000d3: CALLVALUE
000000d4: PUSH1 0x20
000000d6: DUP4
000000d7: ADD
000000d8: MSTORE
000000d9: ADD
000000da: PUSH1 0x40
000000dc: MLOAD
000000dd: DUP1
000000de: SWAP2
000000df: SUB
000000e0: SWAP1
000000e1: LOG1
000000e2: STOP
000000e3: JUMPDEST
000000e4: PUSH1 0x00
000000e6: DUP1
000000e7: REVERT
000000e8: JUMPDEST
000000e9: CALLVALUE
000000ea: DUP1
000000eb: ISZERO
000000ec: PUSH2 0x00f4
000000ef: JUMPI
000000f0: PUSH1 0x00
000000f2: DUP1
000000f3: REVERT
000000f4: JUMPDEST
000000f5: POP
000000f6: PUSH2 0x0108
000000f9: PUSH2 0x0103
000000fc: CALLDATASIZE
000000fd: PUSH1 0x04
000000ff: PUSH2 0x0ac1
00000102: JUMP
00000103: JUMPDEST
00000104: PUSH2 0x0283
00000107: JUMP
00000108: JUMPDEST
00000109: STOP
0000010a: JUMPDEST
0000010b: CALLVALUE
0000010c: DUP1
0000010d: ISZERO
0000010e: PUSH2 0x0116
00000111: JUMPI
00000112: PUSH1 0x00
00000114: DUP1
00000115: REVERT
00000116: JUMPDEST
00000117: POP
00000118: PUSH1 0x00
0000011a: SLOAD
0000011b: JUMPDEST
0000011c: PUSH1 0x40
0000011e: MLOAD
0000011f: SWAP1
00000120: DUP2
00000121: MSTORE
00000122: PUSH1 0x20
00000124: ADD
00000125: JUMPDEST
00000126: PUSH1 0x40
00000128: MLOAD
00000129: DUP1
0000012a: SWAP2
0000012b: SUB
0000012c: SWAP1
0000012d: RETURN
0000012e: JUMPDEST
0000012f: CALLVALUE
00000130: DUP1
00000131: ISZERO
00000132: PUSH2 0x013a
00000135: JUMPI
00000136: PUSH1 0x00
00000138: DUP1
00000139: REVERT
0000013a: JUMPDEST
0000013b: POP
0000013c: PUSH2 0x011b
0000013f: PUSH2 0x0149
00000142: CALLDATASIZE
00000143: PUSH1 0x04
00000145: PUSH2 0x0ade
00000148: JUMP
00000149: JUMPDEST
0000014a: PUSH1 0x01
0000014c: PUSH1 0x01
0000014e: PUSH1 0xa0
00000150: SHL
00000151: SUB
00000152: SWAP2
00000153: DUP3
00000154: AND
00000155: PUSH1 0x00
00000157: SWAP1
00000158: DUP2
00000159: MSTORE
0000015a: PUSH1 0x06
0000015c: PUSH1 0x20
0000015e: SWAP1
0000015f: DUP2
00000160: MSTORE
00000161: PUSH1 0x40
00000163: DUP1
00000164: DUP4
00000165: KECCAK256
00000166: SWAP4
00000167: SWAP1
00000168: SWAP5
00000169: AND
0000016a: DUP3
0000016b: MSTORE
0000016c: SWAP2
0000016d: SWAP1
0000016e: SWAP2
0000016f: MSTORE
00000170: KECCAK256
00000171: SLOAD
00000172: SWAP1
00000173: JUMP
00000174: JUMPDEST
00000175: CALLVALUE
00000176: DUP1
00000177: ISZERO
00000178: PUSH2 0x0180
0000017b: JUMPI
0000017c: PUSH1 0x00
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: POP
00000182: PUSH2 0x0108
00000185: PUSH2 0x018f
00000188: CALLDATASIZE
00000189: PUSH1 0x04
0000018b: PUSH2 0x0ade
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH2 0x0439
00000193: JUMP
00000194: JUMPDEST
00000195: CALLVALUE
00000196: DUP1
00000197: ISZERO
00000198: PUSH2 0x01a0
0000019b: JUMPI
0000019c: PUSH1 0x00
0000019e: DUP1
0000019f: REVERT
000001a0: JUMPDEST
000001a1: POP
000001a2: PUSH2 0x01b4
000001a5: PUSH2 0x01af
000001a8: CALLDATASIZE
000001a9: PUSH1 0x04
000001ab: PUSH2 0x0b17
000001ae: JUMP
000001af: JUMPDEST
000001b0: PUSH2 0x06bd
000001b3: JUMP
000001b4: JUMPDEST
000001b5: PUSH1 0x40
000001b7: MLOAD
000001b8: PUSH1 0x01
000001ba: PUSH1 0x01
000001bc: PUSH1 0xa0
000001be: SHL
000001bf: SUB
000001c0: SWAP1
000001c1: SWAP2
000001c2: AND
000001c3: DUP2
000001c4: MSTORE
000001c5: PUSH1 0x20
000001c7: ADD
000001c8: PUSH2 0x0125
000001cb: JUMP
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d8
000001d3: JUMPI
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: POP
000001da: PUSH2 0x011b
000001dd: PUSH2 0x01e7
000001e0: CALLDATASIZE
000001e1: PUSH1 0x04
000001e3: PUSH2 0x0ac1
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH1 0x01
000001ea: PUSH1 0x01
000001ec: PUSH1 0xa0
000001ee: SHL
000001ef: SUB
000001f0: AND
000001f1: PUSH1 0x00
000001f3: SWAP1
000001f4: DUP2
000001f5: MSTORE
000001f6: PUSH1 0x03
000001f8: PUSH1 0x20
000001fa: MSTORE
000001fb: PUSH1 0x40
000001fd: SWAP1
000001fe: KECCAK256
000001ff: SLOAD
00000200: SWAP1
00000201: JUMP
00000202: JUMPDEST
00000203: CALLVALUE
00000204: DUP1
00000205: ISZERO
00000206: PUSH2 0x020e
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: POP
00000210: PUSH2 0x011b
00000213: PUSH2 0x021d
00000216: CALLDATASIZE
00000217: PUSH1 0x04
00000219: PUSH2 0x0ac1
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH1 0x01
00000220: PUSH1 0x01
00000222: PUSH1 0xa0
00000224: SHL
00000225: SUB
00000226: AND
00000227: PUSH1 0x00
00000229: SWAP1
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x02
0000022e: PUSH1 0x20
00000230: MSTORE
00000231: PUSH1 0x40
00000233: SWAP1
00000234: KECCAK256
00000235: SLOAD
00000236: SWAP1
00000237: JUMP
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: POP
00000246: PUSH2 0x011b
00000249: PUSH2 0x0253
0000024c: CALLDATASIZE
0000024d: PUSH1 0x04
0000024f: PUSH2 0x0ac1
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH1 0x01
00000256: PUSH1 0x01
00000258: PUSH1 0xa0
0000025a: SHL
0000025b: SUB
0000025c: AND
0000025d: PUSH1 0x00
0000025f: SWAP1
00000260: DUP2
00000261: MSTORE
00000262: PUSH1 0x05
00000264: PUSH1 0x20
00000266: MSTORE
00000267: PUSH1 0x40
00000269: SWAP1
0000026a: KECCAK256
0000026b: SLOAD
0000026c: SWAP1
0000026d: JUMP
0000026e: JUMPDEST
0000026f: CALLVALUE
00000270: DUP1
00000271: ISZERO
00000272: PUSH2 0x027a
00000275: JUMPI
00000276: PUSH1 0x00
00000278: DUP1
00000279: REVERT
0000027a: JUMPDEST
0000027b: POP
0000027c: PUSH1 0x01
0000027e: SLOAD
0000027f: PUSH2 0x011b
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH1 0x01
00000286: PUSH1 0x01
00000288: PUSH1 0xa0
0000028a: SHL
0000028b: SUB
0000028c: DUP2
0000028d: AND
0000028e: PUSH1 0x00
00000290: SWAP1
00000291: DUP2
00000292: MSTORE
00000293: PUSH1 0x02
00000295: PUSH1 0x20
00000297: MSTORE
00000298: PUSH1 0x40
0000029a: SWAP1
0000029b: KECCAK256
0000029c: SLOAD
0000029d: PUSH2 0x02fc
000002a0: JUMPI
000002a1: PUSH1 0x40
000002a3: MLOAD
000002a4: PUSH3 0x461bcd
000002a8: PUSH1 0xe5
000002aa: SHL
000002ab: DUP2
000002ac: MSTORE
000002ad: PUSH1 0x20
000002af: PUSH1 0x04
000002b1: DUP3
000002b2: ADD
000002b3: MSTORE
000002b4: PUSH1 0x26
000002b6: PUSH1 0x24
000002b8: DUP3
000002b9: ADD
000002ba: MSTORE
000002bb: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
000002dc: PUSH1 0x44
000002de: DUP3
000002df: ADD
000002e0: MSTORE
000002e1: PUSH6 0x736861726573
000002e8: PUSH1 0xd0
000002ea: SHL
000002eb: PUSH1 0x64
000002ed: DUP3
000002ee: ADD
000002ef: MSTORE
000002f0: PUSH1 0x84
000002f2: ADD
000002f3: JUMPDEST
000002f4: PUSH1 0x40
000002f6: MLOAD
000002f7: DUP1
000002f8: SWAP2
000002f9: SUB
000002fa: SWAP1
000002fb: REVERT
000002fc: JUMPDEST
000002fd: PUSH1 0x00
000002ff: PUSH2 0x0307
00000302: PUSH1 0x01
00000304: SLOAD
00000305: SWAP1
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH2 0x0311
0000030b: SWAP1
0000030c: SELFBALANCE
0000030d: PUSH2 0x0b46
00000310: JUMP
00000311: JUMPDEST
00000312: SWAP1
00000313: POP
00000314: PUSH1 0x00
00000316: PUSH2 0x033e
00000319: DUP4
0000031a: DUP4
0000031b: PUSH2 0x0339
0000031e: DUP7
0000031f: PUSH1 0x01
00000321: PUSH1 0x01
00000323: PUSH1 0xa0
00000325: SHL
00000326: SUB
00000327: AND
00000328: PUSH1 0x00
0000032a: SWAP1
0000032b: DUP2
0000032c: MSTORE
0000032d: PUSH1 0x03
0000032f: PUSH1 0x20
00000331: MSTORE
00000332: PUSH1 0x40
00000334: SWAP1
00000335: KECCAK256
00000336: SLOAD
00000337: SWAP1
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH2 0x06ed
0000033d: JUMP
0000033e: JUMPDEST
0000033f: SWAP1
00000340: POP
00000341: DUP1
00000342: PUSH2 0x03a1
00000345: JUMPI
00000346: PUSH1 0x40
00000348: MLOAD
00000349: PUSH3 0x461bcd
0000034d: PUSH1 0xe5
0000034f: SHL
00000350: DUP2
00000351: MSTORE
00000352: PUSH1 0x20
00000354: PUSH1 0x04
00000356: DUP3
00000357: ADD
00000358: MSTORE
00000359: PUSH1 0x2b
0000035b: PUSH1 0x24
0000035d: DUP3
0000035e: ADD
0000035f: MSTORE
00000360: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000381: PUSH1 0x44
00000383: DUP3
00000384: ADD
00000385: MSTORE
00000386: PUSH11 0x191d59481c185e5b595b9d
00000392: PUSH1 0xaa
00000394: SHL
00000395: PUSH1 0x64
00000397: DUP3
00000398: ADD
00000399: MSTORE
0000039a: PUSH1 0x84
0000039c: ADD
0000039d: PUSH2 0x02f3
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH1 0x01
000003a4: PUSH1 0x01
000003a6: PUSH1 0xa0
000003a8: SHL
000003a9: SUB
000003aa: DUP4
000003ab: AND
000003ac: PUSH1 0x00
000003ae: SWAP1
000003af: DUP2
000003b0: MSTORE
000003b1: PUSH1 0x03
000003b3: PUSH1 0x20
000003b5: MSTORE
000003b6: PUSH1 0x40
000003b8: DUP2
000003b9: KECCAK256
000003ba: DUP1
000003bb: SLOAD
000003bc: DUP4
000003bd: SWAP3
000003be: SWAP1
000003bf: PUSH2 0x03c9
000003c2: SWAP1
000003c3: DUP5
000003c4: SWAP1
000003c5: PUSH2 0x0b46
000003c8: JUMP
000003c9: JUMPDEST
000003ca: SWAP3
000003cb: POP
000003cc: POP
000003cd: DUP2
000003ce: SWAP1
000003cf: SSTORE
000003d0: POP
000003d1: DUP1
000003d2: PUSH1 0x01
000003d4: PUSH1 0x00
000003d6: DUP3
000003d7: DUP3
000003d8: SLOAD
000003d9: PUSH2 0x03e2
000003dc: SWAP2
000003dd: SWAP1
000003de: PUSH2 0x0b46
000003e1: JUMP
000003e2: JUMPDEST
000003e3: SWAP1
000003e4: SWAP2
000003e5: SSTORE
000003e6: POP
000003e7: PUSH2 0x03f2
000003ea: SWAP1
000003eb: POP
000003ec: DUP4
000003ed: DUP3
000003ee: PUSH2 0x0732
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH1 0x40
000003f5: DUP1
000003f6: MLOAD
000003f7: PUSH1 0x01
000003f9: PUSH1 0x01
000003fb: PUSH1 0xa0
000003fd: SHL
000003fe: SUB
000003ff: DUP6
00000400: AND
00000401: DUP2
00000402: MSTORE
00000403: PUSH1 0x20
00000405: DUP2
00000406: ADD
00000407: DUP4
00000408: SWAP1
00000409: MSTORE
0000040a: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
0000042b: SWAP2
0000042c: ADD
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: DUP1
00000431: SWAP2
00000432: SUB
00000433: SWAP1
00000434: LOG1
00000435: POP
00000436: POP
00000437: POP
00000438: JUMP
00000439: JUMPDEST
0000043a: PUSH1 0x01
0000043c: PUSH1 0x01
0000043e: PUSH1 0xa0
00000440: SHL
00000441: SUB
00000442: DUP2
00000443: AND
00000444: PUSH1 0x00
00000446: SWAP1
00000447: DUP2
00000448: MSTORE
00000449: PUSH1 0x02
0000044b: PUSH1 0x20
0000044d: MSTORE
0000044e: PUSH1 0x40
00000450: SWAP1
00000451: KECCAK256
00000452: SLOAD
00000453: PUSH2 0x04ad
00000456: JUMPI
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: PUSH3 0x461bcd
0000045e: PUSH1 0xe5
00000460: SHL
00000461: DUP2
00000462: MSTORE
00000463: PUSH1 0x20
00000465: PUSH1 0x04
00000467: DUP3
00000468: ADD
00000469: MSTORE
0000046a: PUSH1 0x26
0000046c: PUSH1 0x24
0000046e: DUP3
0000046f: ADD
00000470: MSTORE
00000471: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00000492: PUSH1 0x44
00000494: DUP3
00000495: ADD
00000496: MSTORE
00000497: PUSH6 0x736861726573
0000049e: PUSH1 0xd0
000004a0: SHL
000004a1: PUSH1 0x64
000004a3: DUP3
000004a4: ADD
000004a5: MSTORE
000004a6: PUSH1 0x84
000004a8: ADD
000004a9: PUSH2 0x02f3
000004ac: JUMP
000004ad: JUMPDEST
000004ae: PUSH1 0x01
000004b0: PUSH1 0x01
000004b2: PUSH1 0xa0
000004b4: SHL
000004b5: SUB
000004b6: DUP3
000004b7: AND
000004b8: PUSH1 0x00
000004ba: SWAP1
000004bb: DUP2
000004bc: MSTORE
000004bd: PUSH1 0x05
000004bf: PUSH1 0x20
000004c1: MSTORE
000004c2: PUSH1 0x40
000004c4: DUP2
000004c5: KECCAK256
000004c6: SLOAD
000004c7: PUSH1 0x40
000004c9: MLOAD
000004ca: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000004eb: DUP2
000004ec: MSTORE
000004ed: ADDRESS
000004ee: PUSH1 0x04
000004f0: DUP3
000004f1: ADD
000004f2: MSTORE
000004f3: PUSH1 0x01
000004f5: PUSH1 0x01
000004f7: PUSH1 0xa0
000004f9: SHL
000004fa: SUB
000004fb: DUP6
000004fc: AND
000004fd: SWAP1
000004fe: PUSH4 0x70a08231
00000503: SWAP1
00000504: PUSH1 0x24
00000506: ADD
00000507: PUSH1 0x20
00000509: PUSH1 0x40
0000050b: MLOAD
0000050c: DUP1
0000050d: DUP4
0000050e: SUB
0000050f: DUP2
00000510: DUP7
00000511: DUP1
00000512: EXTCODESIZE
00000513: ISZERO
00000514: DUP1
00000515: ISZERO
00000516: PUSH2 0x051e
00000519: JUMPI
0000051a: PUSH1 0x00
0000051c: DUP1
0000051d: REVERT
0000051e: JUMPDEST
0000051f: POP
00000520: GAS
00000521: STATICCALL
00000522: ISZERO
00000523: DUP1
00000524: ISZERO
00000525: PUSH2 0x0532
00000528: JUMPI
00000529: RETURNDATASIZE
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: RETURNDATACOPY
0000052e: RETURNDATASIZE
0000052f: PUSH1 0x00
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: POP
00000535: POP
00000536: POP
00000537: PUSH1 0x40
00000539: MLOAD
0000053a: RETURNDATASIZE
0000053b: PUSH1 0x1f
0000053d: NOT
0000053e: PUSH1 0x1f
00000540: DUP3
00000541: ADD
00000542: AND
00000543: DUP3
00000544: ADD
00000545: DUP1
00000546: PUSH1 0x40
00000548: MSTORE
00000549: POP
0000054a: DUP2
0000054b: ADD
0000054c: SWAP1
0000054d: PUSH2 0x0556
00000550: SWAP2
00000551: SWAP1
00000552: PUSH2 0x0b5e
00000555: JUMP
00000556: JUMPDEST
00000557: PUSH2 0x0560
0000055a: SWAP2
0000055b: SWAP1
0000055c: PUSH2 0x0b46
0000055f: JUMP
00000560: JUMPDEST
00000561: SWAP1
00000562: POP
00000563: PUSH1 0x00
00000565: PUSH2 0x0599
00000568: DUP4
00000569: DUP4
0000056a: PUSH2 0x0339
0000056d: DUP8
0000056e: DUP8
0000056f: PUSH1 0x01
00000571: PUSH1 0x01
00000573: PUSH1 0xa0
00000575: SHL
00000576: SUB
00000577: SWAP2
00000578: DUP3
00000579: AND
0000057a: PUSH1 0x00
0000057c: SWAP1
0000057d: DUP2
0000057e: MSTORE
0000057f: PUSH1 0x06
00000581: PUSH1 0x20
00000583: SWAP1
00000584: DUP2
00000585: MSTORE
00000586: PUSH1 0x40
00000588: DUP1
00000589: DUP4
0000058a: KECCAK256
0000058b: SWAP4
0000058c: SWAP1
0000058d: SWAP5
0000058e: AND
0000058f: DUP3
00000590: MSTORE
00000591: SWAP2
00000592: SWAP1
00000593: SWAP2
00000594: MSTORE
00000595: KECCAK256
00000596: SLOAD
00000597: SWAP1
00000598: JUMP
00000599: JUMPDEST
0000059a: SWAP1
0000059b: POP
0000059c: DUP1
0000059d: PUSH2 0x05fc
000005a0: JUMPI
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: PUSH3 0x461bcd
000005a8: PUSH1 0xe5
000005aa: SHL
000005ab: DUP2
000005ac: MSTORE
000005ad: PUSH1 0x20
000005af: PUSH1 0x04
000005b1: DUP3
000005b2: ADD
000005b3: MSTORE
000005b4: PUSH1 0x2b
000005b6: PUSH1 0x24
000005b8: DUP3
000005b9: ADD
000005ba: MSTORE
000005bb: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
000005dc: PUSH1 0x44
000005de: DUP3
000005df: ADD
000005e0: MSTORE
000005e1: PUSH11 0x191d59481c185e5b595b9d
000005ed: PUSH1 0xaa
000005ef: SHL
000005f0: PUSH1 0x64
000005f2: DUP3
000005f3: ADD
000005f4: MSTORE
000005f5: PUSH1 0x84
000005f7: ADD
000005f8: PUSH2 0x02f3
000005fb: JUMP
000005fc: JUMPDEST
000005fd: PUSH1 0x01
000005ff: PUSH1 0x01
00000601: PUSH1 0xa0
00000603: SHL
00000604: SUB
00000605: DUP1
00000606: DUP6
00000607: AND
00000608: PUSH1 0x00
0000060a: SWAP1
0000060b: DUP2
0000060c: MSTORE
0000060d: PUSH1 0x06
0000060f: PUSH1 0x20
00000611: SWAP1
00000612: DUP2
00000613: MSTORE
00000614: PUSH1 0x40
00000616: DUP1
00000617: DUP4
00000618: KECCAK256
00000619: SWAP4
0000061a: DUP8
0000061b: AND
0000061c: DUP4
0000061d: MSTORE
0000061e: SWAP3
0000061f: SWAP1
00000620: MSTORE
00000621: SWAP1
00000622: DUP2
00000623: KECCAK256
00000624: DUP1
00000625: SLOAD
00000626: DUP4
00000627: SWAP3
00000628: SWAP1
00000629: PUSH2 0x0633
0000062c: SWAP1
0000062d: DUP5
0000062e: SWAP1
0000062f: PUSH2 0x0b46
00000632: JUMP
00000633: JUMPDEST
00000634: SWAP1
00000635: SWAP2
00000636: SSTORE
00000637: POP
00000638: POP
00000639: PUSH1 0x01
0000063b: PUSH1 0x01
0000063d: PUSH1 0xa0
0000063f: SHL
00000640: SUB
00000641: DUP5
00000642: AND
00000643: PUSH1 0x00
00000645: SWAP1
00000646: DUP2
00000647: MSTORE
00000648: PUSH1 0x05
0000064a: PUSH1 0x20
0000064c: MSTORE
0000064d: PUSH1 0x40
0000064f: DUP2
00000650: KECCAK256
00000651: DUP1
00000652: SLOAD
00000653: DUP4
00000654: SWAP3
00000655: SWAP1
00000656: PUSH2 0x0660
00000659: SWAP1
0000065a: DUP5
0000065b: SWAP1
0000065c: PUSH2 0x0b46
0000065f: JUMP
00000660: JUMPDEST
00000661: SWAP1
00000662: SWAP2
00000663: SSTORE
00000664: POP
00000665: PUSH2 0x0671
00000668: SWAP1
00000669: POP
0000066a: DUP5
0000066b: DUP5
0000066c: DUP4
0000066d: PUSH2 0x0850
00000670: JUMP
00000671: JUMPDEST
00000672: PUSH1 0x40
00000674: DUP1
00000675: MLOAD
00000676: PUSH1 0x01
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: SHL
0000067d: SUB
0000067e: DUP6
0000067f: DUP2
00000680: AND
00000681: DUP3
00000682: MSTORE
00000683: PUSH1 0x20
00000685: DUP3
00000686: ADD
00000687: DUP5
00000688: SWAP1
00000689: MSTORE
0000068a: DUP7
0000068b: AND
0000068c: SWAP2
0000068d: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
000006ae: SWAP2
000006af: ADD
000006b0: PUSH1 0x40
000006b2: MLOAD
000006b3: DUP1
000006b4: SWAP2
000006b5: SUB
000006b6: SWAP1
000006b7: LOG2
000006b8: POP
000006b9: POP
000006ba: POP
000006bb: POP
000006bc: JUMP
000006bd: JUMPDEST
000006be: PUSH1 0x00
000006c0: PUSH1 0x04
000006c2: DUP3
000006c3: DUP2
000006c4: SLOAD
000006c5: DUP2
000006c6: LT
000006c7: PUSH2 0x06d2
000006ca: JUMPI
000006cb: PUSH2 0x06d2
000006ce: PUSH2 0x0b77
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x00
000006d5: SWAP2
000006d6: DUP3
000006d7: MSTORE
000006d8: PUSH1 0x20
000006da: SWAP1
000006db: SWAP2
000006dc: KECCAK256
000006dd: ADD
000006de: SLOAD
000006df: PUSH1 0x01
000006e1: PUSH1 0x01
000006e3: PUSH1 0xa0
000006e5: SHL
000006e6: SUB
000006e7: AND
000006e8: SWAP3
000006e9: SWAP2
000006ea: POP
000006eb: POP
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH1 0x00
000006f0: DUP1
000006f1: SLOAD
000006f2: PUSH1 0x01
000006f4: PUSH1 0x01
000006f6: PUSH1 0xa0
000006f8: SHL
000006f9: SUB
000006fa: DUP6
000006fb: AND
000006fc: DUP3
000006fd: MSTORE
000006fe: PUSH1 0x02
00000700: PUSH1 0x20
00000702: MSTORE
00000703: PUSH1 0x40
00000705: DUP3
00000706: KECCAK256
00000707: SLOAD
00000708: DUP4
00000709: SWAP2
0000070a: SWAP1
0000070b: PUSH2 0x0714
0000070e: SWAP1
0000070f: DUP7
00000710: PUSH2 0x0b8d
00000713: JUMP
00000714: JUMPDEST
00000715: PUSH2 0x071e
00000718: SWAP2
00000719: SWAP1
0000071a: PUSH2 0x0bac
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH2 0x0728
00000722: SWAP2
00000723: SWAP1
00000724: PUSH2 0x0bce
00000727: JUMP
00000728: JUMPDEST
00000729: SWAP1
0000072a: POP
0000072b: JUMPDEST
0000072c: SWAP4
0000072d: SWAP3
0000072e: POP
0000072f: POP
00000730: POP
00000731: JUMP
00000732: JUMPDEST
00000733: DUP1
00000734: SELFBALANCE
00000735: LT
00000736: ISZERO
00000737: PUSH2 0x0782
0000073a: JUMPI
0000073b: PUSH1 0x40
0000073d: MLOAD
0000073e: PUSH3 0x461bcd
00000742: PUSH1 0xe5
00000744: SHL
00000745: DUP2
00000746: MSTORE
00000747: PUSH1 0x20
00000749: PUSH1 0x04
0000074b: DUP3
0000074c: ADD
0000074d: MSTORE
0000074e: PUSH1 0x1d
00000750: PUSH1 0x24
00000752: DUP3
00000753: ADD
00000754: MSTORE
00000755: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00000776: PUSH1 0x44
00000778: DUP3
00000779: ADD
0000077a: MSTORE
0000077b: PUSH1 0x64
0000077d: ADD
0000077e: PUSH2 0x02f3
00000781: JUMP
00000782: JUMPDEST
00000783: PUSH1 0x00
00000785: DUP3
00000786: PUSH1 0x01
00000788: PUSH1 0x01
0000078a: PUSH1 0xa0
0000078c: SHL
0000078d: SUB
0000078e: AND
0000078f: DUP3
00000790: PUSH1 0x40
00000792: MLOAD
00000793: PUSH1 0x00
00000795: PUSH1 0x40
00000797: MLOAD
00000798: DUP1
00000799: DUP4
0000079a: SUB
0000079b: DUP2
0000079c: DUP6
0000079d: DUP8
0000079e: GAS
0000079f: CALL
000007a0: SWAP3
000007a1: POP
000007a2: POP
000007a3: POP
000007a4: RETURNDATASIZE
000007a5: DUP1
000007a6: PUSH1 0x00
000007a8: DUP2
000007a9: EQ
000007aa: PUSH2 0x07cf
000007ad: JUMPI
000007ae: PUSH1 0x40
000007b0: MLOAD
000007b1: SWAP2
000007b2: POP
000007b3: PUSH1 0x1f
000007b5: NOT
000007b6: PUSH1 0x3f
000007b8: RETURNDATASIZE
000007b9: ADD
000007ba: AND
000007bb: DUP3
000007bc: ADD
000007bd: PUSH1 0x40
000007bf: MSTORE
000007c0: RETURNDATASIZE
000007c1: DUP3
000007c2: MSTORE
000007c3: RETURNDATASIZE
000007c4: PUSH1 0x00
000007c6: PUSH1 0x20
000007c8: DUP5
000007c9: ADD
000007ca: RETURNDATACOPY
000007cb: PUSH2 0x07d4
000007ce: JUMP
000007cf: JUMPDEST
000007d0: PUSH1 0x60
000007d2: SWAP2
000007d3: POP
000007d4: JUMPDEST
000007d5: POP
000007d6: POP
000007d7: SWAP1
000007d8: POP
000007d9: DUP1
000007da: PUSH2 0x084b
000007dd: JUMPI
000007de: PUSH1 0x40
000007e0: MLOAD
000007e1: PUSH3 0x461bcd
000007e5: PUSH1 0xe5
000007e7: SHL
000007e8: DUP2
000007e9: MSTORE
000007ea: PUSH1 0x20
000007ec: PUSH1 0x04
000007ee: DUP3
000007ef: ADD
000007f0: MSTORE
000007f1: PUSH1 0x3a
000007f3: PUSH1 0x24
000007f5: DUP3
000007f6: ADD
000007f7: MSTORE
000007f8: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00000819: PUSH1 0x44
0000081b: DUP3
0000081c: ADD
0000081d: MSTORE
0000081e: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
0000083f: PUSH1 0x64
00000841: DUP3
00000842: ADD
00000843: MSTORE
00000844: PUSH1 0x84
00000846: ADD
00000847: PUSH2 0x02f3
0000084a: JUMP
0000084b: JUMPDEST
0000084c: POP
0000084d: POP
0000084e: POP
0000084f: JUMP
00000850: JUMPDEST
00000851: PUSH1 0x40
00000853: DUP1
00000854: MLOAD
00000855: PUSH1 0x01
00000857: PUSH1 0x01
00000859: PUSH1 0xa0
0000085b: SHL
0000085c: SUB
0000085d: DUP5
0000085e: DUP2
0000085f: AND
00000860: PUSH1 0x24
00000862: DUP4
00000863: ADD
00000864: MSTORE
00000865: PUSH1 0x44
00000867: DUP1
00000868: DUP4
00000869: ADD
0000086a: DUP6
0000086b: SWAP1
0000086c: MSTORE
0000086d: DUP4
0000086e: MLOAD
0000086f: DUP1
00000870: DUP5
00000871: SUB
00000872: SWAP1
00000873: SWAP2
00000874: ADD
00000875: DUP2
00000876: MSTORE
00000877: PUSH1 0x64
00000879: SWAP1
0000087a: SWAP3
0000087b: ADD
0000087c: DUP4
0000087d: MSTORE
0000087e: PUSH1 0x20
00000880: DUP1
00000881: DUP4
00000882: ADD
00000883: DUP1
00000884: MLOAD
00000885: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000008a2: AND
000008a3: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000008c4: OR
000008c5: SWAP1
000008c6: MSTORE
000008c7: DUP4
000008c8: MLOAD
000008c9: DUP1
000008ca: DUP6
000008cb: ADD
000008cc: SWAP1
000008cd: SWAP5
000008ce: MSTORE
000008cf: DUP1
000008d0: DUP5
000008d1: MSTORE
000008d2: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000008f3: SWAP1
000008f4: DUP5
000008f5: ADD
000008f6: MSTORE
000008f7: PUSH2 0x084b
000008fa: SWAP3
000008fb: DUP7
000008fc: SWAP3
000008fd: SWAP2
000008fe: PUSH1 0x00
00000900: SWAP2
00000901: PUSH2 0x090e
00000904: SWAP2
00000905: DUP6
00000906: AND
00000907: SWAP1
00000908: DUP5
00000909: SWAP1
0000090a: PUSH2 0x099e
0000090d: JUMP
0000090e: JUMPDEST
0000090f: DUP1
00000910: MLOAD
00000911: SWAP1
00000912: SWAP2
00000913: POP
00000914: ISZERO
00000915: PUSH2 0x084b
00000918: JUMPI
00000919: DUP1
0000091a: DUP1
0000091b: PUSH1 0x20
0000091d: ADD
0000091e: SWAP1
0000091f: MLOAD
00000920: DUP2
00000921: ADD
00000922: SWAP1
00000923: PUSH2 0x092c
00000926: SWAP2
00000927: SWAP1
00000928: PUSH2 0x0be5
0000092b: JUMP
0000092c: JUMPDEST
0000092d: PUSH2 0x084b
00000930: JUMPI
00000931: PUSH1 0x40
00000933: MLOAD
00000934: PUSH3 0x461bcd
00000938: PUSH1 0xe5
0000093a: SHL
0000093b: DUP2
0000093c: MSTORE
0000093d: PUSH1 0x20
0000093f: PUSH1 0x04
00000941: DUP3
00000942: ADD
00000943: MSTORE
00000944: PUSH1 0x2a
00000946: PUSH1 0x24
00000948: DUP3
00000949: ADD
0000094a: MSTORE
0000094b: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000096c: PUSH1 0x44
0000096e: DUP3
0000096f: ADD
00000970: MSTORE
00000971: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00000992: PUSH1 0x64
00000994: DUP3
00000995: ADD
00000996: MSTORE
00000997: PUSH1 0x84
00000999: ADD
0000099a: PUSH2 0x02f3
0000099d: JUMP
0000099e: JUMPDEST
0000099f: PUSH1 0x60
000009a1: PUSH2 0x0728
000009a4: DUP5
000009a5: DUP5
000009a6: PUSH1 0x00
000009a8: DUP6
000009a9: DUP6
000009aa: DUP5
000009ab: EXTCODESIZE
000009ac: PUSH2 0x09f7
000009af: JUMPI
000009b0: PUSH1 0x40
000009b2: MLOAD
000009b3: PUSH3 0x461bcd
000009b7: PUSH1 0xe5
000009b9: SHL
000009ba: DUP2
000009bb: MSTORE
000009bc: PUSH1 0x20
000009be: PUSH1 0x04
000009c0: DUP3
000009c1: ADD
000009c2: MSTORE
000009c3: PUSH1 0x1d
000009c5: PUSH1 0x24
000009c7: DUP3
000009c8: ADD
000009c9: MSTORE
000009ca: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000009eb: PUSH1 0x44
000009ed: DUP3
000009ee: ADD
000009ef: MSTORE
000009f0: PUSH1 0x64
000009f2: ADD
000009f3: PUSH2 0x02f3
000009f6: JUMP
000009f7: JUMPDEST
000009f8: PUSH1 0x00
000009fa: DUP1
000009fb: DUP7
000009fc: PUSH1 0x01
000009fe: PUSH1 0x01
00000a00: PUSH1 0xa0
00000a02: SHL
00000a03: SUB
00000a04: AND
00000a05: DUP6
00000a06: DUP8
00000a07: PUSH1 0x40
00000a09: MLOAD
00000a0a: PUSH2 0x0a13
00000a0d: SWAP2
00000a0e: SWAP1
00000a0f: PUSH2 0x0c37
00000a12: JUMP
00000a13: JUMPDEST
00000a14: PUSH1 0x00
00000a16: PUSH1 0x40
00000a18: MLOAD
00000a19: DUP1
00000a1a: DUP4
00000a1b: SUB
00000a1c: DUP2
00000a1d: DUP6
00000a1e: DUP8
00000a1f: GAS
00000a20: CALL
00000a21: SWAP3
00000a22: POP
00000a23: POP
00000a24: POP
00000a25: RETURNDATASIZE
00000a26: DUP1
00000a27: PUSH1 0x00
00000a29: DUP2
00000a2a: EQ
00000a2b: PUSH2 0x0a50
00000a2e: JUMPI
00000a2f: PUSH1 0x40
00000a31: MLOAD
00000a32: SWAP2
00000a33: POP
00000a34: PUSH1 0x1f
00000a36: NOT
00000a37: PUSH1 0x3f
00000a39: RETURNDATASIZE
00000a3a: ADD
00000a3b: AND
00000a3c: DUP3
00000a3d: ADD
00000a3e: PUSH1 0x40
00000a40: MSTORE
00000a41: RETURNDATASIZE
00000a42: DUP3
00000a43: MSTORE
00000a44: RETURNDATASIZE
00000a45: PUSH1 0x00
00000a47: PUSH1 0x20
00000a49: DUP5
00000a4a: ADD
00000a4b: RETURNDATACOPY
00000a4c: PUSH2 0x0a55
00000a4f: JUMP
00000a50: JUMPDEST
00000a51: PUSH1 0x60
00000a53: SWAP2
00000a54: POP
00000a55: JUMPDEST
00000a56: POP
00000a57: SWAP2
00000a58: POP
00000a59: SWAP2
00000a5a: POP
00000a5b: PUSH2 0x0a65
00000a5e: DUP3
00000a5f: DUP3
00000a60: DUP7
00000a61: PUSH2 0x0a70
00000a64: JUMP
00000a65: JUMPDEST
00000a66: SWAP8
00000a67: SWAP7
00000a68: POP
00000a69: POP
00000a6a: POP
00000a6b: POP
00000a6c: POP
00000a6d: POP
00000a6e: POP
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH1 0x60
00000a73: DUP4
00000a74: ISZERO
00000a75: PUSH2 0x0a7f
00000a78: JUMPI
00000a79: POP
00000a7a: DUP2
00000a7b: PUSH2 0x072b
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: DUP3
00000a81: MLOAD
00000a82: ISZERO
00000a83: PUSH2 0x0a8f
00000a86: JUMPI
00000a87: DUP3
00000a88: MLOAD
00000a89: DUP1
00000a8a: DUP5
00000a8b: PUSH1 0x20
00000a8d: ADD
00000a8e: REVERT
00000a8f: JUMPDEST
00000a90: DUP2
00000a91: PUSH1 0x40
00000a93: MLOAD
00000a94: PUSH3 0x461bcd
00000a98: PUSH1 0xe5
00000a9a: SHL
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x04
00000a9f: ADD
00000aa0: PUSH2 0x02f3
00000aa3: SWAP2
00000aa4: SWAP1
00000aa5: PUSH2 0x0c53
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: PUSH1 0x01
00000aac: PUSH1 0x01
00000aae: PUSH1 0xa0
00000ab0: SHL
00000ab1: SUB
00000ab2: DUP2
00000ab3: AND
00000ab4: DUP2
00000ab5: EQ
00000ab6: PUSH2 0x0abe
00000ab9: JUMPI
00000aba: PUSH1 0x00
00000abc: DUP1
00000abd: REVERT
00000abe: JUMPDEST
00000abf: POP
00000ac0: JUMP
00000ac1: JUMPDEST
00000ac2: PUSH1 0x00
00000ac4: PUSH1 0x20
00000ac6: DUP3
00000ac7: DUP5
00000ac8: SUB
00000ac9: SLT
00000aca: ISZERO
00000acb: PUSH2 0x0ad3
00000ace: JUMPI
00000acf: PUSH1 0x00
00000ad1: DUP1
00000ad2: REVERT
00000ad3: JUMPDEST
00000ad4: DUP2
00000ad5: CALLDATALOAD
00000ad6: PUSH2 0x072b
00000ad9: DUP2
00000ada: PUSH2 0x0aa9
00000add: JUMP
00000ade: JUMPDEST
00000adf: PUSH1 0x00
00000ae1: DUP1
00000ae2: PUSH1 0x40
00000ae4: DUP4
00000ae5: DUP6
00000ae6: SUB
00000ae7: SLT
00000ae8: ISZERO
00000ae9: PUSH2 0x0af1
00000aec: JUMPI
00000aed: PUSH1 0x00
00000aef: DUP1
00000af0: REVERT
00000af1: JUMPDEST
00000af2: DUP3
00000af3: CALLDATALOAD
00000af4: PUSH2 0x0afc
00000af7: DUP2
00000af8: PUSH2 0x0aa9
00000afb: JUMP
00000afc: JUMPDEST
00000afd: SWAP2
00000afe: POP
00000aff: PUSH1 0x20
00000b01: DUP4
00000b02: ADD
00000b03: CALLDATALOAD
00000b04: PUSH2 0x0b0c
00000b07: DUP2
00000b08: PUSH2 0x0aa9
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: DUP1
00000b0e: SWAP2
00000b0f: POP
00000b10: POP
00000b11: SWAP3
00000b12: POP
00000b13: SWAP3
00000b14: SWAP1
00000b15: POP
00000b16: JUMP
00000b17: JUMPDEST
00000b18: PUSH1 0x00
00000b1a: PUSH1 0x20
00000b1c: DUP3
00000b1d: DUP5
00000b1e: SUB
00000b1f: SLT
00000b20: ISZERO
00000b21: PUSH2 0x0b29
00000b24: JUMPI
00000b25: PUSH1 0x00
00000b27: DUP1
00000b28: REVERT
00000b29: JUMPDEST
00000b2a: POP
00000b2b: CALLDATALOAD
00000b2c: SWAP2
00000b2d: SWAP1
00000b2e: POP
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH4 0x4e487b71
00000b36: PUSH1 0xe0
00000b38: SHL
00000b39: PUSH1 0x00
00000b3b: MSTORE
00000b3c: PUSH1 0x11
00000b3e: PUSH1 0x04
00000b40: MSTORE
00000b41: PUSH1 0x24
00000b43: PUSH1 0x00
00000b45: REVERT
00000b46: JUMPDEST
00000b47: PUSH1 0x00
00000b49: DUP3
00000b4a: NOT
00000b4b: DUP3
00000b4c: GT
00000b4d: ISZERO
00000b4e: PUSH2 0x0b59
00000b51: JUMPI
00000b52: PUSH2 0x0b59
00000b55: PUSH2 0x0b30
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: POP
00000b5b: ADD
00000b5c: SWAP1
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH1 0x00
00000b61: PUSH1 0x20
00000b63: DUP3
00000b64: DUP5
00000b65: SUB
00000b66: SLT
00000b67: ISZERO
00000b68: PUSH2 0x0b70
00000b6b: JUMPI
00000b6c: PUSH1 0x00
00000b6e: DUP1
00000b6f: REVERT
00000b70: JUMPDEST
00000b71: POP
00000b72: MLOAD
00000b73: SWAP2
00000b74: SWAP1
00000b75: POP
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH4 0x4e487b71
00000b7d: PUSH1 0xe0
00000b7f: SHL
00000b80: PUSH1 0x00
00000b82: MSTORE
00000b83: PUSH1 0x32
00000b85: PUSH1 0x04
00000b87: MSTORE
00000b88: PUSH1 0x24
00000b8a: PUSH1 0x00
00000b8c: REVERT
00000b8d: JUMPDEST
00000b8e: PUSH1 0x00
00000b90: DUP2
00000b91: PUSH1 0x00
00000b93: NOT
00000b94: DIV
00000b95: DUP4
00000b96: GT
00000b97: DUP3
00000b98: ISZERO
00000b99: ISZERO
00000b9a: AND
00000b9b: ISZERO
00000b9c: PUSH2 0x0ba7
00000b9f: JUMPI
00000ba0: PUSH2 0x0ba7
00000ba3: PUSH2 0x0b30
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: POP
00000ba9: MUL
00000baa: SWAP1
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH1 0x00
00000baf: DUP3
00000bb0: PUSH2 0x0bc9
00000bb3: JUMPI
00000bb4: PUSH4 0x4e487b71
00000bb9: PUSH1 0xe0
00000bbb: SHL
00000bbc: PUSH1 0x00
00000bbe: MSTORE
00000bbf: PUSH1 0x12
00000bc1: PUSH1 0x04
00000bc3: MSTORE
00000bc4: PUSH1 0x24
00000bc6: PUSH1 0x00
00000bc8: REVERT
00000bc9: JUMPDEST
00000bca: POP
00000bcb: DIV
00000bcc: SWAP1
00000bcd: JUMP
00000bce: JUMPDEST
00000bcf: PUSH1 0x00
00000bd1: DUP3
00000bd2: DUP3
00000bd3: LT
00000bd4: ISZERO
00000bd5: PUSH2 0x0be0
00000bd8: JUMPI
00000bd9: PUSH2 0x0be0
00000bdc: PUSH2 0x0b30
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: POP
00000be2: SUB
00000be3: SWAP1
00000be4: JUMP
00000be5: JUMPDEST
00000be6: PUSH1 0x00
00000be8: PUSH1 0x20
00000bea: DUP3
00000beb: DUP5
00000bec: SUB
00000bed: SLT
00000bee: ISZERO
00000bef: PUSH2 0x0bf7
00000bf2: JUMPI
00000bf3: PUSH1 0x00
00000bf5: DUP1
00000bf6: REVERT
00000bf7: JUMPDEST
00000bf8: DUP2
00000bf9: MLOAD
00000bfa: DUP1
00000bfb: ISZERO
00000bfc: ISZERO
00000bfd: DUP2
00000bfe: EQ
00000bff: PUSH2 0x072b
00000c02: JUMPI
00000c03: PUSH1 0x00
00000c05: DUP1
00000c06: REVERT
00000c07: JUMPDEST
00000c08: PUSH1 0x00
00000c0a: JUMPDEST
00000c0b: DUP4
00000c0c: DUP2
00000c0d: LT
00000c0e: ISZERO
00000c0f: PUSH2 0x0c22
00000c12: JUMPI
00000c13: DUP2
00000c14: DUP2
00000c15: ADD
00000c16: MLOAD
00000c17: DUP4
00000c18: DUP3
00000c19: ADD
00000c1a: MSTORE
00000c1b: PUSH1 0x20
00000c1d: ADD
00000c1e: PUSH2 0x0c0a
00000c21: JUMP
00000c22: JUMPDEST
00000c23: DUP4
00000c24: DUP2
00000c25: GT
00000c26: ISZERO
00000c27: PUSH2 0x0c31
00000c2a: JUMPI
00000c2b: PUSH1 0x00
00000c2d: DUP5
00000c2e: DUP5
00000c2f: ADD
00000c30: MSTORE
00000c31: JUMPDEST
00000c32: POP
00000c33: POP
00000c34: POP
00000c35: POP
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH1 0x00
00000c3a: DUP3
00000c3b: MLOAD
00000c3c: PUSH2 0x0c49
00000c3f: DUP2
00000c40: DUP5
00000c41: PUSH1 0x20
00000c43: DUP8
00000c44: ADD
00000c45: PUSH2 0x0c07
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: SWAP2
00000c4b: SWAP1
00000c4c: SWAP2
00000c4d: ADD
00000c4e: SWAP3
00000c4f: SWAP2
00000c50: POP
00000c51: POP
00000c52: JUMP
00000c53: JUMPDEST
00000c54: PUSH1 0x20
00000c56: DUP2
00000c57: MSTORE
00000c58: PUSH1 0x00
00000c5a: DUP3
00000c5b: MLOAD
00000c5c: DUP1
00000c5d: PUSH1 0x20
00000c5f: DUP5
00000c60: ADD
00000c61: MSTORE
00000c62: PUSH2 0x0c72
00000c65: DUP2
00000c66: PUSH1 0x40
00000c68: DUP6
00000c69: ADD
00000c6a: PUSH1 0x20
00000c6c: DUP8
00000c6d: ADD
00000c6e: PUSH2 0x0c07
00000c71: JUMP
00000c72: JUMPDEST
00000c73: PUSH1 0x1f
00000c75: ADD
00000c76: PUSH1 0x1f
00000c78: NOT
00000c79: AND
00000c7a: SWAP2
00000c7b: SWAP1
00000c7c: SWAP2
00000c7d: ADD
00000c7e: PUSH1 0x40
00000c80: ADD
00000c81: SWAP3
00000c82: SWAP2
00000c83: POP
00000c84: POP
00000c85: JUMP
00000c86: INVALID
00000c87: LOG2
00000c88: PUSH5 0x6970667358
00000c8e: UNKNOWN(0x22)
00000c8f: SLT
00000c90: KECCAK256
00000c91: BYTE
00000c92: PUSH3 0x5fb95d
00000c96: UNKNOWN(0xAF)
00000c97: MSTORE8
00000c98: UNKNOWN(0xA8)
00000c99: LOG3
00000c9a: COINBASE
00000c9b: PUSH29 0x91b6b961971e5f9717a1285dde6af49c778327936464736f6c63430008
00000cb9: MULMOD
00000cba: STOP
00000cbb: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xbdeb861875c3c0ca6d80a9e8cc41d9a2fffd54627cdf51030721baa9bd0fc106
call_targets: 0x76e85357ceea755dc6c4a01df15b3af774c21945
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbdeb861875c3c0ca6d80a9e8cc41d9a2fffd54627cdf51030721baa9bd0fc106",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x76e85357ceea755dc6c4a01df15b3af774c21945"
    ],
    "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": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8b83209b",
            "selector": "0x8b83209b",
            "calldata_variants": [
                "0x8b83209b",
                "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9852595c",
            "selector": "0x9852595c",
            "calldata_variants": [
                "0x9852595c",
                "0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19165587",
            "selector": "0x19165587",
            "calldata_variants": [
                "0x19165587",
                "0x191655870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x406072a9",
            "selector": "0x406072a9",
            "calldata_variants": [
                "0x406072a9",
                "0x406072a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1951,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2592,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xbdeb861875c3c0ca6d80a9e8cc41d9a2fffd54627cdf51030721baa9bd0fc106
call_targets: 0x76e85357ceea755dc6c4a01df15b3af774c21945
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbdeb861875c3c0ca6d80a9e8cc41d9a2fffd54627cdf51030721baa9bd0fc106",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x76e85357ceea755dc6c4a01df15b3af774c21945"
    ],
    "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": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8b83209b",
            "selector": "0x8b83209b",
            "calldata_variants": [
                "0x8b83209b",
                "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9852595c",
            "selector": "0x9852595c",
            "calldata_variants": [
                "0x9852595c",
                "0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19165587",
            "selector": "0x19165587",
            "calldata_variants": [
                "0x19165587",
                "0x191655870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x406072a9",
            "selector": "0x406072a9",
            "calldata_variants": [
                "0x406072a9",
                "0x406072a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1951,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2592,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}