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

Analysis Run

019b477e-ba2c-70b2-a027-6856721204a8

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

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
23699 artifact.fetch complete 1 / 3 3 months ago
23700 tool.cast_disasm complete 1 / 3 3 months ago
90269 analysis.bundle complete 1 / 3 1 week ago
90270 capability.graph complete 1 / 3 1 week ago
90271 detector.run complete 1 / 3 1 week ago
90272 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
0
EXT*/BALANCE
1
Total opcodes
1675
Flags
delegatecall_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x009c
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5c60da1b
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x5c60da1b
00000024: EQ
00000025: PUSH2 0x02c2
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x7e8aa69d
0000002f: EQ
00000030: PUSH2 0x0319
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x7edae510
0000003a: EQ
0000003b: PUSH2 0x036a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x8c01c3f7
00000045: EQ
00000046: PUSH2 0x0381
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf7ea370d
00000050: EQ
00000051: PUSH2 0x03d2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfe938dcb
0000005b: EQ
0000005c: PUSH2 0x0429
0000005f: JUMPI
00000060: PUSH2 0x009c
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x20698c4f
0000006b: EQ
0000006c: PUSH2 0x011d
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x3e47158c
00000076: EQ
00000077: PUSH2 0x0174
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x4555d5c9
00000081: EQ
00000082: PUSH2 0x01cb
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x47757fb6
0000008c: EQ
0000008d: PUSH2 0x01f6
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x4e6c5645
00000097: EQ
00000098: PUSH2 0x0247
0000009b: JUMPI
0000009c: JUMPDEST
0000009d: PUSH1 0x00
0000009f: PUSH1 0x40
000000a1: MLOAD
000000a2: DUP1
000000a3: DUP1
000000a4: PUSH32 0x78736e782e696d706c656d656e746174696f6e506f736974696f6e0000000000
000000c5: DUP2
000000c6: MSTORE
000000c7: POP
000000c8: PUSH1 0x1b
000000ca: ADD
000000cb: SWAP1
000000cc: POP
000000cd: PUSH1 0x40
000000cf: MLOAD
000000d0: DUP1
000000d1: SWAP2
000000d2: SUB
000000d3: SWAP1
000000d4: KECCAK256
000000d5: SWAP1
000000d6: POP
000000d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000ec: DUP2
000000ed: SLOAD
000000ee: AND
000000ef: PUSH1 0x40
000000f1: MLOAD
000000f2: CALLDATASIZE
000000f3: PUSH1 0x00
000000f5: DUP3
000000f6: CALLDATACOPY
000000f7: PUSH1 0x00
000000f9: DUP1
000000fa: CALLDATASIZE
000000fb: DUP4
000000fc: DUP6
000000fd: GAS
000000fe: DELEGATECALL
000000ff: RETURNDATASIZE
00000100: PUSH1 0x00
00000102: DUP4
00000103: RETURNDATACOPY
00000104: PUSH1 0x00
00000106: DUP2
00000107: EQ
00000108: PUSH1 0x01
0000010a: DUP2
0000010b: EQ
0000010c: PUSH2 0x0114
0000010f: JUMPI
00000110: PUSH2 0x0118
00000113: JUMP
00000114: JUMPDEST
00000115: RETURNDATASIZE
00000116: DUP4
00000117: REVERT
00000118: JUMPDEST
00000119: POP
0000011a: RETURNDATASIZE
0000011b: DUP3
0000011c: RETURN
0000011d: JUMPDEST
0000011e: CALLVALUE
0000011f: DUP1
00000120: ISZERO
00000121: PUSH2 0x0129
00000124: JUMPI
00000125: PUSH1 0x00
00000127: DUP1
00000128: REVERT
00000129: JUMPDEST
0000012a: POP
0000012b: PUSH2 0x0132
0000012e: PUSH2 0x0454
00000131: JUMP
00000132: JUMPDEST
00000133: PUSH1 0x40
00000135: MLOAD
00000136: DUP1
00000137: DUP3
00000138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000014d: AND
0000014e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000163: AND
00000164: DUP2
00000165: MSTORE
00000166: PUSH1 0x20
00000168: ADD
00000169: SWAP2
0000016a: POP
0000016b: POP
0000016c: PUSH1 0x40
0000016e: MLOAD
0000016f: DUP1
00000170: SWAP2
00000171: SUB
00000172: SWAP1
00000173: RETURN
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 0x0189
00000185: PUSH2 0x047c
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH1 0x40
0000018c: MLOAD
0000018d: DUP1
0000018e: DUP3
0000018f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001a4: AND
000001a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001ba: AND
000001bb: DUP2
000001bc: MSTORE
000001bd: PUSH1 0x20
000001bf: ADD
000001c0: SWAP2
000001c1: POP
000001c2: POP
000001c3: PUSH1 0x40
000001c5: MLOAD
000001c6: DUP1
000001c7: SWAP2
000001c8: SUB
000001c9: SWAP1
000001ca: RETURN
000001cb: JUMPDEST
000001cc: CALLVALUE
000001cd: DUP1
000001ce: ISZERO
000001cf: PUSH2 0x01d7
000001d2: JUMPI
000001d3: PUSH1 0x00
000001d5: DUP1
000001d6: REVERT
000001d7: JUMPDEST
000001d8: POP
000001d9: PUSH2 0x01e0
000001dc: PUSH2 0x04c1
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: DUP1
000001e5: DUP3
000001e6: DUP2
000001e7: MSTORE
000001e8: PUSH1 0x20
000001ea: ADD
000001eb: SWAP2
000001ec: POP
000001ed: POP
000001ee: PUSH1 0x40
000001f0: MLOAD
000001f1: DUP1
000001f2: SWAP2
000001f3: SUB
000001f4: SWAP1
000001f5: RETURN
000001f6: JUMPDEST
000001f7: CALLVALUE
000001f8: DUP1
000001f9: ISZERO
000001fa: PUSH2 0x0202
000001fd: JUMPI
000001fe: PUSH1 0x00
00000200: DUP1
00000201: REVERT
00000202: JUMPDEST
00000203: POP
00000204: PUSH2 0x0245
00000207: PUSH1 0x04
00000209: DUP1
0000020a: CALLDATASIZE
0000020b: SUB
0000020c: PUSH1 0x20
0000020e: DUP2
0000020f: LT
00000210: ISZERO
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: DUP2
0000021b: ADD
0000021c: SWAP1
0000021d: DUP1
0000021e: DUP1
0000021f: CALLDATALOAD
00000220: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000235: AND
00000236: SWAP1
00000237: PUSH1 0x20
00000239: ADD
0000023a: SWAP1
0000023b: SWAP3
0000023c: SWAP2
0000023d: SWAP1
0000023e: POP
0000023f: POP
00000240: POP
00000241: PUSH2 0x04ca
00000244: JUMP
00000245: JUMPDEST
00000246: STOP
00000247: JUMPDEST
00000248: CALLVALUE
00000249: DUP1
0000024a: ISZERO
0000024b: PUSH2 0x0253
0000024e: JUMPI
0000024f: PUSH1 0x00
00000251: DUP1
00000252: REVERT
00000253: JUMPDEST
00000254: POP
00000255: PUSH2 0x0280
00000258: PUSH1 0x04
0000025a: DUP1
0000025b: CALLDATASIZE
0000025c: SUB
0000025d: PUSH1 0x20
0000025f: DUP2
00000260: LT
00000261: ISZERO
00000262: PUSH2 0x026a
00000265: JUMPI
00000266: PUSH1 0x00
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: DUP2
0000026c: ADD
0000026d: SWAP1
0000026e: DUP1
0000026f: DUP1
00000270: CALLDATALOAD
00000271: SWAP1
00000272: PUSH1 0x20
00000274: ADD
00000275: SWAP1
00000276: SWAP3
00000277: SWAP2
00000278: SWAP1
00000279: POP
0000027a: POP
0000027b: POP
0000027c: PUSH2 0x06d4
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH1 0x40
00000283: MLOAD
00000284: DUP1
00000285: DUP3
00000286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000029b: AND
0000029c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002b1: AND
000002b2: DUP2
000002b3: MSTORE
000002b4: PUSH1 0x20
000002b6: ADD
000002b7: SWAP2
000002b8: POP
000002b9: POP
000002ba: PUSH1 0x40
000002bc: MLOAD
000002bd: DUP1
000002be: SWAP2
000002bf: SUB
000002c0: SWAP1
000002c1: RETURN
000002c2: JUMPDEST
000002c3: CALLVALUE
000002c4: DUP1
000002c5: ISZERO
000002c6: PUSH2 0x02ce
000002c9: JUMPI
000002ca: PUSH1 0x00
000002cc: DUP1
000002cd: REVERT
000002ce: JUMPDEST
000002cf: POP
000002d0: PUSH2 0x02d7
000002d3: PUSH2 0x0769
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH1 0x40
000002da: MLOAD
000002db: DUP1
000002dc: DUP3
000002dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f2: AND
000002f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000308: AND
00000309: DUP2
0000030a: MSTORE
0000030b: PUSH1 0x20
0000030d: ADD
0000030e: SWAP2
0000030f: POP
00000310: POP
00000311: PUSH1 0x40
00000313: MLOAD
00000314: DUP1
00000315: SWAP2
00000316: SUB
00000317: SWAP1
00000318: RETURN
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x0368
0000032a: PUSH1 0x04
0000032c: DUP1
0000032d: CALLDATASIZE
0000032e: SUB
0000032f: PUSH1 0x20
00000331: DUP2
00000332: LT
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: DUP2
0000033e: ADD
0000033f: SWAP1
00000340: DUP1
00000341: DUP1
00000342: CALLDATALOAD
00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000358: AND
00000359: SWAP1
0000035a: PUSH1 0x20
0000035c: ADD
0000035d: SWAP1
0000035e: SWAP3
0000035f: SWAP2
00000360: SWAP1
00000361: POP
00000362: POP
00000363: POP
00000364: PUSH2 0x07ae
00000367: JUMP
00000368: JUMPDEST
00000369: STOP
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: DUP1
0000036d: ISZERO
0000036e: PUSH2 0x0376
00000371: JUMPI
00000372: PUSH1 0x00
00000374: DUP1
00000375: REVERT
00000376: JUMPDEST
00000377: POP
00000378: PUSH2 0x037f
0000037b: PUSH2 0x08b5
0000037e: JUMP
0000037f: JUMPDEST
00000380: STOP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x03d0
00000392: PUSH1 0x04
00000394: DUP1
00000395: CALLDATASIZE
00000396: SUB
00000397: PUSH1 0x20
00000399: DUP2
0000039a: LT
0000039b: ISZERO
0000039c: PUSH2 0x03a4
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: DUP2
000003a6: ADD
000003a7: SWAP1
000003a8: DUP1
000003a9: DUP1
000003aa: CALLDATALOAD
000003ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c0: AND
000003c1: SWAP1
000003c2: PUSH1 0x20
000003c4: ADD
000003c5: SWAP1
000003c6: SWAP3
000003c7: SWAP2
000003c8: SWAP1
000003c9: POP
000003ca: POP
000003cb: POP
000003cc: PUSH2 0x0a32
000003cf: JUMP
000003d0: JUMPDEST
000003d1: STOP
000003d2: JUMPDEST
000003d3: CALLVALUE
000003d4: DUP1
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: POP
000003e0: PUSH2 0x03e7
000003e3: PUSH2 0x0cbb
000003e6: JUMP
000003e7: JUMPDEST
000003e8: PUSH1 0x40
000003ea: MLOAD
000003eb: DUP1
000003ec: DUP3
000003ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000402: AND
00000403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000418: AND
00000419: DUP2
0000041a: MSTORE
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: SWAP2
0000041f: POP
00000420: POP
00000421: PUSH1 0x40
00000423: MLOAD
00000424: DUP1
00000425: SWAP2
00000426: SUB
00000427: SWAP1
00000428: RETURN
00000429: JUMPDEST
0000042a: CALLVALUE
0000042b: DUP1
0000042c: ISZERO
0000042d: PUSH2 0x0435
00000430: JUMPI
00000431: PUSH1 0x00
00000433: DUP1
00000434: REVERT
00000435: JUMPDEST
00000436: POP
00000437: PUSH2 0x043e
0000043a: PUSH2 0x0d00
0000043d: JUMP
0000043e: JUMPDEST
0000043f: PUSH1 0x40
00000441: MLOAD
00000442: DUP1
00000443: DUP3
00000444: DUP2
00000445: MSTORE
00000446: PUSH1 0x20
00000448: ADD
00000449: SWAP2
0000044a: POP
0000044b: POP
0000044c: PUSH1 0x40
0000044e: MLOAD
0000044f: DUP1
00000450: SWAP2
00000451: SUB
00000452: SWAP1
00000453: RETURN
00000454: JUMPDEST
00000455: PUSH1 0x00
00000457: PUSH2 0x0477
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: DUP1
0000045f: PUSH2 0x0eee
00000462: PUSH1 0x23
00000464: SWAP2
00000465: CODECOPY
00000466: PUSH1 0x23
00000468: ADD
00000469: SWAP1
0000046a: POP
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: DUP1
0000046f: SWAP2
00000470: SUB
00000471: SWAP1
00000472: KECCAK256
00000473: PUSH2 0x0d45
00000476: JUMP
00000477: JUMPDEST
00000478: SWAP1
00000479: POP
0000047a: SWAP1
0000047b: JUMP
0000047c: JUMPDEST
0000047d: PUSH1 0x00
0000047f: PUSH2 0x04bc
00000482: PUSH1 0x40
00000484: MLOAD
00000485: DUP1
00000486: DUP1
00000487: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000
000004a8: DUP2
000004a9: MSTORE
000004aa: POP
000004ab: PUSH1 0x0f
000004ad: ADD
000004ae: SWAP1
000004af: POP
000004b0: PUSH1 0x40
000004b2: MLOAD
000004b3: DUP1
000004b4: SWAP2
000004b5: SUB
000004b6: SWAP1
000004b7: KECCAK256
000004b8: PUSH2 0x0d45
000004bb: JUMP
000004bc: JUMPDEST
000004bd: SWAP1
000004be: POP
000004bf: SWAP1
000004c0: JUMP
000004c1: JUMPDEST
000004c2: PUSH1 0x00
000004c4: PUSH1 0x02
000004c6: SWAP1
000004c7: POP
000004c8: SWAP1
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH2 0x0508
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: DUP1
000004d2: DUP1
000004d3: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000
000004f4: DUP2
000004f5: MSTORE
000004f6: POP
000004f7: PUSH1 0x0f
000004f9: ADD
000004fa: SWAP1
000004fb: POP
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: DUP1
00000500: SWAP2
00000501: SUB
00000502: SWAP1
00000503: KECCAK256
00000504: PUSH2 0x0d45
00000507: JUMP
00000508: JUMPDEST
00000509: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051e: AND
0000051f: CALLER
00000520: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000535: AND
00000536: EQ
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH1 0x00
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: PUSH1 0x00
00000542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000557: AND
00000558: DUP2
00000559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056e: AND
0000056f: EQ
00000570: ISZERO
00000571: PUSH2 0x05c5
00000574: JUMPI
00000575: PUSH1 0x40
00000577: MLOAD
00000578: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000599: DUP2
0000059a: MSTORE
0000059b: PUSH1 0x04
0000059d: ADD
0000059e: DUP1
0000059f: DUP1
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: DUP3
000005a4: DUP2
000005a5: SUB
000005a6: DUP3
000005a7: MSTORE
000005a8: PUSH1 0x30
000005aa: DUP2
000005ab: MSTORE
000005ac: PUSH1 0x20
000005ae: ADD
000005af: DUP1
000005b0: PUSH2 0x0e4b
000005b3: PUSH1 0x30
000005b5: SWAP2
000005b6: CODECOPY
000005b7: PUSH1 0x40
000005b9: ADD
000005ba: SWAP2
000005bb: POP
000005bc: POP
000005bd: PUSH1 0x40
000005bf: MLOAD
000005c0: DUP1
000005c1: SWAP2
000005c2: SUB
000005c3: SWAP1
000005c4: REVERT
000005c5: JUMPDEST
000005c6: PUSH2 0x05ce
000005c9: DUP2
000005ca: PUSH2 0x0d50
000005cd: JUMP
000005ce: JUMPDEST
000005cf: PUSH2 0x0623
000005d2: JUMPI
000005d3: PUSH1 0x40
000005d5: MLOAD
000005d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005f7: DUP2
000005f8: MSTORE
000005f9: PUSH1 0x04
000005fb: ADD
000005fc: DUP1
000005fd: DUP1
000005fe: PUSH1 0x20
00000600: ADD
00000601: DUP3
00000602: DUP2
00000603: SUB
00000604: DUP3
00000605: MSTORE
00000606: PUSH1 0x2d
00000608: DUP2
00000609: MSTORE
0000060a: PUSH1 0x20
0000060c: ADD
0000060d: DUP1
0000060e: PUSH2 0x0f11
00000611: PUSH1 0x2d
00000613: SWAP2
00000614: CODECOPY
00000615: PUSH1 0x40
00000617: ADD
00000618: SWAP2
00000619: POP
0000061a: POP
0000061b: PUSH1 0x40
0000061d: MLOAD
0000061e: DUP1
0000061f: SWAP2
00000620: SUB
00000621: SWAP1
00000622: REVERT
00000623: JUMPDEST
00000624: PUSH2 0x062b
00000627: PUSH2 0x0769
0000062a: JUMP
0000062b: JUMPDEST
0000062c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000641: AND
00000642: DUP2
00000643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000658: AND
00000659: EQ
0000065a: ISZERO
0000065b: PUSH2 0x06af
0000065e: JUMPI
0000065f: PUSH1 0x40
00000661: MLOAD
00000662: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x04
00000687: ADD
00000688: DUP1
00000689: DUP1
0000068a: PUSH1 0x20
0000068c: ADD
0000068d: DUP3
0000068e: DUP2
0000068f: SUB
00000690: DUP3
00000691: MSTORE
00000692: PUSH1 0x4d
00000694: DUP2
00000695: MSTORE
00000696: PUSH1 0x20
00000698: ADD
00000699: DUP1
0000069a: PUSH2 0x0e7b
0000069d: PUSH1 0x4d
0000069f: SWAP2
000006a0: CODECOPY
000006a1: PUSH1 0x60
000006a3: ADD
000006a4: SWAP2
000006a5: POP
000006a6: POP
000006a7: PUSH1 0x40
000006a9: MLOAD
000006aa: DUP1
000006ab: SWAP2
000006ac: SUB
000006ad: SWAP1
000006ae: REVERT
000006af: JUMPDEST
000006b0: PUSH2 0x06d1
000006b3: PUSH1 0x40
000006b5: MLOAD
000006b6: DUP1
000006b7: DUP1
000006b8: PUSH2 0x0eee
000006bb: PUSH1 0x23
000006bd: SWAP2
000006be: CODECOPY
000006bf: PUSH1 0x23
000006c1: ADD
000006c2: SWAP1
000006c3: POP
000006c4: PUSH1 0x40
000006c6: MLOAD
000006c7: DUP1
000006c8: SWAP2
000006c9: SUB
000006ca: SWAP1
000006cb: KECCAK256
000006cc: DUP3
000006cd: PUSH2 0x0d69
000006d0: JUMP
000006d1: JUMPDEST
000006d2: POP
000006d3: JUMP
000006d4: JUMPDEST
000006d5: PUSH1 0x00
000006d7: DUP1
000006d8: DUP3
000006d9: EQ
000006da: ISZERO
000006db: PUSH2 0x0723
000006de: JUMPI
000006df: PUSH2 0x071c
000006e2: PUSH1 0x40
000006e4: MLOAD
000006e5: DUP1
000006e6: DUP1
000006e7: PUSH32 0x78736e782e636f7369676e657231000000000000000000000000000000000000
00000708: DUP2
00000709: MSTORE
0000070a: POP
0000070b: PUSH1 0x0e
0000070d: ADD
0000070e: SWAP1
0000070f: POP
00000710: PUSH1 0x40
00000712: MLOAD
00000713: DUP1
00000714: SWAP2
00000715: SUB
00000716: SWAP1
00000717: KECCAK256
00000718: PUSH2 0x0d45
0000071b: JUMP
0000071c: JUMPDEST
0000071d: SWAP1
0000071e: POP
0000071f: PUSH2 0x0764
00000722: JUMP
00000723: JUMPDEST
00000724: PUSH2 0x0761
00000727: PUSH1 0x40
00000729: MLOAD
0000072a: DUP1
0000072b: DUP1
0000072c: PUSH32 0x78736e782e636f7369676e657232000000000000000000000000000000000000
0000074d: DUP2
0000074e: MSTORE
0000074f: POP
00000750: PUSH1 0x0e
00000752: ADD
00000753: SWAP1
00000754: POP
00000755: PUSH1 0x40
00000757: MLOAD
00000758: DUP1
00000759: SWAP2
0000075a: SUB
0000075b: SWAP1
0000075c: KECCAK256
0000075d: PUSH2 0x0d45
00000760: JUMP
00000761: JUMPDEST
00000762: SWAP1
00000763: POP
00000764: JUMPDEST
00000765: SWAP2
00000766: SWAP1
00000767: POP
00000768: JUMP
00000769: JUMPDEST
0000076a: PUSH1 0x00
0000076c: PUSH2 0x07a9
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: DUP1
00000773: DUP1
00000774: PUSH32 0x78736e782e696d706c656d656e746174696f6e506f736974696f6e0000000000
00000795: DUP2
00000796: MSTORE
00000797: POP
00000798: PUSH1 0x1b
0000079a: ADD
0000079b: SWAP1
0000079c: POP
0000079d: PUSH1 0x40
0000079f: MLOAD
000007a0: DUP1
000007a1: SWAP2
000007a2: SUB
000007a3: SWAP1
000007a4: KECCAK256
000007a5: PUSH2 0x0d45
000007a8: JUMP
000007a9: JUMPDEST
000007aa: SWAP1
000007ab: POP
000007ac: SWAP1
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH2 0x07ec
000007b2: PUSH1 0x40
000007b4: MLOAD
000007b5: DUP1
000007b6: DUP1
000007b7: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000
000007d8: DUP2
000007d9: MSTORE
000007da: POP
000007db: PUSH1 0x0f
000007dd: ADD
000007de: SWAP1
000007df: POP
000007e0: PUSH1 0x40
000007e2: MLOAD
000007e3: DUP1
000007e4: SWAP2
000007e5: SUB
000007e6: SWAP1
000007e7: KECCAK256
000007e8: PUSH2 0x0d45
000007eb: JUMP
000007ec: JUMPDEST
000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000802: AND
00000803: CALLER
00000804: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000819: AND
0000081a: EQ
0000081b: PUSH2 0x0823
0000081e: JUMPI
0000081f: PUSH1 0x00
00000821: DUP1
00000822: REVERT
00000823: JUMPDEST
00000824: PUSH1 0x00
00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083b: AND
0000083c: DUP2
0000083d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000852: AND
00000853: EQ
00000854: ISZERO
00000855: PUSH2 0x08a9
00000858: JUMPI
00000859: PUSH1 0x40
0000085b: MLOAD
0000085c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000087d: DUP2
0000087e: MSTORE
0000087f: PUSH1 0x04
00000881: ADD
00000882: DUP1
00000883: DUP1
00000884: PUSH1 0x20
00000886: ADD
00000887: DUP3
00000888: DUP2
00000889: SUB
0000088a: DUP3
0000088b: MSTORE
0000088c: PUSH1 0x26
0000088e: DUP2
0000088f: MSTORE
00000890: PUSH1 0x20
00000892: ADD
00000893: DUP1
00000894: PUSH2 0x0ec8
00000897: PUSH1 0x26
00000899: SWAP2
0000089a: CODECOPY
0000089b: PUSH1 0x40
0000089d: ADD
0000089e: SWAP2
0000089f: POP
000008a0: POP
000008a1: PUSH1 0x40
000008a3: MLOAD
000008a4: DUP1
000008a5: SWAP2
000008a6: SUB
000008a7: SWAP1
000008a8: REVERT
000008a9: JUMPDEST
000008aa: PUSH2 0x08b2
000008ad: DUP2
000008ae: PUSH2 0x0d70
000008b1: JUMP
000008b2: JUMPDEST
000008b3: POP
000008b4: JUMP
000008b5: JUMPDEST
000008b6: PUSH2 0x08f3
000008b9: PUSH1 0x40
000008bb: MLOAD
000008bc: DUP1
000008bd: DUP1
000008be: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000
000008df: DUP2
000008e0: MSTORE
000008e1: POP
000008e2: PUSH1 0x0f
000008e4: ADD
000008e5: SWAP1
000008e6: POP
000008e7: PUSH1 0x40
000008e9: MLOAD
000008ea: DUP1
000008eb: SWAP2
000008ec: SUB
000008ed: SWAP1
000008ee: KECCAK256
000008ef: PUSH2 0x0d45
000008f2: JUMP
000008f3: JUMPDEST
000008f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000909: AND
0000090a: CALLER
0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000920: AND
00000921: EQ
00000922: PUSH2 0x092a
00000925: JUMPI
00000926: PUSH1 0x00
00000928: DUP1
00000929: REVERT
0000092a: JUMPDEST
0000092b: PUSH1 0x00
0000092d: PUSH2 0x0934
00000930: PUSH2 0x0cbb
00000933: JUMP
00000934: JUMPDEST
00000935: SWAP1
00000936: POP
00000937: PUSH1 0x00
00000939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094e: AND
0000094f: DUP2
00000950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000965: AND
00000966: EQ
00000967: ISZERO
00000968: PUSH2 0x09bc
0000096b: JUMPI
0000096c: PUSH1 0x40
0000096e: MLOAD
0000096f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000990: DUP2
00000991: MSTORE
00000992: PUSH1 0x04
00000994: ADD
00000995: DUP1
00000996: DUP1
00000997: PUSH1 0x20
00000999: ADD
0000099a: DUP3
0000099b: DUP2
0000099c: SUB
0000099d: DUP3
0000099e: MSTORE
0000099f: PUSH1 0x26
000009a1: DUP2
000009a2: MSTORE
000009a3: PUSH1 0x20
000009a5: ADD
000009a6: DUP1
000009a7: PUSH2 0x0ec8
000009aa: PUSH1 0x26
000009ac: SWAP2
000009ad: CODECOPY
000009ae: PUSH1 0x40
000009b0: ADD
000009b1: SWAP2
000009b2: POP
000009b3: POP
000009b4: PUSH1 0x40
000009b6: MLOAD
000009b7: DUP1
000009b8: SWAP2
000009b9: SUB
000009ba: SWAP1
000009bb: REVERT
000009bc: JUMPDEST
000009bd: TIMESTAMP
000009be: PUSH2 0x09c5
000009c1: PUSH2 0x0d00
000009c4: JUMP
000009c5: JUMPDEST
000009c6: GT
000009c7: ISZERO
000009c8: PUSH2 0x0a1c
000009cb: JUMPI
000009cc: PUSH1 0x40
000009ce: MLOAD
000009cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009f0: DUP2
000009f1: MSTORE
000009f2: PUSH1 0x04
000009f4: ADD
000009f5: DUP1
000009f6: DUP1
000009f7: PUSH1 0x20
000009f9: ADD
000009fa: DUP3
000009fb: DUP2
000009fc: SUB
000009fd: DUP3
000009fe: MSTORE
000009ff: PUSH1 0x2e
00000a01: DUP2
00000a02: MSTORE
00000a03: PUSH1 0x20
00000a05: ADD
00000a06: DUP1
00000a07: PUSH2 0x0fac
00000a0a: PUSH1 0x2e
00000a0c: SWAP2
00000a0d: CODECOPY
00000a0e: PUSH1 0x40
00000a10: ADD
00000a11: SWAP2
00000a12: POP
00000a13: POP
00000a14: PUSH1 0x40
00000a16: MLOAD
00000a17: DUP1
00000a18: SWAP2
00000a19: SUB
00000a1a: SWAP1
00000a1b: REVERT
00000a1c: JUMPDEST
00000a1d: PUSH2 0x0a25
00000a20: DUP2
00000a21: PUSH2 0x0df6
00000a24: JUMP
00000a25: JUMPDEST
00000a26: PUSH2 0x0a2f
00000a29: PUSH1 0x00
00000a2b: PUSH2 0x0d70
00000a2e: JUMP
00000a2f: JUMPDEST
00000a30: POP
00000a31: JUMP
00000a32: JUMPDEST
00000a33: PUSH1 0x00
00000a35: PUSH2 0x0a72
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: DUP1
00000a3c: DUP1
00000a3d: PUSH32 0x78736e782e636f7369676e657231000000000000000000000000000000000000
00000a5e: DUP2
00000a5f: MSTORE
00000a60: POP
00000a61: PUSH1 0x0e
00000a63: ADD
00000a64: SWAP1
00000a65: POP
00000a66: PUSH1 0x40
00000a68: MLOAD
00000a69: DUP1
00000a6a: SWAP2
00000a6b: SUB
00000a6c: SWAP1
00000a6d: KECCAK256
00000a6e: PUSH2 0x0d45
00000a71: JUMP
00000a72: JUMPDEST
00000a73: SWAP1
00000a74: POP
00000a75: PUSH1 0x00
00000a77: PUSH2 0x0ab4
00000a7a: PUSH1 0x40
00000a7c: MLOAD
00000a7d: DUP1
00000a7e: DUP1
00000a7f: PUSH32 0x78736e782e636f7369676e657232000000000000000000000000000000000000
00000aa0: DUP2
00000aa1: MSTORE
00000aa2: POP
00000aa3: PUSH1 0x0e
00000aa5: ADD
00000aa6: SWAP1
00000aa7: POP
00000aa8: PUSH1 0x40
00000aaa: MLOAD
00000aab: DUP1
00000aac: SWAP2
00000aad: SUB
00000aae: SWAP1
00000aaf: KECCAK256
00000ab0: PUSH2 0x0d45
00000ab3: JUMP
00000ab4: JUMPDEST
00000ab5: SWAP1
00000ab6: POP
00000ab7: DUP2
00000ab8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000acd: AND
00000ace: CALLER
00000acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae4: AND
00000ae5: EQ
00000ae6: DUP1
00000ae7: PUSH2 0x0b1b
00000aea: JUMPI
00000aeb: POP
00000aec: DUP1
00000aed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b02: AND
00000b03: CALLER
00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b19: AND
00000b1a: EQ
00000b1b: JUMPDEST
00000b1c: PUSH2 0x0b24
00000b1f: JUMPI
00000b20: PUSH1 0x00
00000b22: DUP1
00000b23: REVERT
00000b24: JUMPDEST
00000b25: PUSH1 0x00
00000b27: PUSH2 0x0b47
00000b2a: PUSH1 0x40
00000b2c: MLOAD
00000b2d: DUP1
00000b2e: DUP1
00000b2f: PUSH2 0x0eee
00000b32: PUSH1 0x23
00000b34: SWAP2
00000b35: CODECOPY
00000b36: PUSH1 0x23
00000b38: ADD
00000b39: SWAP1
00000b3a: POP
00000b3b: PUSH1 0x40
00000b3d: MLOAD
00000b3e: DUP1
00000b3f: SWAP2
00000b40: SUB
00000b41: SWAP1
00000b42: KECCAK256
00000b43: PUSH2 0x0d45
00000b46: JUMP
00000b47: JUMPDEST
00000b48: SWAP1
00000b49: POP
00000b4a: PUSH1 0x00
00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b61: AND
00000b62: DUP2
00000b63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b78: AND
00000b79: EQ
00000b7a: ISZERO
00000b7b: PUSH2 0x0bcf
00000b7e: JUMPI
00000b7f: PUSH1 0x40
00000b81: MLOAD
00000b82: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ba3: DUP2
00000ba4: MSTORE
00000ba5: PUSH1 0x04
00000ba7: ADD
00000ba8: DUP1
00000ba9: DUP1
00000baa: PUSH1 0x20
00000bac: ADD
00000bad: DUP3
00000bae: DUP2
00000baf: SUB
00000bb0: DUP3
00000bb1: MSTORE
00000bb2: PUSH1 0x2c
00000bb4: DUP2
00000bb5: MSTORE
00000bb6: PUSH1 0x20
00000bb8: ADD
00000bb9: DUP1
00000bba: PUSH2 0x0f3e
00000bbd: PUSH1 0x2c
00000bbf: SWAP2
00000bc0: CODECOPY
00000bc1: PUSH1 0x40
00000bc3: ADD
00000bc4: SWAP2
00000bc5: POP
00000bc6: POP
00000bc7: PUSH1 0x40
00000bc9: MLOAD
00000bca: DUP1
00000bcb: SWAP2
00000bcc: SUB
00000bcd: SWAP1
00000bce: REVERT
00000bcf: JUMPDEST
00000bd0: DUP1
00000bd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be6: AND
00000be7: DUP5
00000be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bfd: AND
00000bfe: EQ
00000bff: PUSH2 0x0c53
00000c02: JUMPI
00000c03: PUSH1 0x40
00000c05: MLOAD
00000c06: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c27: DUP2
00000c28: MSTORE
00000c29: PUSH1 0x04
00000c2b: ADD
00000c2c: DUP1
00000c2d: DUP1
00000c2e: PUSH1 0x20
00000c30: ADD
00000c31: DUP3
00000c32: DUP2
00000c33: SUB
00000c34: DUP3
00000c35: MSTORE
00000c36: PUSH1 0x42
00000c38: DUP2
00000c39: MSTORE
00000c3a: PUSH1 0x20
00000c3c: ADD
00000c3d: DUP1
00000c3e: PUSH2 0x0f6a
00000c41: PUSH1 0x42
00000c43: SWAP2
00000c44: CODECOPY
00000c45: PUSH1 0x60
00000c47: ADD
00000c48: SWAP2
00000c49: POP
00000c4a: POP
00000c4b: PUSH1 0x40
00000c4d: MLOAD
00000c4e: DUP1
00000c4f: SWAP2
00000c50: SUB
00000c51: SWAP1
00000c52: REVERT
00000c53: JUMPDEST
00000c54: PUSH2 0x0c92
00000c57: PUSH1 0x40
00000c59: MLOAD
00000c5a: DUP1
00000c5b: DUP1
00000c5c: PUSH32 0x78736e782e696d706c656d656e746174696f6e506f736974696f6e0000000000
00000c7d: DUP2
00000c7e: MSTORE
00000c7f: POP
00000c80: PUSH1 0x1b
00000c82: ADD
00000c83: SWAP1
00000c84: POP
00000c85: PUSH1 0x40
00000c87: MLOAD
00000c88: DUP1
00000c89: SWAP2
00000c8a: SUB
00000c8b: SWAP1
00000c8c: KECCAK256
00000c8d: DUP6
00000c8e: PUSH2 0x0d69
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH2 0x0cb5
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: DUP1
00000c9a: DUP1
00000c9b: PUSH2 0x0eee
00000c9e: PUSH1 0x23
00000ca0: SWAP2
00000ca1: CODECOPY
00000ca2: PUSH1 0x23
00000ca4: ADD
00000ca5: SWAP1
00000ca6: POP
00000ca7: PUSH1 0x40
00000ca9: MLOAD
00000caa: DUP1
00000cab: SWAP2
00000cac: SUB
00000cad: SWAP1
00000cae: KECCAK256
00000caf: PUSH1 0x00
00000cb1: PUSH2 0x0d69
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: POP
00000cb7: POP
00000cb8: POP
00000cb9: POP
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH1 0x00
00000cbe: PUSH2 0x0cfb
00000cc1: PUSH1 0x40
00000cc3: MLOAD
00000cc4: DUP1
00000cc5: DUP1
00000cc6: PUSH32 0x78736e782e70726f706f7365644e657741646d696e0000000000000000000000
00000ce7: DUP2
00000ce8: MSTORE
00000ce9: POP
00000cea: PUSH1 0x15
00000cec: ADD
00000ced: SWAP1
00000cee: POP
00000cef: PUSH1 0x40
00000cf1: MLOAD
00000cf2: DUP1
00000cf3: SWAP2
00000cf4: SUB
00000cf5: SWAP1
00000cf6: KECCAK256
00000cf7: PUSH2 0x0d45
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: SWAP1
00000cfd: POP
00000cfe: SWAP1
00000cff: JUMP
00000d00: JUMPDEST
00000d01: PUSH1 0x00
00000d03: PUSH2 0x0d40
00000d06: PUSH1 0x40
00000d08: MLOAD
00000d09: DUP1
00000d0a: DUP1
00000d0b: PUSH32 0x78736e782e70726f706f7365644e657741646d696e54696d657374616d700000
00000d2c: DUP2
00000d2d: MSTORE
00000d2e: POP
00000d2f: PUSH1 0x1e
00000d31: ADD
00000d32: SWAP1
00000d33: POP
00000d34: PUSH1 0x40
00000d36: MLOAD
00000d37: DUP1
00000d38: SWAP2
00000d39: SUB
00000d3a: SWAP1
00000d3b: KECCAK256
00000d3c: PUSH2 0x0e38
00000d3f: JUMP
00000d40: JUMPDEST
00000d41: SWAP1
00000d42: POP
00000d43: SWAP1
00000d44: JUMP
00000d45: JUMPDEST
00000d46: PUSH1 0x00
00000d48: DUP2
00000d49: SLOAD
00000d4a: SWAP1
00000d4b: POP
00000d4c: SWAP2
00000d4d: SWAP1
00000d4e: POP
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: PUSH1 0x00
00000d53: DUP1
00000d54: DUP3
00000d55: EXTCODESIZE
00000d56: SWAP1
00000d57: POP
00000d58: PUSH1 0x00
00000d5a: DUP2
00000d5b: PUSH4 0xffffffff
00000d60: AND
00000d61: GT
00000d62: SWAP2
00000d63: POP
00000d64: POP
00000d65: SWAP2
00000d66: SWAP1
00000d67: POP
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: DUP1
00000d6b: DUP3
00000d6c: SSTORE
00000d6d: POP
00000d6e: POP
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: PUSH2 0x0daf
00000d74: PUSH1 0x40
00000d76: MLOAD
00000d77: DUP1
00000d78: DUP1
00000d79: PUSH32 0x78736e782e70726f706f7365644e657741646d696e0000000000000000000000
00000d9a: DUP2
00000d9b: MSTORE
00000d9c: POP
00000d9d: PUSH1 0x15
00000d9f: ADD
00000da0: SWAP1
00000da1: POP
00000da2: PUSH1 0x40
00000da4: MLOAD
00000da5: DUP1
00000da6: SWAP2
00000da7: SUB
00000da8: SWAP1
00000da9: KECCAK256
00000daa: DUP3
00000dab: PUSH2 0x0d69
00000dae: JUMP
00000daf: JUMPDEST
00000db0: PUSH2 0x0df3
00000db3: PUSH1 0x40
00000db5: MLOAD
00000db6: DUP1
00000db7: DUP1
00000db8: PUSH32 0x78736e782e70726f706f7365644e657741646d696e54696d657374616d700000
00000dd9: DUP2
00000dda: MSTORE
00000ddb: POP
00000ddc: PUSH1 0x1e
00000dde: ADD
00000ddf: SWAP1
00000de0: POP
00000de1: PUSH1 0x40
00000de3: MLOAD
00000de4: DUP1
00000de5: SWAP2
00000de6: SUB
00000de7: SWAP1
00000de8: KECCAK256
00000de9: PUSH3 0x015180
00000ded: TIMESTAMP
00000dee: ADD
00000def: PUSH2 0x0e43
00000df2: JUMP
00000df3: JUMPDEST
00000df4: POP
00000df5: JUMP
00000df6: JUMPDEST
00000df7: PUSH2 0x0e35
00000dfa: PUSH1 0x40
00000dfc: MLOAD
00000dfd: DUP1
00000dfe: DUP1
00000dff: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000
00000e20: DUP2
00000e21: MSTORE
00000e22: POP
00000e23: PUSH1 0x0f
00000e25: ADD
00000e26: SWAP1
00000e27: POP
00000e28: PUSH1 0x40
00000e2a: MLOAD
00000e2b: DUP1
00000e2c: SWAP2
00000e2d: SUB
00000e2e: SWAP1
00000e2f: KECCAK256
00000e30: DUP3
00000e31: PUSH2 0x0d69
00000e34: JUMP
00000e35: JUMPDEST
00000e36: POP
00000e37: JUMP
00000e38: JUMPDEST
00000e39: PUSH1 0x00
00000e3b: DUP2
00000e3c: SLOAD
00000e3d: SWAP1
00000e3e: POP
00000e3f: SWAP2
00000e40: SWAP1
00000e41: POP
00000e42: JUMP
00000e43: JUMPDEST
00000e44: DUP1
00000e45: DUP3
00000e46: SSTORE
00000e47: POP
00000e48: POP
00000e49: JUMP
00000e4a: INVALID
00000e4b: PUSH15 0x65772070726f706f73656420696d70
00000e5b: PUSH13 0x656d656e746174696f6e206361
00000e69: PUSH15 0x6e6f74206265206164647265737328
00000e79: ADDRESS
00000e7a: UNKNOWN(0x29)
00000e7b: PUSH15 0x65772070726f706f73656420616464
00000e8b: PUSH19 0x6573732063616e6e6f74206265207468652073
00000e9f: PUSH2 0x6d65
00000ea2: KECCAK256
00000ea3: PUSH2 0x7320
00000ea6: PUSH21 0x68652063757272656e7420696d706c656d656e7461
00000ebc: PUSH21 0x696f6e20616464726573736e65772041646d696e20
00000ed2: PUSH2 0x6464
00000ed5: PUSH19 0x6573732063616e6e6f74206265206164647265
00000ee9: PUSH20 0x7328302978736e782e70726f706f736564496d70
00000efe: PUSH13 0x656d656e746174696f6e506f73
00000f0c: PUSH10 0x74696f6e6e6577207072
00000f17: PUSH16 0x706f73656420696d706c656d656e7461
00000f28: PUSH21 0x696f6e206973206e6f74206120636f6e7472616374
00000f3e: PUSH17 0x726f706f73656420696d706c656d656e74
00000f50: PUSH2 0x7469
00000f53: PUSH16 0x6e2063616e6e6f742062652061646472
00000f64: PUSH6 0x737328302970
00000f6b: PUSH19 0x6f706f73656420696d706c656d656e74617469
00000f7f: PUSH16 0x6e20646f65736e2774206d6174636820
00000f90: PUSH21 0x686520636f6e6669726d656420696d706c656d656e
00000fa6: PUSH21 0x6174696f6e61646d696e206368616e67652063616e
00000fbc: KECCAK256
00000fbd: PUSH16 0x6e6c79206265207375626d6974746564
00000fce: KECCAK256
00000fcf: PUSH2 0x6674
00000fd2: PUSH6 0x722031206461
00000fd9: PUSH26 0xa265627a7a72315820775c51a2892d5e9068f42416edec87663d
00000ff4: UNKNOWN(0xCB)
00000ff5: DUP6
00000ff6: UNKNOWN(0xAC)
00000ff7: PUSH29

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high upgradeability detector Untrusted DELEGATECALL target reachable 55 no no
view
trace_id: 0xe3c4d0805882068b802a56fe4fa0bb7d3341950112839e9278b000377b5cad48
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 132,
    "trace_id": "0xe3c4d0805882068b802a56fe4fa0bb7d3341950112839e9278b000377b5cad48",
    "confirmed": false,
    "trace_mode": "callTracer",
    "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": "0x5c60da1b",
            "selector": "0x5c60da1b",
            "calldata_variants": [
                "0x5c60da1b",
                "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7e8aa69d",
            "selector": "0x7e8aa69d",
            "calldata_variants": [
                "0x7e8aa69d",
                "0x7e8aa69d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7edae510",
            "selector": "0x7edae510",
            "calldata_variants": [
                "0x7edae510",
                "0x7edae5100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8c01c3f7",
            "selector": "0x8c01c3f7",
            "calldata_variants": [
                "0x8c01c3f7",
                "0x8c01c3f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7ea370d",
            "selector": "0xf7ea370d",
            "calldata_variants": [
                "0xf7ea370d",
                "0xf7ea370d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe938dcb",
            "selector": "0xfe938dcb",
            "calldata_variants": [
                "0xfe938dcb",
                "0xfe938dcb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20698c4f",
            "selector": "0x20698c4f",
            "calldata_variants": [
                "0x20698c4f",
                "0x20698c4f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e47158c",
            "selector": "0x3e47158c",
            "calldata_variants": [
                "0x3e47158c",
                "0x3e47158c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 254,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [
        {
            "pc": 1311,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2051,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2314,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2766,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2819,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}