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

Analysis Run

019b3836-52ee-71ca-b27f-fbe84c2541b4

complete
Chain ID
1
Address
0xd9d6748bf50943edcea2bce228fd809d4a951f7e
Block Number
—
Created
Fri, Dec 19, 2025 8:04 PM
Review Summary

What survived the funnel

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

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
7973 artifact.fetch complete 1 / 3 4 months ago
7974 tool.cast_disasm complete 1 / 3 4 months ago
82451 analysis.bundle complete 1 / 3 2 weeks ago
82452 capability.graph complete 1 / 3 2 weeks ago
82453 detector.run complete 1 / 3 2 weeks ago
82454 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
15
EXT*/BALANCE
4
Total opcodes
2179
Flags
selfdestruct_present call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00a3
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x0779afe6
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00a5
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x144fa6d7
00000025: EQ
00000026: PUSH2 0x00d6
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x27950b96
00000030: EQ
00000031: PUSH2 0x00f8
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x3e8f5b90
0000003b: EQ
0000003c: PUSH2 0x0189
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x41c0e1b5
00000046: EQ
00000047: PUSH2 0x01f1
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x833f43c2
00000051: EQ
00000052: PUSH2 0x0210
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x867904b4
0000005c: EQ
0000005d: PUSH2 0x0238
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x8da5cb5b
00000067: EQ
00000068: PUSH2 0x0264
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x9dc29fac
00000072: EQ
00000073: PUSH2 0x0276
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xb44bd51d
0000007d: EQ
0000007e: PUSH2 0x02a2
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xbf120ae5
00000088: EQ
00000089: PUSH2 0x0338
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xe02b0b0c
00000093: EQ
00000094: PUSH2 0x0360
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xf2fde38b
0000009e: EQ
0000009f: PUSH2 0x0471
000000a2: JUMPI
000000a3: JUMPDEST
000000a4: STOP
000000a5: JUMPDEST
000000a6: PUSH2 0x0492
000000a9: PUSH1 0x04
000000ab: CALLDATALOAD
000000ac: PUSH1 0x24
000000ae: CALLDATALOAD
000000af: PUSH1 0x44
000000b1: CALLDATALOAD
000000b2: PUSH1 0x02
000000b4: SLOAD
000000b5: PUSH1 0x00
000000b7: SWAP1
000000b8: DUP2
000000b9: SWAP1
000000ba: DUP2
000000bb: SWAP1
000000bc: DUP2
000000bd: SWAP1
000000be: PUSH1 0x01
000000c0: PUSH1 0xa0
000000c2: PUSH1 0x02
000000c4: EXP
000000c5: SUB
000000c6: SWAP1
000000c7: DUP2
000000c8: AND
000000c9: CALLER
000000ca: SWAP1
000000cb: SWAP2
000000cc: AND
000000cd: EQ
000000ce: PUSH2 0x04e2
000000d1: JUMPI
000000d2: PUSH2 0x0002
000000d5: JUMP
000000d6: JUMPDEST
000000d7: PUSH2 0x00a3
000000da: PUSH1 0x04
000000dc: CALLDATALOAD
000000dd: PUSH1 0x00
000000df: SLOAD
000000e0: PUSH1 0x01
000000e2: PUSH1 0xa0
000000e4: PUSH1 0x02
000000e6: EXP
000000e7: SUB
000000e8: SWAP1
000000e9: DUP2
000000ea: AND
000000eb: CALLER
000000ec: SWAP1
000000ed: SWAP2
000000ee: AND
000000ef: EQ
000000f0: PUSH2 0x088f
000000f3: JUMPI
000000f4: PUSH2 0x0002
000000f7: JUMP
000000f8: JUMPDEST
000000f9: PUSH2 0x0492
000000fc: PUSH1 0x04
000000fe: CALLDATALOAD
000000ff: PUSH1 0x24
00000101: CALLDATALOAD
00000102: JUMPDEST
00000103: PUSH1 0x01
00000105: PUSH1 0xa0
00000107: PUSH1 0x02
00000109: EXP
0000010a: SUB
0000010b: DUP3
0000010c: AND
0000010d: PUSH1 0x00
0000010f: SWAP1
00000110: DUP2
00000111: MSTORE
00000112: PUSH1 0x04
00000114: PUSH1 0x20
00000116: MSTORE
00000117: PUSH1 0x40
00000119: DUP2
0000011a: KECCAK256
0000011b: DUP1
0000011c: SLOAD
0000011d: PUSH1 0x01
0000011f: SWAP2
00000120: SWAP1
00000121: SWAP2
00000122: ADD
00000123: SLOAD
00000124: PUSH3 0x015180
00000128: TIMESTAMP
00000129: DIV
0000012a: DUP3
0000012b: DUP2
0000012c: GT
0000012d: ISZERO
0000012e: PUSH2 0x014c
00000131: JUMPI
00000132: PUSH1 0x40
00000134: DUP5
00000135: KECCAK256
00000136: PUSH1 0x01
00000138: PUSH1 0xa0
0000013a: PUSH1 0x02
0000013c: EXP
0000013d: SUB
0000013e: DUP8
0000013f: AND
00000140: DUP6
00000141: MSTORE
00000142: PUSH1 0x01
00000144: DUP2
00000145: ADD
00000146: DUP6
00000147: SWAP1
00000148: SSTORE
00000149: DUP2
0000014a: SWAP1
0000014b: SSTORE
0000014c: JUMPDEST
0000014d: PUSH1 0x40
0000014f: DUP1
00000150: MLOAD
00000151: DUP1
00000152: DUP3
00000153: ADD
00000154: SWAP1
00000155: SWAP2
00000156: MSTORE
00000157: PUSH1 0x14
00000159: DUP2
0000015a: MSTORE
0000015b: PUSH32 0x7472616e736665722e6c696d69742e6461696c79000000000000000000000000
0000017c: PUSH1 0x20
0000017e: DUP3
0000017f: ADD
00000180: MSTORE
00000181: PUSH2 0x08b1
00000184: SWAP1
00000185: PUSH2 0x02ed
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH2 0x00a3
0000018d: PUSH1 0x04
0000018f: DUP1
00000190: DUP1
00000191: CALLDATALOAD
00000192: SWAP1
00000193: PUSH1 0x20
00000195: ADD
00000196: SWAP1
00000197: DUP3
00000198: ADD
00000199: DUP1
0000019a: CALLDATALOAD
0000019b: SWAP1
0000019c: PUSH1 0x20
0000019e: ADD
0000019f: SWAP2
000001a0: SWAP2
000001a1: SWAP1
000001a2: DUP1
000001a3: DUP1
000001a4: PUSH1 0x1f
000001a6: ADD
000001a7: PUSH1 0x20
000001a9: DUP1
000001aa: SWAP2
000001ab: DIV
000001ac: MUL
000001ad: PUSH1 0x20
000001af: ADD
000001b0: PUSH1 0x40
000001b2: MLOAD
000001b3: SWAP1
000001b4: DUP2
000001b5: ADD
000001b6: PUSH1 0x40
000001b8: MSTORE
000001b9: DUP1
000001ba: SWAP4
000001bb: SWAP3
000001bc: SWAP2
000001bd: SWAP1
000001be: DUP2
000001bf: DUP2
000001c0: MSTORE
000001c1: PUSH1 0x20
000001c3: ADD
000001c4: DUP4
000001c5: DUP4
000001c6: DUP1
000001c7: DUP3
000001c8: DUP5
000001c9: CALLDATACOPY
000001ca: POP
000001cb: SWAP5
000001cc: SWAP7
000001cd: POP
000001ce: POP
000001cf: SWAP4
000001d0: CALLDATALOAD
000001d1: SWAP4
000001d2: POP
000001d3: POP
000001d4: POP
000001d5: POP
000001d6: PUSH1 0x00
000001d8: SLOAD
000001d9: PUSH1 0x01
000001db: PUSH1 0xa0
000001dd: PUSH1 0x02
000001df: EXP
000001e0: SUB
000001e1: SWAP1
000001e2: DUP2
000001e3: AND
000001e4: CALLER
000001e5: SWAP1
000001e6: SWAP2
000001e7: AND
000001e8: EQ
000001e9: PUSH2 0x08ea
000001ec: JUMPI
000001ed: PUSH2 0x0002
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH2 0x00a3
000001f5: PUSH1 0x00
000001f7: SLOAD
000001f8: PUSH1 0x01
000001fa: PUSH1 0xa0
000001fc: PUSH1 0x02
000001fe: EXP
000001ff: SUB
00000200: SWAP1
00000201: DUP2
00000202: AND
00000203: CALLER
00000204: SWAP1
00000205: SWAP2
00000206: AND
00000207: EQ
00000208: PUSH2 0x0934
0000020b: JUMPI
0000020c: PUSH2 0x0002
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH2 0x00a3
00000214: PUSH1 0x04
00000216: CALLDATALOAD
00000217: JUMPDEST
00000218: PUSH1 0x02
0000021a: SLOAD
0000021b: PUSH1 0x00
0000021d: SWAP1
0000021e: DUP2
0000021f: SWAP1
00000220: PUSH1 0x01
00000222: PUSH1 0xa0
00000224: PUSH1 0x02
00000226: EXP
00000227: SUB
00000228: SWAP1
00000229: DUP2
0000022a: AND
0000022b: CALLER
0000022c: SWAP1
0000022d: SWAP2
0000022e: AND
0000022f: EQ
00000230: PUSH2 0x0977
00000233: JUMPI
00000234: PUSH2 0x0002
00000237: JUMP
00000238: JUMPDEST
00000239: PUSH2 0x0492
0000023c: PUSH1 0x04
0000023e: CALLDATALOAD
0000023f: PUSH1 0x24
00000241: CALLDATALOAD
00000242: PUSH1 0x02
00000244: SLOAD
00000245: PUSH1 0x00
00000247: SWAP1
00000248: DUP2
00000249: SWAP1
0000024a: DUP2
0000024b: SWAP1
0000024c: PUSH1 0x01
0000024e: PUSH1 0xa0
00000250: PUSH1 0x02
00000252: EXP
00000253: SUB
00000254: SWAP1
00000255: DUP2
00000256: AND
00000257: CALLER
00000258: SWAP1
00000259: SWAP2
0000025a: AND
0000025b: EQ
0000025c: PUSH2 0x0a3c
0000025f: JUMPI
00000260: PUSH2 0x0002
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH2 0x04a6
00000268: PUSH1 0x00
0000026a: SLOAD
0000026b: PUSH1 0x01
0000026d: PUSH1 0xa0
0000026f: PUSH1 0x02
00000271: EXP
00000272: SUB
00000273: AND
00000274: DUP2
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x0492
0000027a: PUSH1 0x04
0000027c: CALLDATALOAD
0000027d: PUSH1 0x24
0000027f: CALLDATALOAD
00000280: PUSH1 0x02
00000282: SLOAD
00000283: PUSH1 0x00
00000285: SWAP1
00000286: DUP2
00000287: SWAP1
00000288: DUP2
00000289: SWAP1
0000028a: PUSH1 0x01
0000028c: PUSH1 0xa0
0000028e: PUSH1 0x02
00000290: EXP
00000291: SUB
00000292: SWAP1
00000293: DUP2
00000294: AND
00000295: CALLER
00000296: SWAP1
00000297: SWAP2
00000298: AND
00000299: EQ
0000029a: PUSH2 0x0bbc
0000029d: JUMPI
0000029e: PUSH2 0x0002
000002a1: JUMP
000002a2: JUMPDEST
000002a3: PUSH2 0x04c3
000002a6: PUSH1 0x04
000002a8: DUP1
000002a9: DUP1
000002aa: CALLDATALOAD
000002ab: SWAP1
000002ac: PUSH1 0x20
000002ae: ADD
000002af: SWAP1
000002b0: DUP3
000002b1: ADD
000002b2: DUP1
000002b3: CALLDATALOAD
000002b4: SWAP1
000002b5: PUSH1 0x20
000002b7: ADD
000002b8: SWAP2
000002b9: SWAP2
000002ba: SWAP1
000002bb: DUP1
000002bc: DUP1
000002bd: PUSH1 0x1f
000002bf: ADD
000002c0: PUSH1 0x20
000002c2: DUP1
000002c3: SWAP2
000002c4: DIV
000002c5: MUL
000002c6: PUSH1 0x20
000002c8: ADD
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: SWAP1
000002cd: DUP2
000002ce: ADD
000002cf: PUSH1 0x40
000002d1: MSTORE
000002d2: DUP1
000002d3: SWAP4
000002d4: SWAP3
000002d5: SWAP2
000002d6: SWAP1
000002d7: DUP2
000002d8: DUP2
000002d9: MSTORE
000002da: PUSH1 0x20
000002dc: ADD
000002dd: DUP4
000002de: DUP4
000002df: DUP1
000002e0: DUP3
000002e1: DUP5
000002e2: CALLDATACOPY
000002e3: POP
000002e4: SWAP5
000002e5: SWAP7
000002e6: POP
000002e7: POP
000002e8: POP
000002e9: POP
000002ea: POP
000002eb: POP
000002ec: POP
000002ed: JUMPDEST
000002ee: PUSH1 0x00
000002f0: PUSH1 0x01
000002f2: PUSH1 0x00
000002f4: POP
000002f5: DUP3
000002f6: PUSH1 0x40
000002f8: MLOAD
000002f9: DUP1
000002fa: DUP3
000002fb: DUP1
000002fc: MLOAD
000002fd: SWAP1
000002fe: PUSH1 0x20
00000300: ADD
00000301: SWAP1
00000302: DUP1
00000303: DUP4
00000304: DUP4
00000305: DUP3
00000306: SWAP1
00000307: PUSH1 0x00
00000309: PUSH1 0x04
0000030b: PUSH1 0x20
0000030d: DUP5
0000030e: PUSH1 0x1f
00000310: ADD
00000311: DIV
00000312: PUSH1 0x0f
00000314: MUL
00000315: PUSH1 0x03
00000317: ADD
00000318: CALL
00000319: POP
0000031a: SWAP1
0000031b: POP
0000031c: ADD
0000031d: SWAP2
0000031e: POP
0000031f: POP
00000320: SWAP1
00000321: DUP2
00000322: MSTORE
00000323: PUSH1 0x20
00000325: ADD
00000326: PUSH1 0x40
00000328: MLOAD
00000329: DUP1
0000032a: SWAP2
0000032b: SUB
0000032c: SWAP1
0000032d: KECCAK256
0000032e: PUSH1 0x00
00000330: POP
00000331: SLOAD
00000332: SWAP1
00000333: POP
00000334: SWAP2
00000335: SWAP1
00000336: POP
00000337: JUMP
00000338: JUMPDEST
00000339: PUSH2 0x0492
0000033c: PUSH1 0x04
0000033e: CALLDATALOAD
0000033f: PUSH1 0x24
00000341: CALLDATALOAD
00000342: PUSH1 0x02
00000344: SLOAD
00000345: PUSH1 0x00
00000347: SWAP1
00000348: PUSH1 0x01
0000034a: PUSH1 0xa0
0000034c: PUSH1 0x02
0000034e: EXP
0000034f: SUB
00000350: SWAP1
00000351: DUP2
00000352: AND
00000353: CALLER
00000354: SWAP1
00000355: SWAP2
00000356: AND
00000357: EQ
00000358: PUSH2 0x0d16
0000035b: JUMPI
0000035c: PUSH2 0x0002
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x0492
00000364: PUSH1 0x04
00000366: DUP1
00000367: DUP1
00000368: CALLDATALOAD
00000369: SWAP1
0000036a: PUSH1 0x20
0000036c: ADD
0000036d: SWAP1
0000036e: DUP3
0000036f: ADD
00000370: DUP1
00000371: CALLDATALOAD
00000372: SWAP1
00000373: PUSH1 0x20
00000375: ADD
00000376: SWAP2
00000377: SWAP2
00000378: SWAP1
00000379: DUP1
0000037a: DUP1
0000037b: PUSH1 0x1f
0000037d: ADD
0000037e: PUSH1 0x20
00000380: DUP1
00000381: SWAP2
00000382: DIV
00000383: MUL
00000384: PUSH1 0x20
00000386: ADD
00000387: PUSH1 0x40
00000389: MLOAD
0000038a: SWAP1
0000038b: DUP2
0000038c: ADD
0000038d: PUSH1 0x40
0000038f: MSTORE
00000390: DUP1
00000391: SWAP4
00000392: SWAP3
00000393: SWAP2
00000394: SWAP1
00000395: DUP2
00000396: DUP2
00000397: MSTORE
00000398: PUSH1 0x20
0000039a: ADD
0000039b: DUP4
0000039c: DUP4
0000039d: DUP1
0000039e: DUP3
0000039f: DUP5
000003a0: CALLDATACOPY
000003a1: POP
000003a2: SWAP5
000003a3: SWAP7
000003a4: POP
000003a5: POP
000003a6: POP
000003a7: POP
000003a8: POP
000003a9: POP
000003aa: POP
000003ab: JUMPDEST
000003ac: PUSH1 0x02
000003ae: SLOAD
000003af: PUSH1 0x40
000003b1: MLOAD
000003b2: PUSH32 0x17e0a6cb00000000000000000000000000000000000000000000000000000000
000003d3: DUP2
000003d4: MSTORE
000003d5: PUSH1 0x20
000003d7: PUSH1 0x04
000003d9: DUP3
000003da: DUP2
000003db: ADD
000003dc: DUP3
000003dd: DUP2
000003de: MSTORE
000003df: DUP6
000003e0: MLOAD
000003e1: PUSH1 0x24
000003e3: DUP6
000003e4: ADD
000003e5: MSTORE
000003e6: DUP6
000003e7: MLOAD
000003e8: PUSH1 0x00
000003ea: SWAP6
000003eb: PUSH1 0x01
000003ed: PUSH1 0xa0
000003ef: PUSH1 0x02
000003f1: EXP
000003f2: SUB
000003f3: AND
000003f4: SWAP5
000003f5: DUP6
000003f6: SWAP5
000003f7: PUSH4 0x17e0a6cb
000003fc: SWAP5
000003fd: DUP10
000003fe: SWAP5
000003ff: SWAP4
00000400: DUP5
00000401: SWAP4
00000402: PUSH1 0x44
00000404: ADD
00000405: SWAP3
00000406: DUP7
00000407: DUP2
00000408: ADD
00000409: SWAP3
0000040a: DUP3
0000040b: SWAP2
0000040c: DUP6
0000040d: SWAP2
0000040e: DUP4
0000040f: SWAP2
00000410: DUP7
00000411: SWAP2
00000412: DUP16
00000413: SWAP2
00000414: PUSH1 0x1f
00000416: DUP6
00000417: ADD
00000418: DIV
00000419: PUSH1 0x0f
0000041b: MUL
0000041c: PUSH1 0x03
0000041e: ADD
0000041f: CALL
00000420: POP
00000421: SWAP1
00000422: POP
00000423: SWAP1
00000424: DUP2
00000425: ADD
00000426: SWAP1
00000427: PUSH1 0x1f
00000429: AND
0000042a: DUP1
0000042b: ISZERO
0000042c: PUSH2 0x0449
0000042f: JUMPI
00000430: DUP1
00000431: DUP3
00000432: SUB
00000433: DUP1
00000434: MLOAD
00000435: PUSH1 0x01
00000437: DUP4
00000438: PUSH1 0x20
0000043a: SUB
0000043b: PUSH2 0x0100
0000043e: EXP
0000043f: SUB
00000440: NOT
00000441: AND
00000442: DUP2
00000443: MSTORE
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP2
00000448: POP
00000449: JUMPDEST
0000044a: POP
0000044b: SWAP3
0000044c: POP
0000044d: POP
0000044e: POP
0000044f: PUSH1 0x00
00000451: PUSH1 0x40
00000453: MLOAD
00000454: DUP1
00000455: DUP4
00000456: SUB
00000457: DUP2
00000458: PUSH1 0x00
0000045a: DUP8
0000045b: PUSH2 0x61da
0000045e: GAS
0000045f: SUB
00000460: CALL
00000461: ISZERO
00000462: PUSH2 0x0002
00000465: JUMPI
00000466: POP
00000467: PUSH1 0x00
00000469: SWAP6
0000046a: SWAP5
0000046b: POP
0000046c: POP
0000046d: POP
0000046e: POP
0000046f: POP
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH2 0x00a3
00000475: PUSH1 0x04
00000477: CALLDATALOAD
00000478: PUSH1 0x00
0000047a: SLOAD
0000047b: CALLER
0000047c: PUSH1 0x01
0000047e: PUSH1 0xa0
00000480: PUSH1 0x02
00000482: EXP
00000483: SUB
00000484: SWAP1
00000485: DUP2
00000486: AND
00000487: SWAP2
00000488: AND
00000489: EQ
0000048a: PUSH2 0x0d41
0000048d: JUMPI
0000048e: PUSH2 0x0002
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH1 0x40
00000495: DUP1
00000496: MLOAD
00000497: SWAP2
00000498: ISZERO
00000499: ISZERO
0000049a: DUP3
0000049b: MSTORE
0000049c: MLOAD
0000049d: SWAP1
0000049e: DUP2
0000049f: SWAP1
000004a0: SUB
000004a1: PUSH1 0x20
000004a3: ADD
000004a4: SWAP1
000004a5: RETURN
000004a6: JUMPDEST
000004a7: PUSH1 0x40
000004a9: DUP1
000004aa: MLOAD
000004ab: PUSH1 0x01
000004ad: PUSH1 0xa0
000004af: PUSH1 0x02
000004b1: EXP
000004b2: SUB
000004b3: SWAP3
000004b4: SWAP1
000004b5: SWAP3
000004b6: AND
000004b7: DUP3
000004b8: MSTORE
000004b9: MLOAD
000004ba: SWAP1
000004bb: DUP2
000004bc: SWAP1
000004bd: SUB
000004be: PUSH1 0x20
000004c0: ADD
000004c1: SWAP1
000004c2: RETURN
000004c3: JUMPDEST
000004c4: PUSH1 0x40
000004c6: DUP1
000004c7: MLOAD
000004c8: SWAP2
000004c9: DUP3
000004ca: MSTORE
000004cb: MLOAD
000004cc: SWAP1
000004cd: DUP2
000004ce: SWAP1
000004cf: SUB
000004d0: PUSH1 0x20
000004d2: ADD
000004d3: SWAP1
000004d4: RETURN
000004d5: JUMPDEST
000004d6: SWAP4
000004d7: POP
000004d8: JUMPDEST
000004d9: POP
000004da: POP
000004db: POP
000004dc: SWAP4
000004dd: SWAP3
000004de: POP
000004df: POP
000004e0: POP
000004e1: JUMP
000004e2: JUMPDEST
000004e3: DUP5
000004e4: PUSH1 0x00
000004e6: EQ
000004e7: ISZERO
000004e8: PUSH2 0x0519
000004eb: JUMPI
000004ec: PUSH1 0x40
000004ee: DUP1
000004ef: MLOAD
000004f0: DUP1
000004f1: DUP3
000004f2: ADD
000004f3: SWAP1
000004f4: SWAP2
000004f5: MSTORE
000004f6: PUSH1 0x0b
000004f8: DUP2
000004f9: MSTORE
000004fa: PUSH1 0xaa
000004fc: PUSH1 0x02
000004fe: EXP
000004ff: PUSH11 0x1e995c9bd7d85b5bdd5b9d
0000050b: MUL
0000050c: PUSH1 0x20
0000050e: DUP3
0000050f: ADD
00000510: MSTORE
00000511: PUSH2 0x04d5
00000514: SWAP1
00000515: PUSH2 0x03ab
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x00
0000051c: SLOAD
0000051d: PUSH1 0x01
0000051f: PUSH1 0xa0
00000521: PUSH1 0x02
00000523: EXP
00000524: SUB
00000525: SWAP1
00000526: DUP2
00000527: AND
00000528: CALLER
00000529: SWAP1
0000052a: SWAP2
0000052b: AND
0000052c: EQ
0000052d: ISZERO
0000052e: DUP1
0000052f: PUSH2 0x0574
00000532: JUMPI
00000533: POP
00000534: PUSH1 0x40
00000536: DUP1
00000537: MLOAD
00000538: DUP1
00000539: DUP3
0000053a: ADD
0000053b: SWAP1
0000053c: SWAP2
0000053d: MSTORE
0000053e: PUSH1 0x13
00000540: DUP2
00000541: MSTORE
00000542: PUSH32 0x667265657a652e6f776e657243616e53656e6400000000000000000000000000
00000563: PUSH1 0x20
00000565: DUP3
00000566: ADD
00000567: MSTORE
00000568: PUSH2 0x0570
0000056b: SWAP1
0000056c: PUSH2 0x02ed
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH1 0x00
00000573: EQ
00000574: JUMPDEST
00000575: ISZERO
00000576: PUSH2 0x0635
00000579: JUMPI
0000057a: PUSH1 0x01
0000057c: PUSH1 0xa0
0000057e: PUSH1 0x02
00000580: EXP
00000581: SUB
00000582: DUP8
00000583: AND
00000584: PUSH1 0x00
00000586: SWAP1
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x03
0000058b: PUSH1 0x20
0000058d: MSTORE
0000058e: PUSH1 0x40
00000590: SWAP1
00000591: KECCAK256
00000592: SLOAD
00000593: PUSH1 0xff
00000595: AND
00000596: ISZERO
00000597: PUSH2 0x05d7
0000059a: JUMPI
0000059b: PUSH1 0x40
0000059d: DUP1
0000059e: MLOAD
0000059f: DUP1
000005a0: DUP3
000005a1: ADD
000005a2: SWAP1
000005a3: SWAP2
000005a4: MSTORE
000005a5: PUSH1 0x15
000005a7: DUP2
000005a8: MSTORE
000005a9: PUSH32 0x66726f7a656e5f6163636f756e745f736f757263650000000000000000000000
000005ca: PUSH1 0x20
000005cc: DUP3
000005cd: ADD
000005ce: MSTORE
000005cf: PUSH2 0x04d5
000005d2: SWAP1
000005d3: PUSH2 0x03ab
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH1 0x01
000005da: PUSH1 0xa0
000005dc: PUSH1 0x02
000005de: EXP
000005df: SUB
000005e0: DUP7
000005e1: AND
000005e2: PUSH1 0x00
000005e4: SWAP1
000005e5: DUP2
000005e6: MSTORE
000005e7: PUSH1 0x03
000005e9: PUSH1 0x20
000005eb: MSTORE
000005ec: PUSH1 0x40
000005ee: SWAP1
000005ef: KECCAK256
000005f0: SLOAD
000005f1: PUSH1 0xff
000005f3: AND
000005f4: ISZERO
000005f5: PUSH2 0x0635
000005f8: JUMPI
000005f9: PUSH1 0x40
000005fb: DUP1
000005fc: MLOAD
000005fd: DUP1
000005fe: DUP3
000005ff: ADD
00000600: SWAP1
00000601: SWAP2
00000602: MSTORE
00000603: PUSH1 0x1a
00000605: DUP2
00000606: MSTORE
00000607: PUSH32 0x66726f7a656e5f6163636f756e745f64657374696e6174696f6e000000000000
00000628: PUSH1 0x20
0000062a: DUP3
0000062b: ADD
0000062c: MSTORE
0000062d: PUSH2 0x04d5
00000630: SWAP1
00000631: PUSH2 0x03ab
00000634: JUMP
00000635: JUMPDEST
00000636: PUSH1 0x40
00000638: DUP1
00000639: MLOAD
0000063a: PUSH1 0x02
0000063c: SLOAD
0000063d: PUSH32 0x045d46c200000000000000000000000000000000000000000000000000000000
0000065e: DUP3
0000065f: MSTORE
00000660: PUSH1 0x01
00000662: PUSH1 0xa0
00000664: PUSH1 0x02
00000666: EXP
00000667: SUB
00000668: DUP11
00000669: DUP2
0000066a: AND
0000066b: PUSH1 0x04
0000066d: DUP5
0000066e: ADD
0000066f: MSTORE
00000670: DUP10
00000671: DUP2
00000672: AND
00000673: PUSH1 0x24
00000675: DUP5
00000676: ADD
00000677: MSTORE
00000678: DUP4
00000679: MLOAD
0000067a: SWAP2
0000067b: AND
0000067c: SWAP6
0000067d: POP
0000067e: DUP6
0000067f: SWAP3
00000680: PUSH4 0x045d46c2
00000685: SWAP3
00000686: PUSH1 0x44
00000688: DUP2
00000689: DUP2
0000068a: ADD
0000068b: SWAP4
0000068c: SWAP2
0000068d: DUP3
0000068e: SWAP1
0000068f: SUB
00000690: ADD
00000691: DUP2
00000692: PUSH1 0x00
00000694: DUP8
00000695: PUSH2 0x61da
00000698: GAS
00000699: SUB
0000069a: CALL
0000069b: ISZERO
0000069c: PUSH2 0x0002
0000069f: JUMPI
000006a0: POP
000006a1: POP
000006a2: PUSH1 0x40
000006a4: MLOAD
000006a5: DUP1
000006a6: MLOAD
000006a7: PUSH1 0x20
000006a9: SWAP2
000006aa: SWAP1
000006ab: SWAP2
000006ac: ADD
000006ad: MLOAD
000006ae: SWAP1
000006af: SWAP4
000006b0: POP
000006b1: SWAP2
000006b2: POP
000006b3: POP
000006b4: DUP5
000006b5: DUP3
000006b6: LT
000006b7: ISZERO
000006b8: PUSH2 0x06f8
000006bb: JUMPI
000006bc: PUSH1 0x40
000006be: DUP1
000006bf: MLOAD
000006c0: DUP1
000006c1: DUP3
000006c2: ADD
000006c3: SWAP1
000006c4: SWAP2
000006c5: MSTORE
000006c6: PUSH1 0x12
000006c8: DUP2
000006c9: MSTORE
000006ca: PUSH32 0x696e73756666696369656e745f66756e64730000000000000000000000000000
000006eb: PUSH1 0x20
000006ed: DUP3
000006ee: ADD
000006ef: MSTORE
000006f0: PUSH2 0x04d5
000006f3: SWAP1
000006f4: PUSH2 0x03ab
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH1 0x00
000006fb: DUP6
000006fc: DUP3
000006fd: ADD
000006fe: LT
000006ff: ISZERO
00000700: PUSH2 0x0740
00000703: JUMPI
00000704: PUSH1 0x40
00000706: DUP1
00000707: MLOAD
00000708: DUP1
00000709: DUP3
0000070a: ADD
0000070b: SWAP1
0000070c: SWAP2
0000070d: MSTORE
0000070e: PUSH1 0x11
00000710: DUP2
00000711: MSTORE
00000712: PUSH32 0x706f737369626c655f6f766572666c6f77000000000000000000000000000000
00000733: PUSH1 0x20
00000735: DUP3
00000736: ADD
00000737: MSTORE
00000738: PUSH2 0x04d5
0000073b: SWAP1
0000073c: PUSH2 0x03ab
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH1 0x40
00000743: DUP1
00000744: MLOAD
00000745: DUP1
00000746: DUP3
00000747: ADD
00000748: SWAP1
00000749: SWAP2
0000074a: MSTORE
0000074b: PUSH1 0x17
0000074d: DUP2
0000074e: MSTORE
0000074f: PUSH32 0x7472616e736665722e6c696d69742e6973416374697665000000000000000000
00000770: PUSH1 0x20
00000772: DUP3
00000773: ADD
00000774: MSTORE
00000775: PUSH2 0x077d
00000778: SWAP1
00000779: PUSH2 0x02ed
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH1 0x00
00000780: EQ
00000781: PUSH2 0x07d1
00000784: JUMPI
00000785: PUSH2 0x078e
00000788: DUP8
00000789: DUP7
0000078a: PUSH2 0x0102
0000078d: JUMP
0000078e: JUMPDEST
0000078f: ISZERO
00000790: ISZERO
00000791: PUSH2 0x07d1
00000794: JUMPI
00000795: PUSH1 0x40
00000797: DUP1
00000798: MLOAD
00000799: DUP1
0000079a: DUP3
0000079b: ADD
0000079c: SWAP1
0000079d: SWAP2
0000079e: MSTORE
0000079f: PUSH1 0x14
000007a1: DUP2
000007a2: MSTORE
000007a3: PUSH32 0x6461696c795f6c696d69745f6578636565646564000000000000000000000000
000007c4: PUSH1 0x20
000007c6: DUP3
000007c7: ADD
000007c8: MSTORE
000007c9: PUSH2 0x04d5
000007cc: SWAP1
000007cd: PUSH2 0x03ab
000007d0: JUMP
000007d1: JUMPDEST
000007d2: PUSH1 0x40
000007d4: DUP1
000007d5: MLOAD
000007d6: PUSH1 0xe4
000007d8: PUSH1 0x02
000007da: EXP
000007db: PUSH3 0x9901f7
000007df: MUL
000007e0: DUP2
000007e1: MSTORE
000007e2: PUSH1 0x01
000007e4: PUSH1 0xa0
000007e6: PUSH1 0x02
000007e8: EXP
000007e9: SUB
000007ea: DUP10
000007eb: DUP2
000007ec: AND
000007ed: PUSH1 0x04
000007ef: DUP4
000007f0: ADD
000007f1: MSTORE
000007f2: SWAP4
000007f3: DUP8
000007f4: SWAP1
000007f5: SUB
000007f6: PUSH1 0x24
000007f8: DUP3
000007f9: ADD
000007fa: DUP2
000007fb: SWAP1
000007fc: MSTORE
000007fd: SWAP2
000007fe: MLOAD
000007ff: SWAP2
00000800: SWAP4
00000801: SWAP3
00000802: DUP8
00000803: ADD
00000804: SWAP3
00000805: DUP6
00000806: AND
00000807: SWAP2
00000808: PUSH4 0x09901f70
0000080d: SWAP2
0000080e: PUSH1 0x44
00000810: DUP2
00000811: DUP2
00000812: ADD
00000813: SWAP3
00000814: PUSH1 0x00
00000816: SWAP3
00000817: SWAP1
00000818: SWAP2
00000819: SWAP1
0000081a: DUP3
0000081b: SWAP1
0000081c: SUB
0000081d: ADD
0000081e: DUP2
0000081f: DUP4
00000820: DUP8
00000821: PUSH2 0x61da
00000824: GAS
00000825: SUB
00000826: CALL
00000827: ISZERO
00000828: PUSH2 0x0002
0000082b: JUMPI
0000082c: POP
0000082d: PUSH1 0x40
0000082f: DUP1
00000830: MLOAD
00000831: PUSH1 0xe4
00000833: PUSH1 0x02
00000835: EXP
00000836: PUSH3 0x9901f7
0000083a: MUL
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x01
0000083f: PUSH1 0xa0
00000841: PUSH1 0x02
00000843: EXP
00000844: SUB
00000845: DUP11
00000846: AND
00000847: PUSH1 0x04
00000849: DUP3
0000084a: ADD
0000084b: MSTORE
0000084c: PUSH1 0x24
0000084e: DUP2
0000084f: ADD
00000850: DUP6
00000851: SWAP1
00000852: MSTORE
00000853: SWAP1
00000854: MLOAD
00000855: PUSH1 0x44
00000857: DUP1
00000858: DUP4
00000859: ADD
0000085a: SWAP3
0000085b: PUSH1 0x00
0000085d: SWAP3
0000085e: SWAP2
0000085f: SWAP1
00000860: DUP3
00000861: SWAP1
00000862: SUB
00000863: ADD
00000864: DUP2
00000865: DUP4
00000866: DUP8
00000867: PUSH2 0x61da
0000086a: GAS
0000086b: SUB
0000086c: CALL
0000086d: ISZERO
0000086e: PUSH2 0x0002
00000871: JUMPI
00000872: POP
00000873: POP
00000874: POP
00000875: PUSH2 0x087d
00000878: DUP8
00000879: PUSH2 0x0217
0000087c: JUMP
0000087d: JUMPDEST
0000087e: PUSH2 0x0886
00000881: DUP7
00000882: PUSH2 0x0217
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH1 0x01
00000889: SWAP4
0000088a: POP
0000088b: PUSH2 0x04d8
0000088e: JUMP
0000088f: JUMPDEST
00000890: PUSH1 0x02
00000892: DUP1
00000893: SLOAD
00000894: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a9: NOT
000008aa: AND
000008ab: DUP3
000008ac: OR
000008ad: SWAP1
000008ae: SSTORE
000008af: POP
000008b0: JUMP
000008b1: JUMPDEST
000008b2: DUP6
000008b3: DUP4
000008b4: ADD
000008b5: GT
000008b6: DUP1
000008b7: ISZERO
000008b8: SWAP5
000008b9: POP
000008ba: PUSH2 0x08e1
000008bd: JUMPI
000008be: PUSH1 0x01
000008c0: PUSH1 0xa0
000008c2: PUSH1 0x02
000008c4: EXP
000008c5: SUB
000008c6: DUP7
000008c7: AND
000008c8: PUSH1 0x00
000008ca: SWAP1
000008cb: DUP2
000008cc: MSTORE
000008cd: PUSH1 0x04
000008cf: PUSH1 0x20
000008d1: MSTORE
000008d2: PUSH1 0x40
000008d4: SWAP1
000008d5: KECCAK256
000008d6: DUP6
000008d7: DUP4
000008d8: ADD
000008d9: SWAP1
000008da: PUSH1 0x01
000008dc: ADD
000008dd: PUSH1 0x00
000008df: POP
000008e0: SSTORE
000008e1: JUMPDEST
000008e2: POP
000008e3: POP
000008e4: POP
000008e5: SWAP3
000008e6: SWAP2
000008e7: POP
000008e8: POP
000008e9: JUMP
000008ea: JUMPDEST
000008eb: DUP1
000008ec: PUSH1 0x01
000008ee: PUSH1 0x00
000008f0: POP
000008f1: DUP4
000008f2: PUSH1 0x40
000008f4: MLOAD
000008f5: DUP1
000008f6: DUP3
000008f7: DUP1
000008f8: MLOAD
000008f9: SWAP1
000008fa: PUSH1 0x20
000008fc: ADD
000008fd: SWAP1
000008fe: DUP1
000008ff: DUP4
00000900: DUP4
00000901: DUP3
00000902: SWAP1
00000903: PUSH1 0x00
00000905: PUSH1 0x04
00000907: PUSH1 0x20
00000909: DUP5
0000090a: PUSH1 0x1f
0000090c: ADD
0000090d: DIV
0000090e: PUSH1 0x0f
00000910: MUL
00000911: PUSH1 0x03
00000913: ADD
00000914: CALL
00000915: POP
00000916: SWAP1
00000917: POP
00000918: ADD
00000919: SWAP2
0000091a: POP
0000091b: POP
0000091c: SWAP1
0000091d: DUP2
0000091e: MSTORE
0000091f: PUSH1 0x20
00000921: ADD
00000922: PUSH1 0x40
00000924: MLOAD
00000925: DUP1
00000926: SWAP2
00000927: SUB
00000928: SWAP1
00000929: KECCAK256
0000092a: PUSH1 0x00
0000092c: POP
0000092d: DUP2
0000092e: SWAP1
0000092f: SSTORE
00000930: POP
00000931: POP
00000932: POP
00000933: JUMP
00000934: JUMPDEST
00000935: PUSH1 0x00
00000937: ADDRESS
00000938: PUSH1 0x01
0000093a: PUSH1 0xa0
0000093c: PUSH1 0x02
0000093e: EXP
0000093f: SUB
00000940: AND
00000941: BALANCE
00000942: GT
00000943: ISZERO
00000944: PUSH2 0x096b
00000947: JUMPI
00000948: PUSH1 0x40
0000094a: MLOAD
0000094b: PUSH1 0x01
0000094d: PUSH1 0xa0
0000094f: PUSH1 0x02
00000951: EXP
00000952: SUB
00000953: CALLER
00000954: DUP2
00000955: AND
00000956: SWAP2
00000957: PUSH1 0x00
00000959: SWAP2
0000095a: ADDRESS
0000095b: AND
0000095c: BALANCE
0000095d: SWAP1
0000095e: DUP3
0000095f: DUP2
00000960: DUP2
00000961: DUP2
00000962: DUP6
00000963: DUP9
00000964: DUP4
00000965: CALL
00000966: POP
00000967: POP
00000968: POP
00000969: POP
0000096a: POP
0000096b: JUMPDEST
0000096c: CALLER
0000096d: PUSH1 0x01
0000096f: PUSH1 0xa0
00000971: PUSH1 0x02
00000973: EXP
00000974: SUB
00000975: AND
00000976: SELFDESTRUCT
00000977: JUMPDEST
00000978: PUSH1 0x40
0000097a: DUP1
0000097b: MLOAD
0000097c: DUP1
0000097d: DUP3
0000097e: ADD
0000097f: SWAP1
00000980: SWAP2
00000981: MSTORE
00000982: PUSH1 0x11
00000984: DUP2
00000985: MSTORE
00000986: PUSH32 0x726566696c6c2e6d696e42616c616e6365000000000000000000000000000000
000009a7: PUSH1 0x20
000009a9: DUP3
000009aa: ADD
000009ab: MSTORE
000009ac: PUSH2 0x09b4
000009af: SWAP1
000009b0: PUSH2 0x02ed
000009b3: JUMP
000009b4: JUMPDEST
000009b5: PUSH1 0x40
000009b7: DUP1
000009b8: MLOAD
000009b9: DUP1
000009ba: DUP3
000009bb: ADD
000009bc: SWAP1
000009bd: SWAP2
000009be: MSTORE
000009bf: PUSH1 0x0f
000009c1: DUP2
000009c2: MSTORE
000009c3: PUSH32 0x726566696c6c2e726566696c6c546f0000000000000000000000000000000000
000009e4: PUSH1 0x20
000009e6: DUP3
000009e7: ADD
000009e8: MSTORE
000009e9: SWAP1
000009ea: SWAP3
000009eb: POP
000009ec: PUSH2 0x09f4
000009ef: SWAP1
000009f0: PUSH2 0x02ed
000009f3: JUMP
000009f4: JUMPDEST
000009f5: SWAP1
000009f6: POP
000009f7: DUP2
000009f8: DUP4
000009f9: PUSH1 0x01
000009fb: PUSH1 0xa0
000009fd: PUSH1 0x02
000009ff: EXP
00000a00: SUB
00000a01: AND
00000a02: BALANCE
00000a03: LT
00000a04: ISZERO
00000a05: PUSH2 0x0a2c
00000a08: JUMPI
00000a09: PUSH1 0x40
00000a0b: MLOAD
00000a0c: PUSH1 0x01
00000a0e: PUSH1 0xa0
00000a10: PUSH1 0x02
00000a12: EXP
00000a13: SUB
00000a14: DUP5
00000a15: AND
00000a16: SWAP1
00000a17: PUSH1 0x00
00000a19: SWAP1
00000a1a: DUP3
00000a1b: BALANCE
00000a1c: DUP5
00000a1d: SUB
00000a1e: SWAP1
00000a1f: DUP3
00000a20: DUP2
00000a21: DUP2
00000a22: DUP2
00000a23: DUP6
00000a24: DUP9
00000a25: DUP4
00000a26: CALL
00000a27: POP
00000a28: POP
00000a29: POP
00000a2a: POP
00000a2b: POP
00000a2c: JUMPDEST
00000a2d: POP
00000a2e: POP
00000a2f: POP
00000a30: JUMP
00000a31: JUMPDEST
00000a32: SWAP3
00000a33: POP
00000a34: JUMPDEST
00000a35: POP
00000a36: POP
00000a37: SWAP3
00000a38: SWAP2
00000a39: POP
00000a3a: POP
00000a3b: JUMP
00000a3c: JUMPDEST
00000a3d: DUP4
00000a3e: PUSH1 0x00
00000a40: EQ
00000a41: ISZERO
00000a42: PUSH2 0x0a73
00000a45: JUMPI
00000a46: PUSH1 0x40
00000a48: DUP1
00000a49: MLOAD
00000a4a: DUP1
00000a4b: DUP3
00000a4c: ADD
00000a4d: SWAP1
00000a4e: SWAP2
00000a4f: MSTORE
00000a50: PUSH1 0x0b
00000a52: DUP2
00000a53: MSTORE
00000a54: PUSH1 0xaa
00000a56: PUSH1 0x02
00000a58: EXP
00000a59: PUSH11 0x1e995c9bd7d85b5bdd5b9d
00000a65: MUL
00000a66: PUSH1 0x20
00000a68: DUP3
00000a69: ADD
00000a6a: MSTORE
00000a6b: PUSH2 0x0a31
00000a6e: SWAP1
00000a6f: PUSH2 0x03ab
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH1 0x40
00000a76: DUP1
00000a77: MLOAD
00000a78: PUSH1 0x02
00000a7a: SLOAD
00000a7b: PUSH1 0xe1
00000a7d: PUSH1 0x02
00000a7f: EXP
00000a80: PUSH4 0x4dcb7767
00000a85: MUL
00000a86: DUP3
00000a87: MSTORE
00000a88: PUSH1 0x01
00000a8a: PUSH1 0xa0
00000a8c: PUSH1 0x02
00000a8e: EXP
00000a8f: SUB
00000a90: DUP9
00000a91: DUP2
00000a92: AND
00000a93: PUSH1 0x04
00000a95: DUP5
00000a96: ADD
00000a97: MSTORE
00000a98: SWAP3
00000a99: MLOAD
00000a9a: SWAP3
00000a9b: AND
00000a9c: SWAP4
00000a9d: POP
00000a9e: DUP4
00000a9f: SWAP2
00000aa0: PUSH4 0x9b96eece
00000aa5: SWAP2
00000aa6: PUSH1 0x24
00000aa8: DUP2
00000aa9: DUP2
00000aaa: ADD
00000aab: SWAP3
00000aac: PUSH1 0x20
00000aae: SWAP3
00000aaf: SWAP1
00000ab0: SWAP2
00000ab1: SWAP1
00000ab2: DUP3
00000ab3: SWAP1
00000ab4: SUB
00000ab5: ADD
00000ab6: DUP2
00000ab7: PUSH1 0x00
00000ab9: DUP8
00000aba: PUSH2 0x61da
00000abd: GAS
00000abe: SUB
00000abf: CALL
00000ac0: ISZERO
00000ac1: PUSH2 0x0002
00000ac4: JUMPI
00000ac5: POP
00000ac6: POP
00000ac7: PUSH1 0x40
00000ac9: MLOAD
00000aca: MLOAD
00000acb: SWAP2
00000acc: POP
00000acd: POP
00000ace: PUSH1 0x00
00000ad0: DUP2
00000ad1: DUP6
00000ad2: ADD
00000ad3: LT
00000ad4: ISZERO
00000ad5: PUSH2 0x0b15
00000ad8: JUMPI
00000ad9: PUSH1 0x40
00000adb: DUP1
00000adc: MLOAD
00000add: DUP1
00000ade: DUP3
00000adf: ADD
00000ae0: SWAP1
00000ae1: SWAP2
00000ae2: MSTORE
00000ae3: PUSH1 0x11
00000ae5: DUP2
00000ae6: MSTORE
00000ae7: PUSH32 0x706f737369626c655f6f766572666c6f77000000000000000000000000000000
00000b08: PUSH1 0x20
00000b0a: DUP3
00000b0b: ADD
00000b0c: MSTORE
00000b0d: PUSH2 0x0a31
00000b10: SWAP1
00000b11: PUSH2 0x03ab
00000b14: JUMP
00000b15: JUMPDEST
00000b16: DUP4
00000b17: DUP2
00000b18: ADD
00000b19: SWAP1
00000b1a: POP
00000b1b: DUP1
00000b1c: POP
00000b1d: DUP2
00000b1e: PUSH1 0x01
00000b20: PUSH1 0xa0
00000b22: PUSH1 0x02
00000b24: EXP
00000b25: SUB
00000b26: AND
00000b27: PUSH4 0x09901f70
00000b2c: DUP7
00000b2d: DUP4
00000b2e: PUSH1 0x40
00000b30: MLOAD
00000b31: DUP4
00000b32: PUSH1 0xe0
00000b34: PUSH1 0x02
00000b36: EXP
00000b37: MUL
00000b38: DUP2
00000b39: MSTORE
00000b3a: PUSH1 0x04
00000b3c: ADD
00000b3d: DUP1
00000b3e: DUP4
00000b3f: PUSH1 0x01
00000b41: PUSH1 0xa0
00000b43: PUSH1 0x02
00000b45: EXP
00000b46: SUB
00000b47: AND
00000b48: DUP2
00000b49: MSTORE
00000b4a: PUSH1 0x20
00000b4c: ADD
00000b4d: DUP3
00000b4e: DUP2
00000b4f: MSTORE
00000b50: PUSH1 0x20
00000b52: ADD
00000b53: SWAP3
00000b54: POP
00000b55: POP
00000b56: POP
00000b57: PUSH1 0x00
00000b59: PUSH1 0x40
00000b5b: MLOAD
00000b5c: DUP1
00000b5d: DUP4
00000b5e: SUB
00000b5f: DUP2
00000b60: PUSH1 0x00
00000b62: DUP8
00000b63: PUSH2 0x61da
00000b66: GAS
00000b67: SUB
00000b68: CALL
00000b69: ISZERO
00000b6a: PUSH2 0x0002
00000b6d: JUMPI
00000b6e: POP
00000b6f: POP
00000b70: POP
00000b71: DUP2
00000b72: PUSH1 0x01
00000b74: PUSH1 0xa0
00000b76: PUSH1 0x02
00000b78: EXP
00000b79: SUB
00000b7a: AND
00000b7b: PUSH4 0x66d49bab
00000b80: DUP6
00000b81: PUSH1 0x40
00000b83: MLOAD
00000b84: DUP3
00000b85: PUSH1 0xe0
00000b87: PUSH1 0x02
00000b89: EXP
00000b8a: MUL
00000b8b: DUP2
00000b8c: MSTORE
00000b8d: PUSH1 0x04
00000b8f: ADD
00000b90: DUP1
00000b91: DUP3
00000b92: DUP2
00000b93: MSTORE
00000b94: PUSH1 0x20
00000b96: ADD
00000b97: SWAP2
00000b98: POP
00000b99: POP
00000b9a: PUSH1 0x00
00000b9c: PUSH1 0x40
00000b9e: MLOAD
00000b9f: DUP1
00000ba0: DUP4
00000ba1: SUB
00000ba2: DUP2
00000ba3: PUSH1 0x00
00000ba5: DUP8
00000ba6: PUSH2 0x61da
00000ba9: GAS
00000baa: SUB
00000bab: CALL
00000bac: ISZERO
00000bad: PUSH2 0x0002
00000bb0: JUMPI
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: PUSH1 0x01
00000bb6: SWAP3
00000bb7: POP
00000bb8: PUSH2 0x0a34
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: DUP4
00000bbe: PUSH1 0x00
00000bc0: EQ
00000bc1: ISZERO
00000bc2: PUSH2 0x0bf3
00000bc5: JUMPI
00000bc6: PUSH1 0x40
00000bc8: DUP1
00000bc9: MLOAD
00000bca: DUP1
00000bcb: DUP3
00000bcc: ADD
00000bcd: SWAP1
00000bce: SWAP2
00000bcf: MSTORE
00000bd0: PUSH1 0x0b
00000bd2: DUP2
00000bd3: MSTORE
00000bd4: PUSH1 0xaa
00000bd6: PUSH1 0x02
00000bd8: EXP
00000bd9: PUSH11 0x1e995c9bd7d85b5bdd5b9d
00000be5: MUL
00000be6: PUSH1 0x20
00000be8: DUP3
00000be9: ADD
00000bea: MSTORE
00000beb: PUSH2 0x0a31
00000bee: SWAP1
00000bef: PUSH2 0x03ab
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH1 0x40
00000bf6: DUP1
00000bf7: MLOAD
00000bf8: PUSH1 0x02
00000bfa: SLOAD
00000bfb: PUSH1 0xe1
00000bfd: PUSH1 0x02
00000bff: EXP
00000c00: PUSH4 0x4dcb7767
00000c05: MUL
00000c06: DUP3
00000c07: MSTORE
00000c08: PUSH1 0x01
00000c0a: PUSH1 0xa0
00000c0c: PUSH1 0x02
00000c0e: EXP
00000c0f: SUB
00000c10: DUP9
00000c11: DUP2
00000c12: AND
00000c13: PUSH1 0x04
00000c15: DUP5
00000c16: ADD
00000c17: MSTORE
00000c18: SWAP3
00000c19: MLOAD
00000c1a: SWAP3
00000c1b: AND
00000c1c: SWAP4
00000c1d: POP
00000c1e: DUP4
00000c1f: SWAP2
00000c20: PUSH4 0x9b96eece
00000c25: SWAP2
00000c26: PUSH1 0x24
00000c28: DUP2
00000c29: DUP2
00000c2a: ADD
00000c2b: SWAP3
00000c2c: PUSH1 0x20
00000c2e: SWAP3
00000c2f: SWAP1
00000c30: SWAP2
00000c31: SWAP1
00000c32: DUP3
00000c33: SWAP1
00000c34: SUB
00000c35: ADD
00000c36: DUP2
00000c37: PUSH1 0x00
00000c39: DUP8
00000c3a: PUSH2 0x61da
00000c3d: GAS
00000c3e: SUB
00000c3f: CALL
00000c40: ISZERO
00000c41: PUSH2 0x0002
00000c44: JUMPI
00000c45: POP
00000c46: POP
00000c47: PUSH1 0x40
00000c49: MLOAD
00000c4a: MLOAD
00000c4b: SWAP2
00000c4c: POP
00000c4d: POP
00000c4e: PUSH1 0x00
00000c50: DUP5
00000c51: DUP3
00000c52: SUB
00000c53: LT
00000c54: ISZERO
00000c55: PUSH2 0x0c5c
00000c58: JUMPI
00000c59: SWAP3
00000c5a: POP
00000c5b: DUP3
00000c5c: JUMPDEST
00000c5d: DUP4
00000c5e: DUP2
00000c5f: SUB
00000c60: SWAP1
00000c61: POP
00000c62: DUP1
00000c63: POP
00000c64: DUP2
00000c65: PUSH1 0x01
00000c67: PUSH1 0xa0
00000c69: PUSH1 0x02
00000c6b: EXP
00000c6c: SUB
00000c6d: AND
00000c6e: PUSH4 0x09901f70
00000c73: DUP7
00000c74: DUP4
00000c75: PUSH1 0x40
00000c77: MLOAD
00000c78: DUP4
00000c79: PUSH1 0xe0
00000c7b: PUSH1 0x02
00000c7d: EXP
00000c7e: MUL
00000c7f: DUP2
00000c80: MSTORE
00000c81: PUSH1 0x04
00000c83: ADD
00000c84: DUP1
00000c85: DUP4
00000c86: PUSH1 0x01
00000c88: PUSH1 0xa0
00000c8a: PUSH1 0x02
00000c8c: EXP
00000c8d: SUB
00000c8e: AND
00000c8f: DUP2
00000c90: MSTORE
00000c91: PUSH1 0x20
00000c93: ADD
00000c94: DUP3
00000c95: DUP2
00000c96: MSTORE
00000c97: PUSH1 0x20
00000c99: ADD
00000c9a: SWAP3
00000c9b: POP
00000c9c: POP
00000c9d: POP
00000c9e: PUSH1 0x00
00000ca0: PUSH1 0x40
00000ca2: MLOAD
00000ca3: DUP1
00000ca4: DUP4
00000ca5: SUB
00000ca6: DUP2
00000ca7: PUSH1 0x00
00000ca9: DUP8
00000caa: PUSH2 0x61da
00000cad: GAS
00000cae: SUB
00000caf: CALL
00000cb0: ISZERO
00000cb1: PUSH2 0x0002
00000cb4: JUMPI
00000cb5: POP
00000cb6: POP
00000cb7: PUSH1 0x40
00000cb9: DUP1
00000cba: MLOAD
00000cbb: PUSH32 0x66d49bab00000000000000000000000000000000000000000000000000000000
00000cdc: DUP2
00000cdd: MSTORE
00000cde: PUSH1 0x00
00000ce0: DUP8
00000ce1: DUP2
00000ce2: SUB
00000ce3: PUSH1 0x04
00000ce5: DUP4
00000ce6: ADD
00000ce7: MSTORE
00000ce8: SWAP2
00000ce9: MLOAD
00000cea: PUSH4 0x66d49bab
00000cef: SWAP3
00000cf0: PUSH1 0x24
00000cf2: DUP4
00000cf3: DUP2
00000cf4: ADD
00000cf5: SWAP4
00000cf6: SWAP2
00000cf7: SWAP3
00000cf8: SWAP2
00000cf9: DUP3
00000cfa: SWAP1
00000cfb: SUB
00000cfc: ADD
00000cfd: DUP2
00000cfe: DUP4
00000cff: DUP8
00000d00: PUSH2 0x61da
00000d03: GAS
00000d04: SUB
00000d05: CALL
00000d06: ISZERO
00000d07: PUSH2 0x0002
00000d0a: JUMPI
00000d0b: POP
00000d0c: POP
00000d0d: POP
00000d0e: PUSH1 0x01
00000d10: SWAP3
00000d11: POP
00000d12: PUSH2 0x0a34
00000d15: JUMP
00000d16: JUMPDEST
00000d17: POP
00000d18: PUSH1 0x01
00000d1a: PUSH1 0xa0
00000d1c: PUSH1 0x02
00000d1e: EXP
00000d1f: SUB
00000d20: DUP3
00000d21: AND
00000d22: PUSH1 0x00
00000d24: SWAP1
00000d25: DUP2
00000d26: MSTORE
00000d27: PUSH1 0x03
00000d29: PUSH1 0x20
00000d2b: MSTORE
00000d2c: PUSH1 0x40
00000d2e: SWAP1
00000d2f: KECCAK256
00000d30: DUP1
00000d31: SLOAD
00000d32: PUSH1 0xff
00000d34: NOT
00000d35: AND
00000d36: DUP3
00000d37: OR
00000d38: SWAP1
00000d39: SSTORE
00000d3a: PUSH1 0x01
00000d3c: SWAP3
00000d3d: SWAP2
00000d3e: POP
00000d3f: POP
00000d40: JUMP
00000d41: JUMPDEST
00000d42: PUSH1 0x00
00000d44: DUP1
00000d45: SLOAD
00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5b: NOT
00000d5c: AND
00000d5d: DUP3
00000d5e: OR
00000d5f: SWAP1
00000d60: SSTORE
00000d61: POP
00000d62: JUMP
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x4e44a9a53bdd703084e4d7e64142df1e49cfa1bc59cc4c3843b45657e59bce48
call_targets: 0xd9d6748bf50943edcea2bce228fd809d4a951f7e
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4e44a9a53bdd703084e4d7e64142df1e49cfa1bc59cc4c3843b45657e59bce48",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd9d6748bf50943edcea2bce228fd809d4a951f7e"
    ],
    "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": "0x0779afe6",
            "selector": "0x0779afe6",
            "calldata_variants": [
                "0x0779afe6",
                "0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x144fa6d7",
            "selector": "0x144fa6d7",
            "calldata_variants": [
                "0x144fa6d7",
                "0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27950b96",
            "selector": "0x27950b96",
            "calldata_variants": [
                "0x27950b96",
                "0x27950b960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e8f5b90",
            "selector": "0x3e8f5b90",
            "calldata_variants": [
                "0x3e8f5b90",
                "0x3e8f5b900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x833f43c2",
            "selector": "0x833f43c2",
            "calldata_variants": [
                "0x833f43c2",
                "0x833f43c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x867904b4",
            "selector": "0x867904b4",
            "calldata_variants": [
                "0x867904b4",
                "0x867904b40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 792,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant_zero",
            "target_expression_category": "computed"
        },
        {
            "pc": 1055,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1120,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 15,
    "guards_detected": [],
    "untrusted_call_count": 15
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x4e44a9a53bdd703084e4d7e64142df1e49cfa1bc59cc4c3843b45657e59bce48
call_targets: 0xd9d6748bf50943edcea2bce228fd809d4a951f7e
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4e44a9a53bdd703084e4d7e64142df1e49cfa1bc59cc4c3843b45657e59bce48",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd9d6748bf50943edcea2bce228fd809d4a951f7e"
    ],
    "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": "0x0779afe6",
            "selector": "0x0779afe6",
            "calldata_variants": [
                "0x0779afe6",
                "0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x144fa6d7",
            "selector": "0x144fa6d7",
            "calldata_variants": [
                "0x144fa6d7",
                "0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27950b96",
            "selector": "0x27950b96",
            "calldata_variants": [
                "0x27950b96",
                "0x27950b960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e8f5b90",
            "selector": "0x3e8f5b90",
            "calldata_variants": [
                "0x3e8f5b90",
                "0x3e8f5b900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x833f43c2",
            "selector": "0x833f43c2",
            "calldata_variants": [
                "0x833f43c2",
                "0x833f43c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x867904b4",
            "selector": "0x867904b4",
            "calldata_variants": [
                "0x867904b4",
                "0x867904b40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1055,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1120,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1690,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 14,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x906c9e8f73b7b320a113e7b58ac0e4e0fb4071450349192de4638977bb954572
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 26,
    "trace_id": "0x906c9e8f73b7b320a113e7b58ac0e4e0fb4071450349192de4638977bb954572",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x0779afe6",
            "selector": "0x0779afe6",
            "calldata_variants": [
                "0x0779afe6",
                "0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x144fa6d7",
            "selector": "0x144fa6d7",
            "calldata_variants": [
                "0x144fa6d7",
                "0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27950b96",
            "selector": "0x27950b96",
            "calldata_variants": [
                "0x27950b96",
                "0x27950b960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e8f5b90",
            "selector": "0x3e8f5b90",
            "calldata_variants": [
                "0x3e8f5b90",
                "0x3e8f5b900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x833f43c2",
            "selector": "0x833f43c2",
            "calldata_variants": [
                "0x833f43c2",
                "0x833f43c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x867904b4",
            "selector": "0x867904b4",
            "calldata_variants": [
                "0x867904b4",
                "0x867904b40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}