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

Analysis Run

019b477e-d57d-70a0-bb3f-a3877df0774c

complete
Chain ID
1
Address
0x6963625053dc2895296032a321d3d86f5be9debc
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
28547 artifact.fetch complete 1 / 3 3 months ago
28548 tool.cast_disasm complete 1 / 3 3 months ago
92665 analysis.bundle complete 1 / 3 1 week ago
92666 capability.graph complete 1 / 3 1 week ago
92667 detector.run complete 1 / 3 1 week ago
92668 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)
4
EXT*/BALANCE
0
Total opcodes
1913
Flags
delegatecall_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x012e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd085835a
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd085835a
0000002f: EQ
00000030: PUSH2 0x038c
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd0e30db0
0000003a: EQ
0000003b: PUSH2 0x03a2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd1e1a3e9
00000045: EQ
00000046: PUSH2 0x03aa
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdb2e21bc
00000050: EQ
00000051: PUSH2 0x03ca
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe1456cb4
0000005b: EQ
0000005c: PUSH2 0x03df
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x040c
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x715018a6
00000076: EQ
00000077: PUSH2 0x02e3
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x7547c7a3
00000081: EQ
00000082: PUSH2 0x02f8
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x7e1c0c09
0000008c: EQ
0000008d: PUSH2 0x0318
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x8da5cb5b
00000097: EQ
00000098: PUSH2 0x032e
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x98807d84
000000a2: EQ
000000a3: PUSH2 0x034c
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x47880b8f
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x47880b8f
000000bd: EQ
000000be: PUSH2 0x0226
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x51ed6a30
000000c8: EQ
000000c9: PUSH2 0x023b
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x5c5a0a9d
000000d3: EQ
000000d4: PUSH2 0x0273
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x6985e6d8
000000de: EQ
000000df: PUSH2 0x02a0
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x710b318b
000000e9: EQ
000000ea: PUSH2 0x02cd
000000ed: JUMPI
000000ee: PUSH1 0x00
000000f0: DUP1
000000f1: REVERT
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x26a4e8d2
000000f9: EQ
000000fa: PUSH2 0x016c
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x287cc96b
00000104: EQ
00000105: PUSH2 0x018e
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x2ec119d6
0000010f: EQ
00000110: PUSH2 0x01b0
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x3aecd0e3
0000011a: EQ
0000011b: PUSH2 0x01d0
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x4634d81c
00000125: EQ
00000126: PUSH2 0x0206
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: CALLDATASIZE
00000130: PUSH2 0x0167
00000133: JUMPI
00000134: PUSH1 0x06
00000136: SLOAD
00000137: PUSH2 0x0144
0000013a: PUSH1 0x01
0000013c: PUSH1 0x40
0000013e: SHL
0000013f: CALLVALUE
00000140: PUSH2 0x0a4e
00000143: JUMP
00000144: JUMPDEST
00000145: PUSH2 0x014e
00000148: SWAP2
00000149: SWAP1
0000014a: PUSH2 0x0a6b
0000014d: JUMP
0000014e: JUMPDEST
0000014f: PUSH1 0x07
00000151: PUSH1 0x00
00000153: DUP3
00000154: DUP3
00000155: SLOAD
00000156: PUSH2 0x015f
00000159: SWAP2
0000015a: SWAP1
0000015b: PUSH2 0x0a8d
0000015e: JUMP
0000015f: JUMPDEST
00000160: SWAP3
00000161: POP
00000162: POP
00000163: DUP2
00000164: SWAP1
00000165: SSTORE
00000166: STOP
00000167: JUMPDEST
00000168: PUSH1 0x00
0000016a: DUP1
0000016b: REVERT
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: DUP1
0000016f: ISZERO
00000170: PUSH2 0x0178
00000173: JUMPI
00000174: PUSH1 0x00
00000176: DUP1
00000177: REVERT
00000178: JUMPDEST
00000179: POP
0000017a: PUSH2 0x018c
0000017d: PUSH2 0x0187
00000180: CALLDATASIZE
00000181: PUSH1 0x04
00000183: PUSH2 0x0aa0
00000186: JUMP
00000187: JUMPDEST
00000188: PUSH2 0x042c
0000018b: JUMP
0000018c: JUMPDEST
0000018d: STOP
0000018e: JUMPDEST
0000018f: CALLVALUE
00000190: DUP1
00000191: ISZERO
00000192: PUSH2 0x019a
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: POP
0000019c: SELFBALANCE
0000019d: JUMPDEST
0000019e: PUSH1 0x40
000001a0: MLOAD
000001a1: SWAP1
000001a2: DUP2
000001a3: MSTORE
000001a4: PUSH1 0x20
000001a6: ADD
000001a7: JUMPDEST
000001a8: PUSH1 0x40
000001aa: MLOAD
000001ab: DUP1
000001ac: SWAP2
000001ad: SUB
000001ae: SWAP1
000001af: RETURN
000001b0: JUMPDEST
000001b1: CALLVALUE
000001b2: DUP1
000001b3: ISZERO
000001b4: PUSH2 0x01bc
000001b7: JUMPI
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: POP
000001be: PUSH2 0x018c
000001c1: PUSH2 0x01cb
000001c4: CALLDATASIZE
000001c5: PUSH1 0x04
000001c7: PUSH2 0x0ad0
000001ca: JUMP
000001cb: JUMPDEST
000001cc: PUSH2 0x0481
000001cf: JUMP
000001d0: JUMPDEST
000001d1: CALLVALUE
000001d2: DUP1
000001d3: ISZERO
000001d4: PUSH2 0x01dc
000001d7: JUMPI
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: POP
000001de: PUSH2 0x019d
000001e1: PUSH2 0x01eb
000001e4: CALLDATASIZE
000001e5: PUSH1 0x04
000001e7: PUSH2 0x0aa0
000001ea: JUMP
000001eb: JUMPDEST
000001ec: PUSH1 0x01
000001ee: PUSH1 0x01
000001f0: PUSH1 0xa0
000001f2: SHL
000001f3: SUB
000001f4: AND
000001f5: PUSH1 0x00
000001f7: SWAP1
000001f8: DUP2
000001f9: MSTORE
000001fa: PUSH1 0x02
000001fc: PUSH1 0x20
000001fe: MSTORE
000001ff: PUSH1 0x40
00000201: SWAP1
00000202: KECCAK256
00000203: SLOAD
00000204: SWAP1
00000205: JUMP
00000206: JUMPDEST
00000207: CALLVALUE
00000208: DUP1
00000209: ISZERO
0000020a: PUSH2 0x0212
0000020d: JUMPI
0000020e: PUSH1 0x00
00000210: DUP1
00000211: REVERT
00000212: JUMPDEST
00000213: POP
00000214: PUSH2 0x019d
00000217: PUSH2 0x0221
0000021a: CALLDATASIZE
0000021b: PUSH1 0x04
0000021d: PUSH2 0x0aa0
00000220: JUMP
00000221: JUMPDEST
00000222: PUSH2 0x0503
00000225: JUMP
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: POP
00000234: PUSH2 0x018c
00000237: PUSH2 0x056b
0000023a: JUMP
0000023b: JUMPDEST
0000023c: CALLVALUE
0000023d: DUP1
0000023e: ISZERO
0000023f: PUSH2 0x0247
00000242: JUMPI
00000243: PUSH1 0x00
00000245: DUP1
00000246: REVERT
00000247: JUMPDEST
00000248: POP
00000249: PUSH1 0x05
0000024b: SLOAD
0000024c: PUSH2 0x025b
0000024f: SWAP1
00000250: PUSH1 0x01
00000252: PUSH1 0x01
00000254: PUSH1 0xa0
00000256: SHL
00000257: SUB
00000258: AND
00000259: DUP2
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH1 0x40
0000025e: MLOAD
0000025f: PUSH1 0x01
00000261: PUSH1 0x01
00000263: PUSH1 0xa0
00000265: SHL
00000266: SUB
00000267: SWAP1
00000268: SWAP2
00000269: AND
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x20
0000026e: ADD
0000026f: PUSH2 0x01a7
00000272: JUMP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x019d
00000284: PUSH2 0x028e
00000287: CALLDATASIZE
00000288: PUSH1 0x04
0000028a: PUSH2 0x0aa0
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x02
00000291: PUSH1 0x20
00000293: MSTORE
00000294: PUSH1 0x00
00000296: SWAP1
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x40
0000029b: SWAP1
0000029c: KECCAK256
0000029d: SLOAD
0000029e: DUP2
0000029f: JUMP
000002a0: JUMPDEST
000002a1: CALLVALUE
000002a2: DUP1
000002a3: ISZERO
000002a4: PUSH2 0x02ac
000002a7: JUMPI
000002a8: PUSH1 0x00
000002aa: DUP1
000002ab: REVERT
000002ac: JUMPDEST
000002ad: POP
000002ae: PUSH2 0x019d
000002b1: PUSH2 0x02bb
000002b4: CALLDATASIZE
000002b5: PUSH1 0x04
000002b7: PUSH2 0x0aa0
000002ba: JUMP
000002bb: JUMPDEST
000002bc: PUSH1 0x03
000002be: PUSH1 0x20
000002c0: MSTORE
000002c1: PUSH1 0x00
000002c3: SWAP1
000002c4: DUP2
000002c5: MSTORE
000002c6: PUSH1 0x40
000002c8: SWAP1
000002c9: KECCAK256
000002ca: SLOAD
000002cb: DUP2
000002cc: JUMP
000002cd: JUMPDEST
000002ce: CALLVALUE
000002cf: DUP1
000002d0: ISZERO
000002d1: PUSH2 0x02d9
000002d4: JUMPI
000002d5: PUSH1 0x00
000002d7: DUP1
000002d8: REVERT
000002d9: JUMPDEST
000002da: POP
000002db: PUSH2 0x019d
000002de: PUSH1 0x07
000002e0: SLOAD
000002e1: DUP2
000002e2: JUMP
000002e3: JUMPDEST
000002e4: CALLVALUE
000002e5: DUP1
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: POP
000002f1: PUSH2 0x018c
000002f4: PUSH2 0x06a5
000002f7: JUMP
000002f8: JUMPDEST
000002f9: CALLVALUE
000002fa: DUP1
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: POP
00000306: PUSH2 0x018c
00000309: PUSH2 0x0313
0000030c: CALLDATASIZE
0000030d: PUSH1 0x04
0000030f: PUSH2 0x0ad0
00000312: JUMP
00000313: JUMPDEST
00000314: PUSH2 0x06db
00000317: JUMP
00000318: JUMPDEST
00000319: CALLVALUE
0000031a: DUP1
0000031b: ISZERO
0000031c: PUSH2 0x0324
0000031f: JUMPI
00000320: PUSH1 0x00
00000322: DUP1
00000323: REVERT
00000324: JUMPDEST
00000325: POP
00000326: PUSH2 0x019d
00000329: PUSH1 0x06
0000032b: SLOAD
0000032c: DUP2
0000032d: JUMP
0000032e: JUMPDEST
0000032f: CALLVALUE
00000330: DUP1
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: POP
0000033c: PUSH1 0x00
0000033e: SLOAD
0000033f: PUSH1 0x01
00000341: PUSH1 0x01
00000343: PUSH1 0xa0
00000345: SHL
00000346: SUB
00000347: AND
00000348: PUSH2 0x025b
0000034b: JUMP
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: POP
0000035a: PUSH2 0x037c
0000035d: PUSH2 0x0367
00000360: CALLDATASIZE
00000361: PUSH1 0x04
00000363: PUSH2 0x0aa0
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH1 0x01
0000036a: PUSH1 0x20
0000036c: MSTORE
0000036d: PUSH1 0x00
0000036f: SWAP1
00000370: DUP2
00000371: MSTORE
00000372: PUSH1 0x40
00000374: SWAP1
00000375: KECCAK256
00000376: SLOAD
00000377: PUSH1 0xff
00000379: AND
0000037a: DUP2
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH1 0x40
0000037f: MLOAD
00000380: SWAP1
00000381: ISZERO
00000382: ISZERO
00000383: DUP2
00000384: MSTORE
00000385: PUSH1 0x20
00000387: ADD
00000388: PUSH2 0x01a7
0000038b: JUMP
0000038c: JUMPDEST
0000038d: CALLVALUE
0000038e: DUP1
0000038f: ISZERO
00000390: PUSH2 0x0398
00000393: JUMPI
00000394: PUSH1 0x00
00000396: DUP1
00000397: REVERT
00000398: JUMPDEST
00000399: POP
0000039a: PUSH2 0x019d
0000039d: PUSH1 0x04
0000039f: SLOAD
000003a0: DUP2
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH2 0x018c
000003a6: PUSH2 0x080d
000003a9: JUMP
000003aa: JUMPDEST
000003ab: CALLVALUE
000003ac: DUP1
000003ad: ISZERO
000003ae: PUSH2 0x03b6
000003b1: JUMPI
000003b2: PUSH1 0x00
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: POP
000003b8: PUSH2 0x037c
000003bb: PUSH2 0x03c5
000003be: CALLDATASIZE
000003bf: PUSH1 0x04
000003c1: PUSH2 0x0aa0
000003c4: JUMP
000003c5: JUMPDEST
000003c6: PUSH2 0x0840
000003c9: JUMP
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x018c
000003db: PUSH2 0x0886
000003de: JUMP
000003df: JUMPDEST
000003e0: CALLVALUE
000003e1: DUP1
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH2 0x019d
000003f0: PUSH2 0x03fa
000003f3: CALLDATASIZE
000003f4: PUSH1 0x04
000003f6: PUSH2 0x0aa0
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH1 0x08
000003fd: PUSH1 0x20
000003ff: MSTORE
00000400: PUSH1 0x00
00000402: SWAP1
00000403: DUP2
00000404: MSTORE
00000405: PUSH1 0x40
00000407: SWAP1
00000408: KECCAK256
00000409: SLOAD
0000040a: DUP2
0000040b: JUMP
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: DUP1
0000040f: ISZERO
00000410: PUSH2 0x0418
00000413: JUMPI
00000414: PUSH1 0x00
00000416: DUP1
00000417: REVERT
00000418: JUMPDEST
00000419: POP
0000041a: PUSH2 0x018c
0000041d: PUSH2 0x0427
00000420: CALLDATASIZE
00000421: PUSH1 0x04
00000423: PUSH2 0x0aa0
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH2 0x08ed
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH1 0x00
0000042f: SLOAD
00000430: PUSH1 0x01
00000432: PUSH1 0x01
00000434: PUSH1 0xa0
00000436: SHL
00000437: SUB
00000438: AND
00000439: CALLER
0000043a: EQ
0000043b: PUSH2 0x045f
0000043e: JUMPI
0000043f: PUSH1 0x40
00000441: MLOAD
00000442: PUSH3 0x461bcd
00000446: PUSH1 0xe5
00000448: SHL
00000449: DUP2
0000044a: MSTORE
0000044b: PUSH1 0x04
0000044d: ADD
0000044e: PUSH2 0x0456
00000451: SWAP1
00000452: PUSH2 0x0ae9
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: DUP1
0000045b: SWAP2
0000045c: SUB
0000045d: SWAP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: PUSH1 0x05
00000462: DUP1
00000463: SLOAD
00000464: PUSH1 0x01
00000466: PUSH1 0x01
00000468: PUSH1 0xa0
0000046a: SHL
0000046b: SUB
0000046c: NOT
0000046d: AND
0000046e: PUSH1 0x01
00000470: PUSH1 0x01
00000472: PUSH1 0xa0
00000474: SHL
00000475: SUB
00000476: SWAP3
00000477: SWAP1
00000478: SWAP3
00000479: AND
0000047a: SWAP2
0000047b: SWAP1
0000047c: SWAP2
0000047d: OR
0000047e: SWAP1
0000047f: SSTORE
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH1 0x00
00000484: SLOAD
00000485: PUSH1 0x01
00000487: PUSH1 0x01
00000489: PUSH1 0xa0
0000048b: SHL
0000048c: SUB
0000048d: AND
0000048e: CALLER
0000048f: EQ
00000490: PUSH2 0x04ab
00000493: JUMPI
00000494: PUSH1 0x40
00000496: MLOAD
00000497: PUSH3 0x461bcd
0000049b: PUSH1 0xe5
0000049d: SHL
0000049e: DUP2
0000049f: MSTORE
000004a0: PUSH1 0x04
000004a2: ADD
000004a3: PUSH2 0x0456
000004a6: SWAP1
000004a7: PUSH2 0x0ae9
000004aa: JUMP
000004ab: JUMPDEST
000004ac: PUSH3 0x13c680
000004b0: DUP2
000004b1: GT
000004b2: ISZERO
000004b3: PUSH2 0x04fe
000004b6: JUMPI
000004b7: PUSH1 0x40
000004b9: MLOAD
000004ba: PUSH3 0x461bcd
000004be: PUSH1 0xe5
000004c0: SHL
000004c1: DUP2
000004c2: MSTORE
000004c3: PUSH1 0x20
000004c5: PUSH1 0x04
000004c7: DUP3
000004c8: ADD
000004c9: MSTORE
000004ca: PUSH1 0x1c
000004cc: PUSH1 0x24
000004ce: DUP3
000004cf: ADD
000004d0: MSTORE
000004d1: PUSH32 0x4d6178696d756d2074696d65206c6f636b206973203135206461797300000000
000004f2: PUSH1 0x44
000004f4: DUP3
000004f5: ADD
000004f6: MSTORE
000004f7: PUSH1 0x64
000004f9: ADD
000004fa: PUSH2 0x0456
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH1 0x04
00000501: SSTORE
00000502: JUMP
00000503: JUMPDEST
00000504: PUSH1 0x07
00000506: SLOAD
00000507: PUSH1 0x01
00000509: PUSH1 0x01
0000050b: PUSH1 0xa0
0000050d: SHL
0000050e: SUB
0000050f: DUP3
00000510: AND
00000511: PUSH1 0x00
00000513: SWAP1
00000514: DUP2
00000515: MSTORE
00000516: PUSH1 0x02
00000518: PUSH1 0x20
0000051a: MSTORE
0000051b: PUSH1 0x40
0000051d: DUP2
0000051e: KECCAK256
0000051f: SLOAD
00000520: SWAP1
00000521: SWAP2
00000522: DUP3
00000523: SWAP2
00000524: PUSH1 0x01
00000526: PUSH1 0x40
00000528: SHL
00000529: SWAP2
0000052a: PUSH2 0x0532
0000052d: SWAP2
0000052e: PUSH2 0x0a4e
00000531: JUMP
00000532: JUMPDEST
00000533: PUSH2 0x053c
00000536: SWAP2
00000537: SWAP1
00000538: PUSH2 0x0a6b
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH1 0x01
0000053f: PUSH1 0x01
00000541: PUSH1 0xa0
00000543: SHL
00000544: SUB
00000545: DUP5
00000546: AND
00000547: PUSH1 0x00
00000549: SWAP1
0000054a: DUP2
0000054b: MSTORE
0000054c: PUSH1 0x08
0000054e: PUSH1 0x20
00000550: MSTORE
00000551: PUSH1 0x40
00000553: DUP2
00000554: KECCAK256
00000555: SLOAD
00000556: SWAP2
00000557: SWAP3
00000558: POP
00000559: SWAP1
0000055a: PUSH2 0x0563
0000055d: SWAP1
0000055e: DUP4
0000055f: PUSH2 0x0b1e
00000562: JUMP
00000563: JUMPDEST
00000564: SWAP5
00000565: SWAP4
00000566: POP
00000567: POP
00000568: POP
00000569: POP
0000056a: JUMP
0000056b: JUMPDEST
0000056c: PUSH2 0x0574
0000056f: CALLER
00000570: PUSH2 0x0840
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH2 0x05c0
00000578: JUMPI
00000579: PUSH1 0x40
0000057b: MLOAD
0000057c: PUSH3 0x461bcd
00000580: PUSH1 0xe5
00000582: SHL
00000583: DUP2
00000584: MSTORE
00000585: PUSH1 0x20
00000587: PUSH1 0x04
00000589: DUP3
0000058a: ADD
0000058b: MSTORE
0000058c: PUSH1 0x19
0000058e: PUSH1 0x24
00000590: DUP3
00000591: ADD
00000592: MSTORE
00000593: PUSH32 0x5374616b696e672074696d65206973206e6f74206f7665722e00000000000000
000005b4: PUSH1 0x44
000005b6: DUP3
000005b7: ADD
000005b8: MSTORE
000005b9: PUSH1 0x64
000005bb: ADD
000005bc: PUSH2 0x0456
000005bf: JUMP
000005c0: JUMPDEST
000005c1: PUSH2 0x05c8
000005c4: PUSH2 0x0985
000005c7: JUMP
000005c8: JUMPDEST
000005c9: PUSH1 0x05
000005cb: SLOAD
000005cc: CALLER
000005cd: PUSH1 0x00
000005cf: DUP2
000005d0: DUP2
000005d1: MSTORE
000005d2: PUSH1 0x02
000005d4: PUSH1 0x20
000005d6: MSTORE
000005d7: PUSH1 0x40
000005d9: SWAP1
000005da: DUP2
000005db: SWAP1
000005dc: KECCAK256
000005dd: SLOAD
000005de: SWAP1
000005df: MLOAD
000005e0: PUSH4 0xa9059cbb
000005e5: PUSH1 0xe0
000005e7: SHL
000005e8: DUP2
000005e9: MSTORE
000005ea: PUSH1 0x04
000005ec: DUP2
000005ed: ADD
000005ee: SWAP3
000005ef: SWAP1
000005f0: SWAP3
000005f1: MSTORE
000005f2: PUSH1 0x24
000005f4: DUP3
000005f5: ADD
000005f6: MSTORE
000005f7: PUSH1 0x01
000005f9: PUSH1 0x01
000005fb: PUSH1 0xa0
000005fd: SHL
000005fe: SUB
000005ff: SWAP1
00000600: SWAP2
00000601: AND
00000602: SWAP1
00000603: PUSH4 0xa9059cbb
00000608: SWAP1
00000609: PUSH1 0x44
0000060b: ADD
0000060c: PUSH1 0x20
0000060e: PUSH1 0x40
00000610: MLOAD
00000611: DUP1
00000612: DUP4
00000613: SUB
00000614: DUP2
00000615: PUSH1 0x00
00000617: DUP8
00000618: GAS
00000619: CALL
0000061a: ISZERO
0000061b: DUP1
0000061c: ISZERO
0000061d: PUSH2 0x062a
00000620: JUMPI
00000621: RETURNDATASIZE
00000622: PUSH1 0x00
00000624: DUP1
00000625: RETURNDATACOPY
00000626: RETURNDATASIZE
00000627: PUSH1 0x00
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: POP
0000062d: POP
0000062e: POP
0000062f: PUSH1 0x40
00000631: MLOAD
00000632: RETURNDATASIZE
00000633: PUSH1 0x1f
00000635: NOT
00000636: PUSH1 0x1f
00000638: DUP3
00000639: ADD
0000063a: AND
0000063b: DUP3
0000063c: ADD
0000063d: DUP1
0000063e: PUSH1 0x40
00000640: MSTORE
00000641: POP
00000642: DUP2
00000643: ADD
00000644: SWAP1
00000645: PUSH2 0x064e
00000648: SWAP2
00000649: SWAP1
0000064a: PUSH2 0x0b31
0000064d: JUMP
0000064e: JUMPDEST
0000064f: POP
00000650: CALLER
00000651: PUSH1 0x00
00000653: SWAP1
00000654: DUP2
00000655: MSTORE
00000656: PUSH1 0x02
00000658: PUSH1 0x20
0000065a: MSTORE
0000065b: PUSH1 0x40
0000065d: DUP2
0000065e: KECCAK256
0000065f: SLOAD
00000660: PUSH1 0x06
00000662: DUP1
00000663: SLOAD
00000664: SWAP2
00000665: SWAP3
00000666: SWAP1
00000667: SWAP2
00000668: PUSH2 0x0672
0000066b: SWAP1
0000066c: DUP5
0000066d: SWAP1
0000066e: PUSH2 0x0b1e
00000671: JUMP
00000672: JUMPDEST
00000673: SWAP1
00000674: SWAP2
00000675: SSTORE
00000676: POP
00000677: POP
00000678: CALLER
00000679: PUSH1 0x00
0000067b: SWAP1
0000067c: DUP2
0000067d: MSTORE
0000067e: PUSH1 0x02
00000680: PUSH1 0x20
00000682: SWAP1
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x40
00000687: DUP1
00000688: DUP4
00000689: KECCAK256
0000068a: DUP4
0000068b: SWAP1
0000068c: SSTORE
0000068d: PUSH1 0x01
0000068f: DUP3
00000690: MSTORE
00000691: DUP1
00000692: DUP4
00000693: KECCAK256
00000694: DUP1
00000695: SLOAD
00000696: PUSH1 0xff
00000698: NOT
00000699: AND
0000069a: SWAP1
0000069b: SSTORE
0000069c: PUSH1 0x08
0000069e: SWAP1
0000069f: SWAP2
000006a0: MSTORE
000006a1: DUP2
000006a2: KECCAK256
000006a3: SSTORE
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH1 0x00
000006a8: SLOAD
000006a9: PUSH1 0x01
000006ab: PUSH1 0x01
000006ad: PUSH1 0xa0
000006af: SHL
000006b0: SUB
000006b1: AND
000006b2: CALLER
000006b3: EQ
000006b4: PUSH2 0x06cf
000006b7: JUMPI
000006b8: PUSH1 0x40
000006ba: MLOAD
000006bb: PUSH3 0x461bcd
000006bf: PUSH1 0xe5
000006c1: SHL
000006c2: DUP2
000006c3: MSTORE
000006c4: PUSH1 0x04
000006c6: ADD
000006c7: PUSH2 0x0456
000006ca: SWAP1
000006cb: PUSH2 0x0ae9
000006ce: JUMP
000006cf: JUMPDEST
000006d0: PUSH2 0x06d9
000006d3: PUSH1 0x00
000006d5: PUSH2 0x09e8
000006d8: JUMP
000006d9: JUMPDEST
000006da: JUMP
000006db: JUMPDEST
000006dc: PUSH1 0x05
000006de: SLOAD
000006df: PUSH1 0x40
000006e1: MLOAD
000006e2: PUSH4 0x23b872dd
000006e7: PUSH1 0xe0
000006e9: SHL
000006ea: DUP2
000006eb: MSTORE
000006ec: CALLER
000006ed: PUSH1 0x04
000006ef: DUP3
000006f0: ADD
000006f1: MSTORE
000006f2: ADDRESS
000006f3: PUSH1 0x24
000006f5: DUP3
000006f6: ADD
000006f7: MSTORE
000006f8: PUSH1 0x44
000006fa: DUP2
000006fb: ADD
000006fc: DUP4
000006fd: SWAP1
000006fe: MSTORE
000006ff: PUSH1 0x01
00000701: PUSH1 0x01
00000703: PUSH1 0xa0
00000705: SHL
00000706: SUB
00000707: SWAP1
00000708: SWAP2
00000709: AND
0000070a: SWAP1
0000070b: PUSH4 0x23b872dd
00000710: SWAP1
00000711: PUSH1 0x64
00000713: ADD
00000714: PUSH1 0x20
00000716: PUSH1 0x40
00000718: MLOAD
00000719: DUP1
0000071a: DUP4
0000071b: SUB
0000071c: DUP2
0000071d: PUSH1 0x00
0000071f: DUP8
00000720: GAS
00000721: CALL
00000722: ISZERO
00000723: DUP1
00000724: ISZERO
00000725: PUSH2 0x0732
00000728: JUMPI
00000729: RETURNDATASIZE
0000072a: PUSH1 0x00
0000072c: DUP1
0000072d: RETURNDATACOPY
0000072e: RETURNDATASIZE
0000072f: PUSH1 0x00
00000731: REVERT
00000732: JUMPDEST
00000733: POP
00000734: POP
00000735: POP
00000736: POP
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: RETURNDATASIZE
0000073b: PUSH1 0x1f
0000073d: NOT
0000073e: PUSH1 0x1f
00000740: DUP3
00000741: ADD
00000742: AND
00000743: DUP3
00000744: ADD
00000745: DUP1
00000746: PUSH1 0x40
00000748: MSTORE
00000749: POP
0000074a: DUP2
0000074b: ADD
0000074c: SWAP1
0000074d: PUSH2 0x0756
00000750: SWAP2
00000751: SWAP1
00000752: PUSH2 0x0b31
00000755: JUMP
00000756: JUMPDEST
00000757: POP
00000758: PUSH1 0x00
0000075a: PUSH2 0x0762
0000075d: CALLER
0000075e: PUSH2 0x0503
00000761: JUMP
00000762: JUMPDEST
00000763: CALLER
00000764: PUSH1 0x00
00000766: SWAP1
00000767: DUP2
00000768: MSTORE
00000769: PUSH1 0x02
0000076b: PUSH1 0x20
0000076d: MSTORE
0000076e: PUSH1 0x40
00000770: DUP2
00000771: KECCAK256
00000772: DUP1
00000773: SLOAD
00000774: SWAP3
00000775: SWAP4
00000776: POP
00000777: DUP5
00000778: SWAP3
00000779: SWAP1
0000077a: SWAP2
0000077b: SWAP1
0000077c: PUSH2 0x0786
0000077f: SWAP1
00000780: DUP5
00000781: SWAP1
00000782: PUSH2 0x0a8d
00000785: JUMP
00000786: JUMPDEST
00000787: SWAP1
00000788: SWAP2
00000789: SSTORE
0000078a: POP
0000078b: POP
0000078c: CALLER
0000078d: PUSH1 0x00
0000078f: SWAP1
00000790: DUP2
00000791: MSTORE
00000792: PUSH1 0x01
00000794: PUSH1 0x20
00000796: DUP2
00000797: SWAP1
00000798: MSTORE
00000799: PUSH1 0x40
0000079b: DUP3
0000079c: KECCAK256
0000079d: DUP1
0000079e: SLOAD
0000079f: PUSH1 0xff
000007a1: NOT
000007a2: AND
000007a3: SWAP1
000007a4: SWAP2
000007a5: OR
000007a6: SWAP1
000007a7: SSTORE
000007a8: PUSH1 0x06
000007aa: DUP1
000007ab: SLOAD
000007ac: DUP5
000007ad: SWAP3
000007ae: SWAP1
000007af: PUSH2 0x07b9
000007b2: SWAP1
000007b3: DUP5
000007b4: SWAP1
000007b5: PUSH2 0x0a8d
000007b8: JUMP
000007b9: JUMPDEST
000007ba: SWAP1
000007bb: SWAP2
000007bc: SSTORE
000007bd: POP
000007be: POP
000007bf: CALLER
000007c0: PUSH1 0x00
000007c2: DUP2
000007c3: DUP2
000007c4: MSTORE
000007c5: PUSH1 0x03
000007c7: PUSH1 0x20
000007c9: MSTORE
000007ca: PUSH1 0x40
000007cc: SWAP1
000007cd: KECCAK256
000007ce: TIMESTAMP
000007cf: SWAP1
000007d0: SSTORE
000007d1: DUP2
000007d2: SWAP1
000007d3: PUSH2 0x07db
000007d6: SWAP1
000007d7: PUSH2 0x0503
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH2 0x07e5
000007df: SWAP2
000007e0: SWAP1
000007e1: PUSH2 0x0b1e
000007e4: JUMP
000007e5: JUMPDEST
000007e6: CALLER
000007e7: PUSH1 0x00
000007e9: SWAP1
000007ea: DUP2
000007eb: MSTORE
000007ec: PUSH1 0x08
000007ee: PUSH1 0x20
000007f0: MSTORE
000007f1: PUSH1 0x40
000007f3: DUP2
000007f4: KECCAK256
000007f5: DUP1
000007f6: SLOAD
000007f7: SWAP1
000007f8: SWAP2
000007f9: SWAP1
000007fa: PUSH2 0x0804
000007fd: SWAP1
000007fe: DUP5
000007ff: SWAP1
00000800: PUSH2 0x0a8d
00000803: JUMP
00000804: JUMPDEST
00000805: SWAP1
00000806: SWAP2
00000807: SSTORE
00000808: POP
00000809: POP
0000080a: POP
0000080b: POP
0000080c: JUMP
0000080d: JUMPDEST
0000080e: PUSH1 0x06
00000810: SLOAD
00000811: PUSH2 0x081e
00000814: PUSH1 0x01
00000816: PUSH1 0x40
00000818: SHL
00000819: CALLVALUE
0000081a: PUSH2 0x0a4e
0000081d: JUMP
0000081e: JUMPDEST
0000081f: PUSH2 0x0828
00000822: SWAP2
00000823: SWAP1
00000824: PUSH2 0x0a6b
00000827: JUMP
00000828: JUMPDEST
00000829: PUSH1 0x07
0000082b: PUSH1 0x00
0000082d: DUP3
0000082e: DUP3
0000082f: SLOAD
00000830: PUSH2 0x0839
00000833: SWAP2
00000834: SWAP1
00000835: PUSH2 0x0a8d
00000838: JUMP
00000839: JUMPDEST
0000083a: SWAP1
0000083b: SWAP2
0000083c: SSTORE
0000083d: POP
0000083e: POP
0000083f: JUMP
00000840: JUMPDEST
00000841: PUSH1 0x01
00000843: PUSH1 0x01
00000845: PUSH1 0xa0
00000847: SHL
00000848: SUB
00000849: DUP2
0000084a: AND
0000084b: PUSH1 0x00
0000084d: SWAP1
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x03
00000852: PUSH1 0x20
00000854: MSTORE
00000855: PUSH1 0x40
00000857: DUP2
00000858: KECCAK256
00000859: SLOAD
0000085a: TIMESTAMP
0000085b: DUP3
0000085c: PUSH2 0x0865
0000085f: DUP4
00000860: DUP4
00000861: PUSH2 0x0b1e
00000864: JUMP
00000865: JUMPDEST
00000866: SWAP1
00000867: POP
00000868: PUSH1 0x04
0000086a: SLOAD
0000086b: DUP2
0000086c: LT
0000086d: PUSH2 0x087b
00000870: JUMPI
00000871: POP
00000872: PUSH1 0x01
00000874: SWAP5
00000875: SWAP4
00000876: POP
00000877: POP
00000878: POP
00000879: POP
0000087a: JUMP
0000087b: JUMPDEST
0000087c: POP
0000087d: PUSH1 0x00
0000087f: SWAP5
00000880: SWAP4
00000881: POP
00000882: POP
00000883: POP
00000884: POP
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH1 0x00
00000889: SLOAD
0000088a: PUSH1 0x01
0000088c: PUSH1 0x01
0000088e: PUSH1 0xa0
00000890: SHL
00000891: SUB
00000892: AND
00000893: CALLER
00000894: EQ
00000895: PUSH2 0x08b0
00000898: JUMPI
00000899: PUSH1 0x40
0000089b: MLOAD
0000089c: PUSH3 0x461bcd
000008a0: PUSH1 0xe5
000008a2: SHL
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x04
000008a7: ADD
000008a8: PUSH2 0x0456
000008ab: SWAP1
000008ac: PUSH2 0x0ae9
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH1 0x00
000008b3: DUP1
000008b4: SLOAD
000008b5: PUSH1 0x40
000008b7: MLOAD
000008b8: PUSH1 0x01
000008ba: PUSH1 0x01
000008bc: PUSH1 0xa0
000008be: SHL
000008bf: SUB
000008c0: SWAP1
000008c1: SWAP2
000008c2: AND
000008c3: SWAP2
000008c4: SELFBALANCE
000008c5: DUP1
000008c6: ISZERO
000008c7: PUSH2 0x08fc
000008ca: MUL
000008cb: SWAP3
000008cc: SWAP1
000008cd: SWAP2
000008ce: DUP2
000008cf: DUP2
000008d0: DUP2
000008d1: DUP6
000008d2: DUP9
000008d3: DUP9
000008d4: CALL
000008d5: SWAP4
000008d6: POP
000008d7: POP
000008d8: POP
000008d9: POP
000008da: ISZERO
000008db: DUP1
000008dc: ISZERO
000008dd: PUSH2 0x08ea
000008e0: JUMPI
000008e1: RETURNDATASIZE
000008e2: PUSH1 0x00
000008e4: DUP1
000008e5: RETURNDATACOPY
000008e6: RETURNDATASIZE
000008e7: PUSH1 0x00
000008e9: REVERT
000008ea: JUMPDEST
000008eb: POP
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x00
000008f0: SLOAD
000008f1: PUSH1 0x01
000008f3: PUSH1 0x01
000008f5: PUSH1 0xa0
000008f7: SHL
000008f8: SUB
000008f9: AND
000008fa: CALLER
000008fb: EQ
000008fc: PUSH2 0x0917
000008ff: JUMPI
00000900: PUSH1 0x40
00000902: MLOAD
00000903: PUSH3 0x461bcd
00000907: PUSH1 0xe5
00000909: SHL
0000090a: DUP2
0000090b: MSTORE
0000090c: PUSH1 0x04
0000090e: ADD
0000090f: PUSH2 0x0456
00000912: SWAP1
00000913: PUSH2 0x0ae9
00000916: JUMP
00000917: JUMPDEST
00000918: PUSH1 0x01
0000091a: PUSH1 0x01
0000091c: PUSH1 0xa0
0000091e: SHL
0000091f: SUB
00000920: DUP2
00000921: AND
00000922: PUSH2 0x097c
00000925: JUMPI
00000926: PUSH1 0x40
00000928: MLOAD
00000929: PUSH3 0x461bcd
0000092d: PUSH1 0xe5
0000092f: SHL
00000930: DUP2
00000931: MSTORE
00000932: PUSH1 0x20
00000934: PUSH1 0x04
00000936: DUP3
00000937: ADD
00000938: MSTORE
00000939: PUSH1 0x26
0000093b: PUSH1 0x24
0000093d: DUP3
0000093e: ADD
0000093f: MSTORE
00000940: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000961: PUSH1 0x44
00000963: DUP3
00000964: ADD
00000965: MSTORE
00000966: PUSH6 0x646472657373
0000096d: PUSH1 0xd0
0000096f: SHL
00000970: PUSH1 0x64
00000972: DUP3
00000973: ADD
00000974: MSTORE
00000975: PUSH1 0x84
00000977: ADD
00000978: PUSH2 0x0456
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH2 0x08ea
00000980: DUP2
00000981: PUSH2 0x09e8
00000984: JUMP
00000985: JUMPDEST
00000986: PUSH1 0x00
00000988: PUSH2 0x0990
0000098b: CALLER
0000098c: PUSH2 0x0503
0000098f: JUMP
00000990: JUMPDEST
00000991: PUSH1 0x40
00000993: MLOAD
00000994: SWAP1
00000995: SWAP2
00000996: POP
00000997: CALLER
00000998: SWAP1
00000999: DUP3
0000099a: ISZERO
0000099b: PUSH2 0x08fc
0000099e: MUL
0000099f: SWAP1
000009a0: DUP4
000009a1: SWAP1
000009a2: PUSH1 0x00
000009a4: DUP2
000009a5: DUP2
000009a6: DUP2
000009a7: DUP6
000009a8: DUP9
000009a9: DUP9
000009aa: CALL
000009ab: SWAP4
000009ac: POP
000009ad: POP
000009ae: POP
000009af: POP
000009b0: ISZERO
000009b1: DUP1
000009b2: ISZERO
000009b3: PUSH2 0x09c0
000009b6: JUMPI
000009b7: RETURNDATASIZE
000009b8: PUSH1 0x00
000009ba: DUP1
000009bb: RETURNDATACOPY
000009bc: RETURNDATASIZE
000009bd: PUSH1 0x00
000009bf: REVERT
000009c0: JUMPDEST
000009c1: POP
000009c2: CALLER
000009c3: PUSH1 0x00
000009c5: SWAP1
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x08
000009ca: PUSH1 0x20
000009cc: MSTORE
000009cd: PUSH1 0x40
000009cf: DUP2
000009d0: KECCAK256
000009d1: DUP1
000009d2: SLOAD
000009d3: DUP4
000009d4: SWAP3
000009d5: SWAP1
000009d6: PUSH2 0x09e0
000009d9: SWAP1
000009da: DUP5
000009db: SWAP1
000009dc: PUSH2 0x0a8d
000009df: JUMP
000009e0: JUMPDEST
000009e1: SWAP1
000009e2: SWAP2
000009e3: SSTORE
000009e4: POP
000009e5: POP
000009e6: POP
000009e7: JUMP
000009e8: JUMPDEST
000009e9: PUSH1 0x00
000009eb: DUP1
000009ec: SLOAD
000009ed: PUSH1 0x01
000009ef: PUSH1 0x01
000009f1: PUSH1 0xa0
000009f3: SHL
000009f4: SUB
000009f5: DUP4
000009f6: DUP2
000009f7: AND
000009f8: PUSH1 0x01
000009fa: PUSH1 0x01
000009fc: PUSH1 0xa0
000009fe: SHL
000009ff: SUB
00000a00: NOT
00000a01: DUP4
00000a02: AND
00000a03: DUP2
00000a04: OR
00000a05: DUP5
00000a06: SSTORE
00000a07: PUSH1 0x40
00000a09: MLOAD
00000a0a: SWAP2
00000a0b: SWAP1
00000a0c: SWAP3
00000a0d: AND
00000a0e: SWAP3
00000a0f: DUP4
00000a10: SWAP2
00000a11: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000a32: SWAP2
00000a33: SWAP1
00000a34: LOG3
00000a35: POP
00000a36: POP
00000a37: JUMP
00000a38: JUMPDEST
00000a39: PUSH4 0x4e487b71
00000a3e: PUSH1 0xe0
00000a40: SHL
00000a41: PUSH1 0x00
00000a43: MSTORE
00000a44: PUSH1 0x11
00000a46: PUSH1 0x04
00000a48: MSTORE
00000a49: PUSH1 0x24
00000a4b: PUSH1 0x00
00000a4d: REVERT
00000a4e: JUMPDEST
00000a4f: DUP1
00000a50: DUP3
00000a51: MUL
00000a52: DUP2
00000a53: ISZERO
00000a54: DUP3
00000a55: DUP3
00000a56: DIV
00000a57: DUP5
00000a58: EQ
00000a59: OR
00000a5a: PUSH2 0x0a65
00000a5d: JUMPI
00000a5e: PUSH2 0x0a65
00000a61: PUSH2 0x0a38
00000a64: JUMP
00000a65: JUMPDEST
00000a66: SWAP3
00000a67: SWAP2
00000a68: POP
00000a69: POP
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH1 0x00
00000a6e: DUP3
00000a6f: PUSH2 0x0a88
00000a72: JUMPI
00000a73: PUSH4 0x4e487b71
00000a78: PUSH1 0xe0
00000a7a: SHL
00000a7b: PUSH1 0x00
00000a7d: MSTORE
00000a7e: PUSH1 0x12
00000a80: PUSH1 0x04
00000a82: MSTORE
00000a83: PUSH1 0x24
00000a85: PUSH1 0x00
00000a87: REVERT
00000a88: JUMPDEST
00000a89: POP
00000a8a: DIV
00000a8b: SWAP1
00000a8c: JUMP
00000a8d: JUMPDEST
00000a8e: DUP1
00000a8f: DUP3
00000a90: ADD
00000a91: DUP1
00000a92: DUP3
00000a93: GT
00000a94: ISZERO
00000a95: PUSH2 0x0a65
00000a98: JUMPI
00000a99: PUSH2 0x0a65
00000a9c: PUSH2 0x0a38
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: PUSH1 0x00
00000aa3: PUSH1 0x20
00000aa5: DUP3
00000aa6: DUP5
00000aa7: SUB
00000aa8: SLT
00000aa9: ISZERO
00000aaa: PUSH2 0x0ab2
00000aad: JUMPI
00000aae: PUSH1 0x00
00000ab0: DUP1
00000ab1: REVERT
00000ab2: JUMPDEST
00000ab3: DUP2
00000ab4: CALLDATALOAD
00000ab5: PUSH1 0x01
00000ab7: PUSH1 0x01
00000ab9: PUSH1 0xa0
00000abb: SHL
00000abc: SUB
00000abd: DUP2
00000abe: AND
00000abf: DUP2
00000ac0: EQ
00000ac1: PUSH2 0x0ac9
00000ac4: JUMPI
00000ac5: PUSH1 0x00
00000ac7: DUP1
00000ac8: REVERT
00000ac9: JUMPDEST
00000aca: SWAP4
00000acb: SWAP3
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: PUSH1 0x00
00000ad3: PUSH1 0x20
00000ad5: DUP3
00000ad6: DUP5
00000ad7: SUB
00000ad8: SLT
00000ad9: ISZERO
00000ada: PUSH2 0x0ae2
00000add: JUMPI
00000ade: PUSH1 0x00
00000ae0: DUP1
00000ae1: REVERT
00000ae2: JUMPDEST
00000ae3: POP
00000ae4: CALLDATALOAD
00000ae5: SWAP2
00000ae6: SWAP1
00000ae7: POP
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: PUSH1 0x20
00000aec: DUP1
00000aed: DUP3
00000aee: MSTORE
00000aef: DUP2
00000af0: DUP2
00000af1: ADD
00000af2: MSTORE
00000af3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000b14: PUSH1 0x40
00000b16: DUP3
00000b17: ADD
00000b18: MSTORE
00000b19: PUSH1 0x60
00000b1b: ADD
00000b1c: SWAP1
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: DUP2
00000b20: DUP2
00000b21: SUB
00000b22: DUP2
00000b23: DUP2
00000b24: GT
00000b25: ISZERO
00000b26: PUSH2 0x0a65
00000b29: JUMPI
00000b2a: PUSH2 0x0a65
00000b2d: PUSH2 0x0a38
00000b30: JUMP
00000b31: JUMPDEST
00000b32: PUSH1 0x00
00000b34: PUSH1 0x20
00000b36: DUP3
00000b37: DUP5
00000b38: SUB
00000b39: SLT
00000b3a: ISZERO
00000b3b: PUSH2 0x0b43
00000b3e: JUMPI
00000b3f: PUSH1 0x00
00000b41: DUP1
00000b42: REVERT
00000b43: JUMPDEST
00000b44: DUP2
00000b45: MLOAD
00000b46: DUP1
00000b47: ISZERO
00000b48: ISZERO
00000b49: DUP2
00000b4a: EQ
00000b4b: PUSH2 0x0ac9
00000b4e: JUMPI
00000b4f: PUSH1 0x00
00000b51: DUP1
00000b52: REVERT
00000b53: INVALID
00000b54: LOG2
00000b55: PUSH5 0x6970667358
00000b5b: UNKNOWN(0x22)
00000b5c: SLT
00000b5d: KECCAK256
00000b5e: UNKNOWN(0xE9)
00000b5f: MOD
00000b60: UNKNOWN(0xC3)
00000b61: SHR
00000b62: RETURNDATASIZE
00000b63: UNKNOWN(0xAA)
00000b64: UNKNOWN(0x27)
00000b65: MSTORE
00000b66: PUSH9 0xe87ea5a288ee937189
00000b70: UNKNOWN(0xE5)
00000b71: UNKNOWN(0xAC)
00000b72: UNKNOWN(0x2F)
00000b73: UNKNOWN(0xBB)
00000b74: UNKNOWN(0xAC)
00000b75: ADD
00000b76: UNKNOWN(0xC5)
00000b77: DUP15
00000b78: MSTORE
00000b79: UNKNOWN(0xE7)
00000b7a: REVERT
00000b7b: UNKNOWN(0xD0)
00000b7c: GASPRICE
00000b7d: DELEGATECALL
00000b7e: PUSH5 0x736f6c6343
00000b84: STOP
00000b85: ADDMOD
00000b86: EQ
00000b87: STOP
00000b88: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x74958fb1753ffce0511449dcbbf503be87497fc16980d7e531b696855c1d14e6
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x74958fb1753ffce0511449dcbbf503be87497fc16980d7e531b696855c1d14e6",
    "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": "0xd085835a",
            "selector": "0xd085835a",
            "calldata_variants": [
                "0xd085835a",
                "0xd085835a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1e1a3e9",
            "selector": "0xd1e1a3e9",
            "calldata_variants": [
                "0xd1e1a3e9",
                "0xd1e1a3e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb2e21bc",
            "selector": "0xdb2e21bc",
            "calldata_variants": [
                "0xdb2e21bc",
                "0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1456cb4",
            "selector": "0xe1456cb4",
            "calldata_variants": [
                "0xe1456cb4",
                "0xe1456cb40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7547c7a3",
            "selector": "0x7547c7a3",
            "calldata_variants": [
                "0x7547c7a3",
                "0x7547c7a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2941,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x0326f390d2ea9642531aa8d9a6947141cf942d9b314dc1a472ac3a638d66de72
call_targets: 0x6963625053dc2895296032a321d3d86f5be9debc
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0326f390d2ea9642531aa8d9a6947141cf942d9b314dc1a472ac3a638d66de72",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x6963625053dc2895296032a321d3d86f5be9debc"
    ],
    "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": "0xd085835a",
            "selector": "0xd085835a",
            "calldata_variants": [
                "0xd085835a",
                "0xd085835a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1e1a3e9",
            "selector": "0xd1e1a3e9",
            "calldata_variants": [
                "0xd1e1a3e9",
                "0xd1e1a3e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb2e21bc",
            "selector": "0xdb2e21bc",
            "calldata_variants": [
                "0xdb2e21bc",
                "0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1456cb4",
            "selector": "0xe1456cb4",
            "calldata_variants": [
                "0xe1456cb4",
                "0xe1456cb40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7547c7a3",
            "selector": "0x7547c7a3",
            "calldata_variants": [
                "0x7547c7a3",
                "0x7547c7a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1561,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1825,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2260,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x0326f390d2ea9642531aa8d9a6947141cf942d9b314dc1a472ac3a638d66de72
call_targets: 0x6963625053dc2895296032a321d3d86f5be9debc
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0326f390d2ea9642531aa8d9a6947141cf942d9b314dc1a472ac3a638d66de72",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x6963625053dc2895296032a321d3d86f5be9debc"
    ],
    "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": "0xd085835a",
            "selector": "0xd085835a",
            "calldata_variants": [
                "0xd085835a",
                "0xd085835a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1e1a3e9",
            "selector": "0xd1e1a3e9",
            "calldata_variants": [
                "0xd1e1a3e9",
                "0xd1e1a3e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb2e21bc",
            "selector": "0xdb2e21bc",
            "calldata_variants": [
                "0xdb2e21bc",
                "0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1456cb4",
            "selector": "0xe1456cb4",
            "calldata_variants": [
                "0xe1456cb4",
                "0xe1456cb40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7547c7a3",
            "selector": "0x7547c7a3",
            "calldata_variants": [
                "0x7547c7a3",
                "0x7547c7a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1561,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1825,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2260,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}