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

Analysis Run

019b3836-3121-7128-84aa-05b1e9a47b9b

complete
Chain ID
1
Address
0x28dc763f96b8a585326c7f5b9e824d14dc8ed45b
Block Number
—
Created
Fri, Dec 19, 2025 8:03 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
2735 artifact.fetch complete 1 / 3 4 months ago
2736 tool.cast_disasm complete 1 / 3 4 months ago
80127 analysis.bundle complete 1 / 3 2 weeks ago
80128 capability.graph complete 1 / 3 2 weeks ago
80129 detector.run complete 1 / 3 2 weeks ago
80130 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
4
Total opcodes
2193
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ae
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x0181fbc2
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00b9
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x01e210b7
00000025: EQ
00000026: PUSH2 0x00dd
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x09e69ede
00000030: EQ
00000031: PUSH2 0x0176
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x1d9df585
0000003b: EQ
0000003c: PUSH2 0x0194
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x4001c07f
00000046: EQ
00000047: PUSH2 0x019d
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x4c1a4115
00000051: EQ
00000052: PUSH2 0x01c1
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x5501576e
0000005c: EQ
0000005d: PUSH2 0x01ca
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x62b3f820
00000067: EQ
00000068: PUSH2 0x020c
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x70c938cf
00000072: EQ
00000073: PUSH2 0x024d
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x72a67b32
0000007d: EQ
0000007e: PUSH2 0x0256
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x8da5cb5b
00000088: EQ
00000089: PUSH2 0x027a
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x920b1670
00000093: EQ
00000094: PUSH2 0x028c
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xed21248c
0000009e: EQ
0000009f: PUSH2 0x02d7
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xf4fd191b
000000a9: EQ
000000aa: PUSH2 0x035b
000000ad: JUMPI
000000ae: JUMPDEST
000000af: PUSH2 0x039f
000000b2: PUSH2 0x03a1
000000b5: PUSH2 0x02db
000000b8: JUMP
000000b9: JUMPDEST
000000ba: PUSH2 0x039f
000000bd: PUSH1 0x04
000000bf: CALLDATALOAD
000000c0: PUSH1 0x04
000000c2: SLOAD
000000c3: PUSH1 0x01
000000c5: PUSH1 0xa0
000000c7: PUSH1 0x02
000000c9: EXP
000000ca: SUB
000000cb: SWAP1
000000cc: DUP2
000000cd: AND
000000ce: CALLER
000000cf: SWAP2
000000d0: SWAP1
000000d1: SWAP2
000000d2: AND
000000d3: EQ
000000d4: ISZERO
000000d5: PUSH2 0x040c
000000d8: JUMPI
000000d9: PUSH1 0x01
000000db: SSTORE
000000dc: JUMP
000000dd: JUMPDEST
000000de: PUSH2 0x039f
000000e1: PUSH1 0x04
000000e3: CALLDATALOAD
000000e4: PUSH1 0x24
000000e6: CALLDATALOAD
000000e7: PUSH1 0x01
000000e9: PUSH1 0xa0
000000eb: PUSH1 0x02
000000ed: EXP
000000ee: SUB
000000ef: CALLER
000000f0: AND
000000f1: PUSH1 0x00
000000f3: SWAP1
000000f4: DUP2
000000f5: MSTORE
000000f6: PUSH1 0x20
000000f8: DUP2
000000f9: SWAP1
000000fa: MSTORE
000000fb: PUSH1 0x40
000000fd: DUP2
000000fe: KECCAK256
000000ff: PUSH1 0x01
00000101: ADD
00000102: SLOAD
00000103: DUP2
00000104: SWAP1
00000105: DUP2
00000106: SWAP1
00000107: DUP2
00000108: SWAP1
00000109: DUP2
0000010a: SWAP1
0000010b: DUP2
0000010c: SWAP1
0000010d: DUP2
0000010e: SWAP1
0000010f: DUP2
00000110: SWAP1
00000111: GT
00000112: ISZERO
00000113: PUSH2 0x02cc
00000116: JUMPI
00000117: PUSH1 0x40
00000119: DUP2
0000011a: KECCAK256
0000011b: PUSH1 0x02
0000011d: ADD
0000011e: DUP1
0000011f: SLOAD
00000120: PUSH1 0x00
00000122: NOT
00000123: SWAP11
00000124: SWAP1
00000125: SWAP11
00000126: ADD
00000127: SWAP10
00000128: DUP11
00000129: SWAP1
0000012a: DUP2
0000012b: LT
0000012c: ISZERO
0000012d: PUSH2 0x0002
00000130: JUMPI
00000131: POP
00000132: DUP2
00000133: MSTORE
00000134: PUSH1 0x20
00000136: DUP2
00000137: KECCAK256
00000138: PUSH1 0x04
0000013a: DUP11
0000013b: MUL
0000013c: ADD
0000013d: DUP1
0000013e: SLOAD
0000013f: SWAP1
00000140: SWAP8
00000141: POP
00000142: PUSH7 0x038d7ea4c68000
0000014a: DUP10
0000014b: MUL
0000014c: SWAP7
0000014d: POP
0000014e: SWAP5
0000014f: POP
00000150: DUP5
00000151: DUP7
00000152: GT
00000153: DUP1
00000154: PUSH2 0x015d
00000157: JUMPI
00000158: POP
00000159: DUP5
0000015a: PUSH1 0x00
0000015c: EQ
0000015d: JUMPDEST
0000015e: DUP1
0000015f: PUSH2 0x016c
00000162: JUMPI
00000163: POP
00000164: PUSH1 0x03
00000166: DUP8
00000167: ADD
00000168: SLOAD
00000169: TIMESTAMP
0000016a: SWAP1
0000016b: GT
0000016c: JUMPDEST
0000016d: ISZERO
0000016e: PUSH2 0x088d
00000171: JUMPI
00000172: PUSH2 0x02cc
00000175: JUMP
00000176: JUMPDEST
00000177: PUSH1 0x00
00000179: PUSH1 0x20
0000017b: DUP2
0000017c: SWAP1
0000017d: MSTORE
0000017e: PUSH1 0x04
00000180: CALLDATALOAD
00000181: DUP2
00000182: MSTORE
00000183: PUSH1 0x40
00000185: SWAP1
00000186: KECCAK256
00000187: PUSH1 0x01
00000189: DUP2
0000018a: ADD
0000018b: SLOAD
0000018c: SWAP1
0000018d: SLOAD
0000018e: PUSH2 0x03a3
00000191: SWAP2
00000192: DUP3
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH2 0x03bc
00000198: PUSH1 0x02
0000019a: SLOAD
0000019b: DUP2
0000019c: JUMP
0000019d: JUMPDEST
0000019e: PUSH2 0x039f
000001a1: PUSH1 0x04
000001a3: CALLDATALOAD
000001a4: PUSH1 0x04
000001a6: SLOAD
000001a7: PUSH1 0x01
000001a9: PUSH1 0xa0
000001ab: PUSH1 0x02
000001ad: EXP
000001ae: SUB
000001af: SWAP1
000001b0: DUP2
000001b1: AND
000001b2: CALLER
000001b3: SWAP2
000001b4: SWAP1
000001b5: SWAP2
000001b6: AND
000001b7: EQ
000001b8: ISZERO
000001b9: PUSH2 0x040c
000001bc: JUMPI
000001bd: PUSH1 0x02
000001bf: SSTORE
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH2 0x03bc
000001c5: PUSH1 0x01
000001c7: SLOAD
000001c8: DUP2
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH2 0x039f
000001ce: PUSH1 0x04
000001d0: CALLDATALOAD
000001d1: PUSH1 0x24
000001d3: CALLDATALOAD
000001d4: PUSH1 0x04
000001d6: SLOAD
000001d7: PUSH1 0x01
000001d9: PUSH1 0xa0
000001db: PUSH1 0x02
000001dd: EXP
000001de: SUB
000001df: SWAP1
000001e0: DUP2
000001e1: AND
000001e2: CALLER
000001e3: SWAP2
000001e4: SWAP1
000001e5: SWAP2
000001e6: AND
000001e7: EQ
000001e8: ISZERO
000001e9: PUSH2 0x0b4b
000001ec: JUMPI
000001ed: DUP2
000001ee: PUSH1 0x01
000001f0: PUSH1 0xa0
000001f2: PUSH1 0x02
000001f4: EXP
000001f5: SUB
000001f6: AND
000001f7: PUSH1 0x00
000001f9: EQ
000001fa: DUP1
000001fb: PUSH2 0x0202
000001fe: JUMPI
000001ff: POP
00000200: DUP1
00000201: ISZERO
00000202: JUMPDEST
00000203: ISZERO
00000204: PUSH2 0x0b2b
00000207: JUMPI
00000208: PUSH2 0x0b4b
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH2 0x039f
00000210: PUSH1 0x04
00000212: CALLDATALOAD
00000213: PUSH1 0x24
00000215: CALLDATALOAD
00000216: PUSH1 0x01
00000218: PUSH1 0xa0
0000021a: PUSH1 0x02
0000021c: EXP
0000021d: SUB
0000021e: CALLER
0000021f: AND
00000220: PUSH1 0x00
00000222: SWAP1
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x20
00000227: DUP2
00000228: SWAP1
00000229: MSTORE
0000022a: PUSH1 0x40
0000022c: DUP2
0000022d: KECCAK256
0000022e: PUSH1 0x01
00000230: ADD
00000231: SLOAD
00000232: DUP2
00000233: SWAP1
00000234: DUP2
00000235: SWAP1
00000236: DUP2
00000237: SWAP1
00000238: DUP2
00000239: SWAP1
0000023a: DUP2
0000023b: SWAP1
0000023c: GT
0000023d: ISZERO
0000023e: PUSH2 0x066b
00000241: JUMPI
00000242: DUP6
00000243: ISZERO
00000244: ISZERO
00000245: PUSH2 0x0533
00000248: JUMPI
00000249: PUSH2 0x066b
0000024c: JUMP
0000024d: JUMPDEST
0000024e: PUSH2 0x03bc
00000251: PUSH1 0x03
00000253: SLOAD
00000254: DUP2
00000255: JUMP
00000256: JUMPDEST
00000257: PUSH2 0x039f
0000025a: PUSH1 0x04
0000025c: CALLDATALOAD
0000025d: PUSH1 0x04
0000025f: SLOAD
00000260: PUSH1 0x01
00000262: PUSH1 0xa0
00000264: PUSH1 0x02
00000266: EXP
00000267: SUB
00000268: SWAP1
00000269: DUP2
0000026a: AND
0000026b: CALLER
0000026c: SWAP2
0000026d: SWAP1
0000026e: SWAP2
0000026f: AND
00000270: EQ
00000271: ISZERO
00000272: PUSH2 0x040c
00000275: JUMPI
00000276: PUSH1 0x03
00000278: SSTORE
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH2 0x03ce
0000027e: PUSH1 0x04
00000280: SLOAD
00000281: PUSH1 0x01
00000283: PUSH1 0xa0
00000285: PUSH1 0x02
00000287: EXP
00000288: SUB
00000289: AND
0000028a: DUP2
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH2 0x039f
00000290: PUSH1 0x04
00000292: CALLDATALOAD
00000293: PUSH1 0x01
00000295: PUSH1 0xa0
00000297: PUSH1 0x02
00000299: EXP
0000029a: SUB
0000029b: CALLER
0000029c: AND
0000029d: PUSH1 0x00
0000029f: SWAP1
000002a0: DUP2
000002a1: MSTORE
000002a2: PUSH1 0x20
000002a4: DUP2
000002a5: SWAP1
000002a6: MSTORE
000002a7: PUSH1 0x40
000002a9: DUP2
000002aa: KECCAK256
000002ab: PUSH1 0x01
000002ad: ADD
000002ae: SLOAD
000002af: DUP2
000002b0: SWAP1
000002b1: DUP2
000002b2: SWAP1
000002b3: DUP2
000002b4: SWAP1
000002b5: DUP2
000002b6: SWAP1
000002b7: DUP2
000002b8: SWAP1
000002b9: DUP2
000002ba: SWAP1
000002bb: DUP2
000002bc: SWAP1
000002bd: DUP2
000002be: SWAP1
000002bf: GT
000002c0: ISZERO
000002c1: PUSH2 0x02cc
000002c4: JUMPI
000002c5: DUP9
000002c6: ISZERO
000002c7: ISZERO
000002c8: PUSH2 0x0674
000002cb: JUMPI
000002cc: JUMPDEST
000002cd: POP
000002ce: POP
000002cf: POP
000002d0: POP
000002d1: POP
000002d2: POP
000002d3: POP
000002d4: POP
000002d5: POP
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH2 0x039f
000002db: JUMPDEST
000002dc: PUSH1 0x00
000002de: PUSH7 0x038d7ea4c68000
000002e6: CALLVALUE
000002e7: LT
000002e8: PUSH2 0x03eb
000002eb: JUMPI
000002ec: PUSH1 0x01
000002ee: PUSH1 0xa0
000002f0: PUSH1 0x02
000002f2: EXP
000002f3: SUB
000002f4: CALLER
000002f5: AND
000002f6: DUP2
000002f7: MSTORE
000002f8: PUSH1 0x20
000002fa: DUP2
000002fb: SWAP1
000002fc: MSTORE
000002fd: PUSH1 0x40
000002ff: SWAP1
00000300: KECCAK256
00000301: PUSH1 0x02
00000303: ADD
00000304: DUP1
00000305: SLOAD
00000306: PUSH1 0x01
00000308: DUP2
00000309: ADD
0000030a: DUP1
0000030b: DUP4
0000030c: SSTORE
0000030d: SWAP1
0000030e: SWAP2
0000030f: DUP2
00000310: DUP4
00000311: DUP1
00000312: ISZERO
00000313: DUP3
00000314: SWAP1
00000315: GT
00000316: PUSH2 0x040f
00000319: JUMPI
0000031a: PUSH1 0x04
0000031c: MUL
0000031d: DUP2
0000031e: PUSH1 0x04
00000320: MUL
00000321: DUP4
00000322: PUSH1 0x00
00000324: MSTORE
00000325: PUSH1 0x20
00000327: PUSH1 0x00
00000329: KECCAK256
0000032a: SWAP2
0000032b: DUP3
0000032c: ADD
0000032d: SWAP2
0000032e: ADD
0000032f: PUSH2 0x040f
00000332: SWAP2
00000333: SWAP1
00000334: JUMPDEST
00000335: DUP1
00000336: DUP3
00000337: GT
00000338: ISZERO
00000339: PUSH2 0x052f
0000033c: JUMPI
0000033d: PUSH1 0x00
0000033f: DUP1
00000340: DUP3
00000341: SSTORE
00000342: PUSH1 0x01
00000344: DUP3
00000345: ADD
00000346: DUP2
00000347: DUP2
00000348: SSTORE
00000349: PUSH1 0x02
0000034b: DUP4
0000034c: ADD
0000034d: DUP3
0000034e: SWAP1
0000034f: SSTORE
00000350: PUSH1 0x03
00000352: SWAP3
00000353: SWAP1
00000354: SWAP3
00000355: ADD
00000356: SSTORE
00000357: PUSH2 0x0334
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH2 0x039f
0000035f: PUSH1 0x04
00000361: CALLDATALOAD
00000362: PUSH1 0x01
00000364: PUSH1 0xa0
00000366: PUSH1 0x02
00000368: EXP
00000369: SUB
0000036a: CALLER
0000036b: AND
0000036c: PUSH1 0x00
0000036e: SWAP1
0000036f: DUP2
00000370: MSTORE
00000371: PUSH1 0x20
00000373: DUP2
00000374: SWAP1
00000375: MSTORE
00000376: PUSH1 0x40
00000378: DUP2
00000379: KECCAK256
0000037a: PUSH1 0x01
0000037c: ADD
0000037d: SLOAD
0000037e: DUP2
0000037f: SWAP1
00000380: DUP2
00000381: SWAP1
00000382: DUP2
00000383: SWAP1
00000384: DUP2
00000385: SWAP1
00000386: DUP2
00000387: SWAP1
00000388: DUP2
00000389: SWAP1
0000038a: DUP2
0000038b: SWAP1
0000038c: DUP2
0000038d: SWAP1
0000038e: GT
0000038f: ISZERO
00000390: PUSH2 0x02cc
00000393: JUMPI
00000394: DUP9
00000395: ISZERO
00000396: ISZERO
00000397: PUSH2 0x098d
0000039a: JUMPI
0000039b: PUSH2 0x02cc
0000039e: JUMP
0000039f: JUMPDEST
000003a0: STOP
000003a1: JUMPDEST
000003a2: JUMP
000003a3: JUMPDEST
000003a4: PUSH1 0x40
000003a6: DUP1
000003a7: MLOAD
000003a8: SWAP3
000003a9: DUP4
000003aa: MSTORE
000003ab: PUSH1 0x20
000003ad: DUP4
000003ae: ADD
000003af: SWAP2
000003b0: SWAP1
000003b1: SWAP2
000003b2: MSTORE
000003b3: DUP1
000003b4: MLOAD
000003b5: SWAP2
000003b6: DUP3
000003b7: SWAP1
000003b8: SUB
000003b9: ADD
000003ba: SWAP1
000003bb: RETURN
000003bc: JUMPDEST
000003bd: PUSH1 0x40
000003bf: DUP1
000003c0: MLOAD
000003c1: SWAP2
000003c2: DUP3
000003c3: MSTORE
000003c4: MLOAD
000003c5: SWAP1
000003c6: DUP2
000003c7: SWAP1
000003c8: SUB
000003c9: PUSH1 0x20
000003cb: ADD
000003cc: SWAP1
000003cd: RETURN
000003ce: JUMPDEST
000003cf: PUSH1 0x40
000003d1: DUP1
000003d2: MLOAD
000003d3: PUSH1 0x01
000003d5: PUSH1 0xa0
000003d7: PUSH1 0x02
000003d9: EXP
000003da: SUB
000003db: SWAP3
000003dc: SWAP1
000003dd: SWAP3
000003de: AND
000003df: DUP3
000003e0: MSTORE
000003e1: MLOAD
000003e2: SWAP1
000003e3: DUP2
000003e4: SWAP1
000003e5: SUB
000003e6: PUSH1 0x20
000003e8: ADD
000003e9: SWAP1
000003ea: RETURN
000003eb: JUMPDEST
000003ec: PUSH1 0x40
000003ee: MLOAD
000003ef: PUSH1 0x01
000003f1: PUSH1 0xa0
000003f3: PUSH1 0x02
000003f5: EXP
000003f6: SUB
000003f7: CALLER
000003f8: AND
000003f9: SWAP1
000003fa: PUSH1 0x00
000003fc: SWAP1
000003fd: CALLVALUE
000003fe: SWAP1
000003ff: DUP3
00000400: DUP2
00000401: DUP2
00000402: DUP2
00000403: DUP6
00000404: DUP9
00000405: DUP4
00000406: CALL
00000407: POP
00000408: POP
00000409: POP
0000040a: POP
0000040b: POP
0000040c: JUMPDEST
0000040d: POP
0000040e: JUMP
0000040f: JUMPDEST
00000410: POP
00000411: POP
00000412: POP
00000413: PUSH1 0x01
00000415: PUSH1 0xa0
00000417: PUSH1 0x02
00000419: EXP
0000041a: SUB
0000041b: CALLER
0000041c: AND
0000041d: PUSH1 0x00
0000041f: SWAP1
00000420: DUP2
00000421: MSTORE
00000422: PUSH1 0x20
00000424: DUP2
00000425: SWAP1
00000426: MSTORE
00000427: PUSH1 0x40
00000429: SWAP1
0000042a: KECCAK256
0000042b: DUP1
0000042c: SLOAD
0000042d: PUSH1 0x01
0000042f: SWAP1
00000430: DUP2
00000431: ADD
00000432: DUP3
00000433: SSTORE
00000434: DUP2
00000435: DUP2
00000436: ADD
00000437: DUP1
00000438: SLOAD
00000439: SWAP1
0000043a: SWAP2
0000043b: ADD
0000043c: SWAP1
0000043d: SSTORE
0000043e: PUSH1 0x02
00000440: ADD
00000441: DUP1
00000442: SLOAD
00000443: CALLVALUE
00000444: SWAP3
00000445: POP
00000446: DUP4
00000447: SWAP1
00000448: DUP2
00000449: LT
0000044a: ISZERO
0000044b: PUSH2 0x0002
0000044e: JUMPI
0000044f: SWAP1
00000450: PUSH1 0x00
00000452: MSTORE
00000453: PUSH1 0x20
00000455: PUSH1 0x00
00000457: KECCAK256
00000458: SWAP1
00000459: PUSH1 0x04
0000045b: MUL
0000045c: ADD
0000045d: PUSH1 0x00
0000045f: POP
00000460: SSTORE
00000461: PUSH1 0x01
00000463: PUSH1 0xa0
00000465: PUSH1 0x02
00000467: EXP
00000468: SUB
00000469: CALLER
0000046a: AND
0000046b: PUSH1 0x00
0000046d: SWAP1
0000046e: DUP2
0000046f: MSTORE
00000470: PUSH1 0x20
00000472: DUP2
00000473: SWAP1
00000474: MSTORE
00000475: PUSH1 0x40
00000477: SWAP1
00000478: KECCAK256
00000479: PUSH1 0x02
0000047b: ADD
0000047c: DUP1
0000047d: SLOAD
0000047e: TIMESTAMP
0000047f: SWAP2
00000480: SWAP1
00000481: DUP4
00000482: SWAP1
00000483: DUP2
00000484: LT
00000485: ISZERO
00000486: PUSH2 0x0002
00000489: JUMPI
0000048a: SWAP1
0000048b: PUSH1 0x00
0000048d: MSTORE
0000048e: PUSH1 0x20
00000490: PUSH1 0x00
00000492: KECCAK256
00000493: SWAP1
00000494: PUSH1 0x04
00000496: MUL
00000497: ADD
00000498: PUSH1 0x00
0000049a: POP
0000049b: PUSH1 0x01
0000049d: ADD
0000049e: SSTORE
0000049f: PUSH1 0x02
000004a1: DUP1
000004a2: SLOAD
000004a3: PUSH1 0x01
000004a5: PUSH1 0xa0
000004a7: PUSH1 0x02
000004a9: EXP
000004aa: SUB
000004ab: CALLER
000004ac: AND
000004ad: PUSH1 0x00
000004af: SWAP1
000004b0: DUP2
000004b1: MSTORE
000004b2: PUSH1 0x20
000004b4: DUP2
000004b5: SWAP1
000004b6: MSTORE
000004b7: PUSH1 0x40
000004b9: SWAP1
000004ba: KECCAK256
000004bb: SWAP1
000004bc: SWAP2
000004bd: ADD
000004be: DUP1
000004bf: SLOAD
000004c0: DUP4
000004c1: SWAP1
000004c2: DUP2
000004c3: LT
000004c4: ISZERO
000004c5: PUSH2 0x0002
000004c8: JUMPI
000004c9: SWAP1
000004ca: PUSH1 0x00
000004cc: MSTORE
000004cd: PUSH1 0x20
000004cf: PUSH1 0x00
000004d1: KECCAK256
000004d2: SWAP1
000004d3: PUSH1 0x04
000004d5: MUL
000004d6: ADD
000004d7: PUSH1 0x00
000004d9: POP
000004da: PUSH1 0x02
000004dc: SWAP1
000004dd: DUP2
000004de: ADD
000004df: SWAP2
000004e0: SWAP1
000004e1: SWAP2
000004e2: SSTORE
000004e3: PUSH1 0x03
000004e5: SLOAD
000004e6: PUSH1 0x01
000004e8: PUSH1 0xa0
000004ea: PUSH1 0x02
000004ec: EXP
000004ed: SUB
000004ee: CALLER
000004ef: AND
000004f0: PUSH1 0x00
000004f2: SWAP1
000004f3: DUP2
000004f4: MSTORE
000004f5: PUSH1 0x20
000004f7: DUP2
000004f8: SWAP1
000004f9: MSTORE
000004fa: PUSH1 0x40
000004fc: SWAP1
000004fd: KECCAK256
000004fe: SWAP1
000004ff: SWAP2
00000500: ADD
00000501: DUP1
00000502: SLOAD
00000503: PUSH3 0x015180
00000507: SWAP1
00000508: SWAP3
00000509: MUL
0000050a: TIMESTAMP
0000050b: ADD
0000050c: SWAP2
0000050d: DUP4
0000050e: SWAP1
0000050f: DUP2
00000510: LT
00000511: ISZERO
00000512: PUSH2 0x0002
00000515: JUMPI
00000516: SWAP1
00000517: PUSH1 0x00
00000519: MSTORE
0000051a: PUSH1 0x20
0000051c: PUSH1 0x00
0000051e: KECCAK256
0000051f: SWAP1
00000520: PUSH1 0x04
00000522: MUL
00000523: ADD
00000524: PUSH1 0x00
00000526: POP
00000527: PUSH1 0x03
00000529: ADD
0000052a: SSTORE
0000052b: PUSH2 0x040c
0000052e: JUMP
0000052f: JUMPDEST
00000530: POP
00000531: SWAP1
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH1 0x01
00000536: PUSH1 0xa0
00000538: PUSH1 0x02
0000053a: EXP
0000053b: SUB
0000053c: CALLER
0000053d: AND
0000053e: PUSH1 0x00
00000540: SWAP1
00000541: DUP2
00000542: MSTORE
00000543: PUSH1 0x20
00000545: DUP2
00000546: SWAP1
00000547: MSTORE
00000548: PUSH1 0x40
0000054a: SWAP1
0000054b: KECCAK256
0000054c: PUSH1 0x02
0000054e: ADD
0000054f: DUP1
00000550: SLOAD
00000551: PUSH1 0x00
00000553: NOT
00000554: SWAP9
00000555: SWAP1
00000556: SWAP9
00000557: ADD
00000558: SWAP8
00000559: DUP9
0000055a: SWAP1
0000055b: DUP2
0000055c: LT
0000055d: ISZERO
0000055e: PUSH2 0x0002
00000561: JUMPI
00000562: POP
00000563: PUSH1 0x00
00000565: SWAP1
00000566: DUP2
00000567: MSTORE
00000568: PUSH1 0x20
0000056a: DUP2
0000056b: KECCAK256
0000056c: PUSH1 0x04
0000056e: DUP10
0000056f: MUL
00000570: ADD
00000571: DUP1
00000572: SLOAD
00000573: SWAP1
00000574: SWAP7
00000575: POP
00000576: EQ
00000577: DUP1
00000578: PUSH2 0x0585
0000057b: JUMPI
0000057c: POP
0000057d: PUSH1 0x03
0000057f: DUP6
00000580: ADD
00000581: SLOAD
00000582: TIMESTAMP
00000583: SWAP1
00000584: GT
00000585: JUMPDEST
00000586: ISZERO
00000587: PUSH2 0x058f
0000058a: JUMPI
0000058b: PUSH2 0x066b
0000058e: JUMP
0000058f: JUMPDEST
00000590: PUSH1 0x01
00000592: DUP1
00000593: SLOAD
00000594: SWAP1
00000595: DUP7
00000596: ADD
00000597: SLOAD
00000598: PUSH1 0x02
0000059a: DUP8
0000059b: ADD
0000059c: SLOAD
0000059d: DUP8
0000059e: SLOAD
0000059f: TIMESTAMP
000005a0: SWAP3
000005a1: SWAP1
000005a2: SWAP3
000005a3: SUB
000005a4: SWAP7
000005a5: POP
000005a6: PUSH3 0x278d00
000005aa: PUSH1 0x64
000005ac: SWAP3
000005ad: DUP9
000005ae: MUL
000005af: SWAP1
000005b0: SWAP2
000005b1: MUL
000005b2: DUP3
000005b3: SWAP1
000005b4: DIV
000005b5: DIV
000005b6: SWAP5
000005b7: POP
000005b8: SWAP1
000005b9: DUP5
000005ba: MUL
000005bb: DIV
000005bc: SWAP2
000005bd: POP
000005be: ADDRESS
000005bf: PUSH1 0x01
000005c1: PUSH1 0xa0
000005c3: PUSH1 0x02
000005c5: EXP
000005c6: SUB
000005c7: AND
000005c8: BALANCE
000005c9: DUP3
000005ca: SWAP1
000005cb: LT
000005cc: PUSH2 0x066b
000005cf: JUMPI
000005d0: POP
000005d1: PUSH1 0x04
000005d3: SLOAD
000005d4: PUSH1 0x40
000005d6: MLOAD
000005d7: DUP6
000005d8: SLOAD
000005d9: DUP5
000005da: ADD
000005db: SWAP2
000005dc: PUSH1 0x01
000005de: PUSH1 0xa0
000005e0: PUSH1 0x02
000005e2: EXP
000005e3: SUB
000005e4: AND
000005e5: SWAP1
000005e6: PUSH1 0x00
000005e8: SWAP1
000005e9: DUP5
000005ea: SWAP1
000005eb: DUP3
000005ec: DUP2
000005ed: DUP2
000005ee: DUP2
000005ef: DUP6
000005f0: DUP9
000005f1: DUP4
000005f2: CALL
000005f3: POP
000005f4: POP
000005f5: POP
000005f6: DUP4
000005f7: DUP4
000005f8: SUB
000005f9: DUP8
000005fa: SSTORE
000005fb: TIMESTAMP
000005fc: PUSH1 0x01
000005fe: DUP9
000005ff: ADD
00000600: DUP2
00000601: SWAP1
00000602: SSTORE
00000603: PUSH1 0x03
00000605: DUP1
00000606: SLOAD
00000607: PUSH3 0x015180
0000060b: MUL
0000060c: SWAP1
0000060d: SWAP2
0000060e: ADD
0000060f: SWAP1
00000610: DUP9
00000611: ADD
00000612: SSTORE
00000613: PUSH1 0x01
00000615: PUSH1 0xa0
00000617: PUSH1 0x02
00000619: EXP
0000061a: SUB
0000061b: CALLER
0000061c: AND
0000061d: DUP2
0000061e: MSTORE
0000061f: PUSH1 0x20
00000621: DUP2
00000622: SWAP1
00000623: MSTORE
00000624: PUSH1 0x40
00000626: SWAP1
00000627: KECCAK256
00000628: PUSH1 0x02
0000062a: ADD
0000062b: DUP1
0000062c: SLOAD
0000062d: DUP8
0000062e: SWAP3
0000062f: POP
00000630: DUP10
00000631: SWAP1
00000632: DUP2
00000633: LT
00000634: ISZERO
00000635: PUSH2 0x0002
00000638: JUMPI
00000639: SWAP1
0000063a: PUSH1 0x00
0000063c: MSTORE
0000063d: PUSH1 0x20
0000063f: PUSH1 0x00
00000641: KECCAK256
00000642: SWAP1
00000643: PUSH1 0x04
00000645: MUL
00000646: ADD
00000647: PUSH1 0x00
00000649: POP
0000064a: DUP2
0000064b: SLOAD
0000064c: DUP2
0000064d: SSTORE
0000064e: PUSH1 0x01
00000650: DUP3
00000651: DUP2
00000652: ADD
00000653: SLOAD
00000654: SWAP1
00000655: DUP3
00000656: ADD
00000657: SSTORE
00000658: PUSH1 0x02
0000065a: DUP3
0000065b: DUP2
0000065c: ADD
0000065d: SLOAD
0000065e: SWAP1
0000065f: DUP3
00000660: ADD
00000661: SSTORE
00000662: PUSH1 0x03
00000664: SWAP2
00000665: DUP3
00000666: ADD
00000667: SLOAD
00000668: SWAP2
00000669: ADD
0000066a: SSTORE
0000066b: JUMPDEST
0000066c: POP
0000066d: POP
0000066e: POP
0000066f: POP
00000670: POP
00000671: POP
00000672: POP
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH1 0x01
00000677: PUSH1 0xa0
00000679: PUSH1 0x02
0000067b: EXP
0000067c: SUB
0000067d: CALLER
0000067e: DUP2
0000067f: AND
00000680: PUSH1 0x00
00000682: SWAP1
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x20
00000687: DUP2
00000688: SWAP1
00000689: MSTORE
0000068a: PUSH1 0x40
0000068c: DUP2
0000068d: KECCAK256
0000068e: PUSH1 0x02
00000690: ADD
00000691: SWAP10
00000692: POP
00000693: ADDRESS
00000694: SWAP1
00000695: SWAP2
00000696: AND
00000697: BALANCE
00000698: SWAP8
00000699: POP
0000069a: SWAP6
0000069b: POP
0000069c: JUMPDEST
0000069d: DUP8
0000069e: SLOAD
0000069f: DUP7
000006a0: LT
000006a1: ISZERO
000006a2: PUSH2 0x02cc
000006a5: JUMPI
000006a6: DUP8
000006a7: DUP7
000006a8: DUP2
000006a9: SLOAD
000006aa: DUP2
000006ab: LT
000006ac: ISZERO
000006ad: PUSH2 0x0002
000006b0: JUMPI
000006b1: SWAP1
000006b2: PUSH1 0x00
000006b4: MSTORE
000006b5: PUSH1 0x20
000006b7: PUSH1 0x00
000006b9: KECCAK256
000006ba: SWAP1
000006bb: PUSH1 0x04
000006bd: MUL
000006be: ADD
000006bf: PUSH1 0x00
000006c1: POP
000006c2: SLOAD
000006c3: SWAP5
000006c4: POP
000006c5: PUSH1 0x00
000006c7: DUP6
000006c8: EQ
000006c9: DUP1
000006ca: PUSH2 0x06f1
000006cd: JUMPI
000006ce: POP
000006cf: TIMESTAMP
000006d0: DUP9
000006d1: DUP8
000006d2: DUP2
000006d3: SLOAD
000006d4: DUP2
000006d5: LT
000006d6: ISZERO
000006d7: PUSH2 0x0002
000006da: JUMPI
000006db: SWAP1
000006dc: PUSH1 0x00
000006de: MSTORE
000006df: PUSH1 0x20
000006e1: PUSH1 0x00
000006e3: KECCAK256
000006e4: SWAP1
000006e5: PUSH1 0x04
000006e7: MUL
000006e8: ADD
000006e9: PUSH1 0x00
000006eb: POP
000006ec: PUSH1 0x03
000006ee: ADD
000006ef: SLOAD
000006f0: GT
000006f1: JUMPDEST
000006f2: ISZERO
000006f3: PUSH2 0x0703
000006f6: JUMPI
000006f7: JUMPDEST
000006f8: PUSH1 0x01
000006fa: SWAP6
000006fb: SWAP1
000006fc: SWAP6
000006fd: ADD
000006fe: SWAP5
000006ff: PUSH2 0x069c
00000702: JUMP
00000703: JUMPDEST
00000704: DUP8
00000705: DUP7
00000706: DUP2
00000707: SLOAD
00000708: DUP2
00000709: LT
0000070a: ISZERO
0000070b: PUSH2 0x0002
0000070e: JUMPI
0000070f: SWAP1
00000710: PUSH1 0x00
00000712: MSTORE
00000713: PUSH1 0x20
00000715: PUSH1 0x00
00000717: KECCAK256
00000718: SWAP1
00000719: PUSH1 0x04
0000071b: MUL
0000071c: ADD
0000071d: PUSH1 0x00
0000071f: POP
00000720: PUSH1 0x01
00000722: ADD
00000723: PUSH1 0x00
00000725: POP
00000726: SLOAD
00000727: TIMESTAMP
00000728: SUB
00000729: SWAP4
0000072a: POP
0000072b: PUSH3 0x278d00
0000072f: PUSH1 0x64
00000731: DUP10
00000732: DUP9
00000733: DUP2
00000734: SLOAD
00000735: DUP2
00000736: LT
00000737: ISZERO
00000738: PUSH2 0x0002
0000073b: JUMPI
0000073c: SWAP1
0000073d: PUSH1 0x00
0000073f: MSTORE
00000740: PUSH1 0x20
00000742: PUSH1 0x00
00000744: KECCAK256
00000745: SWAP1
00000746: PUSH1 0x04
00000748: MUL
00000749: ADD
0000074a: PUSH1 0x00
0000074c: POP
0000074d: PUSH1 0x02
0000074f: ADD
00000750: PUSH1 0x00
00000752: POP
00000753: SLOAD
00000754: DUP7
00000755: DUP9
00000756: MUL
00000757: MUL
00000758: DIV
00000759: DIV
0000075a: SWAP3
0000075b: POP
0000075c: PUSH1 0x64
0000075e: PUSH1 0x01
00000760: PUSH1 0x00
00000762: POP
00000763: SLOAD
00000764: DUP5
00000765: MUL
00000766: DIV
00000767: SWAP2
00000768: POP
00000769: DUP2
0000076a: DUP8
0000076b: LT
0000076c: ISZERO
0000076d: ISZERO
0000076e: PUSH2 0x06f7
00000771: JUMPI
00000772: POP
00000773: PUSH1 0x04
00000775: SLOAD
00000776: PUSH1 0x40
00000778: MLOAD
00000779: DUP6
0000077a: DUP5
0000077b: ADD
0000077c: SWAP2
0000077d: PUSH1 0x01
0000077f: PUSH1 0xa0
00000781: PUSH1 0x02
00000783: EXP
00000784: SUB
00000785: AND
00000786: SWAP1
00000787: PUSH1 0x00
00000789: SWAP1
0000078a: DUP5
0000078b: SWAP1
0000078c: DUP3
0000078d: DUP2
0000078e: DUP2
0000078f: DUP2
00000790: DUP6
00000791: DUP9
00000792: DUP4
00000793: CALL
00000794: SWAP4
00000795: POP
00000796: POP
00000797: POP
00000798: POP
00000799: POP
0000079a: DUP2
0000079b: DUP2
0000079c: SUB
0000079d: DUP9
0000079e: DUP8
0000079f: DUP2
000007a0: SLOAD
000007a1: DUP2
000007a2: LT
000007a3: ISZERO
000007a4: PUSH2 0x0002
000007a7: JUMPI
000007a8: SWAP1
000007a9: PUSH1 0x00
000007ab: MSTORE
000007ac: PUSH1 0x20
000007ae: PUSH1 0x00
000007b0: KECCAK256
000007b1: SWAP1
000007b2: PUSH1 0x04
000007b4: MUL
000007b5: ADD
000007b6: PUSH1 0x00
000007b8: POP
000007b9: SSTORE
000007ba: DUP8
000007bb: SLOAD
000007bc: TIMESTAMP
000007bd: SWAP1
000007be: DUP10
000007bf: SWAP1
000007c0: DUP9
000007c1: SWAP1
000007c2: DUP2
000007c3: LT
000007c4: ISZERO
000007c5: PUSH2 0x0002
000007c8: JUMPI
000007c9: SWAP1
000007ca: PUSH1 0x00
000007cc: MSTORE
000007cd: PUSH1 0x20
000007cf: PUSH1 0x00
000007d1: KECCAK256
000007d2: SWAP1
000007d3: PUSH1 0x04
000007d5: MUL
000007d6: ADD
000007d7: PUSH1 0x00
000007d9: POP
000007da: PUSH1 0x01
000007dc: ADD
000007dd: SSTORE
000007de: PUSH1 0x03
000007e0: SLOAD
000007e1: DUP9
000007e2: SLOAD
000007e3: PUSH3 0x015180
000007e7: SWAP2
000007e8: SWAP1
000007e9: SWAP2
000007ea: MUL
000007eb: TIMESTAMP
000007ec: ADD
000007ed: SWAP1
000007ee: DUP10
000007ef: SWAP1
000007f0: DUP9
000007f1: SWAP1
000007f2: DUP2
000007f3: LT
000007f4: ISZERO
000007f5: PUSH2 0x0002
000007f8: JUMPI
000007f9: SWAP1
000007fa: PUSH1 0x00
000007fc: MSTORE
000007fd: PUSH1 0x20
000007ff: PUSH1 0x00
00000801: KECCAK256
00000802: SWAP1
00000803: PUSH1 0x04
00000805: MUL
00000806: ADD
00000807: PUSH1 0x00
00000809: POP
0000080a: PUSH1 0x03
0000080c: ADD
0000080d: SSTORE
0000080e: DUP8
0000080f: SLOAD
00000810: DUP9
00000811: SWAP1
00000812: DUP8
00000813: SWAP1
00000814: DUP2
00000815: LT
00000816: ISZERO
00000817: PUSH2 0x0002
0000081a: JUMPI
0000081b: SWAP1
0000081c: PUSH1 0x00
0000081e: MSTORE
0000081f: PUSH1 0x20
00000821: PUSH1 0x00
00000823: KECCAK256
00000824: SWAP1
00000825: PUSH1 0x04
00000827: MUL
00000828: ADD
00000829: PUSH1 0x00
0000082b: POP
0000082c: PUSH1 0x01
0000082e: PUSH1 0xa0
00000830: PUSH1 0x02
00000832: EXP
00000833: SUB
00000834: CALLER
00000835: AND
00000836: PUSH1 0x00
00000838: SWAP1
00000839: DUP2
0000083a: MSTORE
0000083b: PUSH1 0x20
0000083d: DUP2
0000083e: SWAP1
0000083f: MSTORE
00000840: PUSH1 0x40
00000842: SWAP1
00000843: KECCAK256
00000844: PUSH1 0x02
00000846: ADD
00000847: DUP1
00000848: SLOAD
00000849: DUP9
0000084a: SWAP1
0000084b: DUP2
0000084c: LT
0000084d: ISZERO
0000084e: PUSH2 0x0002
00000851: JUMPI
00000852: SWAP1
00000853: PUSH1 0x00
00000855: MSTORE
00000856: PUSH1 0x20
00000858: PUSH1 0x00
0000085a: KECCAK256
0000085b: SWAP1
0000085c: PUSH1 0x04
0000085e: MUL
0000085f: ADD
00000860: PUSH1 0x00
00000862: POP
00000863: DUP2
00000864: SLOAD
00000865: DUP2
00000866: SSTORE
00000867: PUSH1 0x01
00000869: DUP3
0000086a: DUP2
0000086b: ADD
0000086c: SLOAD
0000086d: SWAP1
0000086e: DUP3
0000086f: ADD
00000870: SSTORE
00000871: PUSH1 0x02
00000873: DUP3
00000874: DUP2
00000875: ADD
00000876: SLOAD
00000877: SWAP1
00000878: DUP3
00000879: ADD
0000087a: SSTORE
0000087b: PUSH1 0x03
0000087d: SWAP2
0000087e: DUP3
0000087f: ADD
00000880: SLOAD
00000881: SWAP2
00000882: ADD
00000883: SSTORE
00000884: SWAP6
00000885: DUP2
00000886: SWAP1
00000887: SUB
00000888: SWAP6
00000889: PUSH2 0x06f7
0000088c: JUMP
0000088d: JUMPDEST
0000088e: DUP7
0000088f: PUSH1 0x01
00000891: ADD
00000892: PUSH1 0x00
00000894: POP
00000895: SLOAD
00000896: TIMESTAMP
00000897: SUB
00000898: SWAP4
00000899: POP
0000089a: PUSH3 0x278d00
0000089e: PUSH1 0x64
000008a0: DUP9
000008a1: PUSH1 0x02
000008a3: ADD
000008a4: PUSH1 0x00
000008a6: POP
000008a7: SLOAD
000008a8: DUP7
000008a9: DUP10
000008aa: MUL
000008ab: MUL
000008ac: DIV
000008ad: DIV
000008ae: SWAP3
000008af: POP
000008b0: DUP3
000008b1: DUP7
000008b2: ADD
000008b3: SWAP2
000008b4: POP
000008b5: DUP2
000008b6: ADDRESS
000008b7: PUSH1 0x01
000008b9: PUSH1 0xa0
000008bb: PUSH1 0x02
000008bd: EXP
000008be: SUB
000008bf: AND
000008c0: BALANCE
000008c1: LT
000008c2: ISZERO
000008c3: ISZERO
000008c4: PUSH2 0x02cc
000008c7: JUMPI
000008c8: POP
000008c9: PUSH1 0x01
000008cb: SLOAD
000008cc: PUSH1 0x40
000008ce: MLOAD
000008cf: PUSH1 0x64
000008d1: SWAP2
000008d2: DUP5
000008d3: MUL
000008d4: SWAP2
000008d5: SWAP1
000008d6: SWAP2
000008d7: DIV
000008d8: SWAP1
000008d9: PUSH1 0x01
000008db: PUSH1 0xa0
000008dd: PUSH1 0x02
000008df: EXP
000008e0: SUB
000008e1: CALLER
000008e2: AND
000008e3: SWAP1
000008e4: PUSH1 0x00
000008e6: SWAP1
000008e7: DUP4
000008e8: DUP6
000008e9: SUB
000008ea: SWAP1
000008eb: DUP3
000008ec: DUP2
000008ed: DUP2
000008ee: DUP2
000008ef: DUP6
000008f0: DUP9
000008f1: DUP4
000008f2: CALL
000008f3: POP
000008f4: PUSH1 0x04
000008f6: SLOAD
000008f7: PUSH1 0x01
000008f9: PUSH1 0xa0
000008fb: PUSH1 0x02
000008fd: EXP
000008fe: SUB
000008ff: AND
00000900: SWAP4
00000901: POP
00000902: DUP5
00000903: SWAP2
00000904: POP
00000905: DUP3
00000906: DUP2
00000907: DUP2
00000908: DUP2
00000909: DUP6
0000090a: DUP9
0000090b: DUP4
0000090c: CALL
0000090d: POP
0000090e: POP
0000090f: DUP10
00000910: SLOAD
00000911: DUP10
00000912: EQ
00000913: ISZERO
00000914: SWAP3
00000915: POP
00000916: PUSH2 0x0940
00000919: SWAP2
0000091a: POP
0000091b: POP
0000091c: JUMPI
0000091d: PUSH1 0x01
0000091f: PUSH1 0xa0
00000921: PUSH1 0x02
00000923: EXP
00000924: SUB
00000925: CALLER
00000926: AND
00000927: PUSH1 0x00
00000929: SWAP1
0000092a: DUP2
0000092b: MSTORE
0000092c: PUSH1 0x20
0000092e: DUP2
0000092f: SWAP1
00000930: MSTORE
00000931: PUSH1 0x40
00000933: SWAP1
00000934: KECCAK256
00000935: PUSH1 0x01
00000937: ADD
00000938: DUP1
00000939: SLOAD
0000093a: PUSH1 0x00
0000093c: NOT
0000093d: ADD
0000093e: SWAP1
0000093f: SSTORE
00000940: JUMPDEST
00000941: PUSH1 0x01
00000943: PUSH1 0xa0
00000945: PUSH1 0x02
00000947: EXP
00000948: SUB
00000949: CALLER
0000094a: AND
0000094b: PUSH1 0x00
0000094d: SWAP1
0000094e: DUP2
0000094f: MSTORE
00000950: PUSH1 0x20
00000952: DUP2
00000953: SWAP1
00000954: MSTORE
00000955: PUSH1 0x40
00000957: SWAP1
00000958: KECCAK256
00000959: PUSH1 0x02
0000095b: ADD
0000095c: DUP1
0000095d: SLOAD
0000095e: DUP8
0000095f: SWAP2
00000960: SWAP1
00000961: DUP12
00000962: SWAP1
00000963: DUP2
00000964: LT
00000965: ISZERO
00000966: PUSH2 0x0002
00000969: JUMPI
0000096a: SWAP1
0000096b: PUSH1 0x00
0000096d: MSTORE
0000096e: PUSH1 0x20
00000970: PUSH1 0x00
00000972: KECCAK256
00000973: SWAP1
00000974: PUSH1 0x04
00000976: MUL
00000977: ADD
00000978: PUSH1 0x00
0000097a: POP
0000097b: DUP1
0000097c: SLOAD
0000097d: SWAP2
0000097e: SWAP1
0000097f: SWAP2
00000980: SUB
00000981: SWAP1
00000982: SSTORE
00000983: POP
00000984: POP
00000985: POP
00000986: POP
00000987: POP
00000988: POP
00000989: POP
0000098a: POP
0000098b: POP
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH1 0x01
00000990: PUSH1 0xa0
00000992: PUSH1 0x02
00000994: EXP
00000995: SUB
00000996: CALLER
00000997: DUP2
00000998: AND
00000999: PUSH1 0x00
0000099b: SWAP1
0000099c: DUP2
0000099d: MSTORE
0000099e: PUSH1 0x20
000009a0: DUP2
000009a1: SWAP1
000009a2: MSTORE
000009a3: PUSH1 0x40
000009a5: DUP2
000009a6: KECCAK256
000009a7: PUSH1 0x02
000009a9: ADD
000009aa: SWAP10
000009ab: POP
000009ac: ADDRESS
000009ad: SWAP1
000009ae: SWAP2
000009af: AND
000009b0: BALANCE
000009b1: SWAP8
000009b2: POP
000009b3: SWAP6
000009b4: POP
000009b5: JUMPDEST
000009b6: DUP8
000009b7: SLOAD
000009b8: DUP7
000009b9: LT
000009ba: ISZERO
000009bb: PUSH2 0x02cc
000009be: JUMPI
000009bf: DUP8
000009c0: DUP7
000009c1: DUP2
000009c2: SLOAD
000009c3: DUP2
000009c4: LT
000009c5: ISZERO
000009c6: PUSH2 0x0002
000009c9: JUMPI
000009ca: SWAP1
000009cb: PUSH1 0x00
000009cd: MSTORE
000009ce: PUSH1 0x20
000009d0: PUSH1 0x00
000009d2: KECCAK256
000009d3: SWAP1
000009d4: PUSH1 0x04
000009d6: MUL
000009d7: ADD
000009d8: PUSH1 0x00
000009da: POP
000009db: SLOAD
000009dc: SWAP5
000009dd: POP
000009de: PUSH1 0x00
000009e0: DUP6
000009e1: EQ
000009e2: DUP1
000009e3: PUSH2 0x0a0a
000009e6: JUMPI
000009e7: POP
000009e8: TIMESTAMP
000009e9: DUP9
000009ea: DUP8
000009eb: DUP2
000009ec: SLOAD
000009ed: DUP2
000009ee: LT
000009ef: ISZERO
000009f0: PUSH2 0x0002
000009f3: JUMPI
000009f4: SWAP1
000009f5: PUSH1 0x00
000009f7: MSTORE
000009f8: PUSH1 0x20
000009fa: PUSH1 0x00
000009fc: KECCAK256
000009fd: SWAP1
000009fe: PUSH1 0x04
00000a00: MUL
00000a01: ADD
00000a02: PUSH1 0x00
00000a04: POP
00000a05: PUSH1 0x03
00000a07: ADD
00000a08: SLOAD
00000a09: GT
00000a0a: JUMPDEST
00000a0b: ISZERO
00000a0c: PUSH2 0x0a1c
00000a0f: JUMPI
00000a10: JUMPDEST
00000a11: PUSH1 0x01
00000a13: SWAP6
00000a14: SWAP1
00000a15: SWAP6
00000a16: ADD
00000a17: SWAP5
00000a18: PUSH2 0x09b5
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: DUP8
00000a1e: DUP7
00000a1f: DUP2
00000a20: SLOAD
00000a21: DUP2
00000a22: LT
00000a23: ISZERO
00000a24: PUSH2 0x0002
00000a27: JUMPI
00000a28: SWAP1
00000a29: PUSH1 0x00
00000a2b: MSTORE
00000a2c: PUSH1 0x20
00000a2e: PUSH1 0x00
00000a30: KECCAK256
00000a31: SWAP1
00000a32: PUSH1 0x04
00000a34: MUL
00000a35: ADD
00000a36: PUSH1 0x00
00000a38: POP
00000a39: PUSH1 0x01
00000a3b: ADD
00000a3c: PUSH1 0x00
00000a3e: POP
00000a3f: SLOAD
00000a40: TIMESTAMP
00000a41: SUB
00000a42: SWAP4
00000a43: POP
00000a44: PUSH3 0x278d00
00000a48: PUSH1 0x64
00000a4a: DUP10
00000a4b: DUP9
00000a4c: DUP2
00000a4d: SLOAD
00000a4e: DUP2
00000a4f: LT
00000a50: ISZERO
00000a51: PUSH2 0x0002
00000a54: JUMPI
00000a55: SWAP1
00000a56: PUSH1 0x00
00000a58: MSTORE
00000a59: PUSH1 0x20
00000a5b: PUSH1 0x00
00000a5d: KECCAK256
00000a5e: SWAP1
00000a5f: PUSH1 0x04
00000a61: MUL
00000a62: ADD
00000a63: PUSH1 0x00
00000a65: POP
00000a66: PUSH1 0x02
00000a68: ADD
00000a69: SLOAD
00000a6a: DUP8
00000a6b: DUP8
00000a6c: MUL
00000a6d: MUL
00000a6e: DIV
00000a6f: DIV
00000a70: SWAP3
00000a71: POP
00000a72: DUP3
00000a73: DUP6
00000a74: ADD
00000a75: SWAP2
00000a76: POP
00000a77: DUP2
00000a78: DUP8
00000a79: LT
00000a7a: PUSH2 0x0a10
00000a7d: JUMPI
00000a7e: POP
00000a7f: PUSH1 0x01
00000a81: SLOAD
00000a82: PUSH1 0x40
00000a84: MLOAD
00000a85: PUSH1 0x64
00000a87: SWAP2
00000a88: DUP5
00000a89: MUL
00000a8a: SWAP2
00000a8b: SWAP1
00000a8c: SWAP2
00000a8d: DIV
00000a8e: SWAP1
00000a8f: PUSH1 0x01
00000a91: PUSH1 0xa0
00000a93: PUSH1 0x02
00000a95: EXP
00000a96: SUB
00000a97: CALLER
00000a98: AND
00000a99: SWAP1
00000a9a: PUSH1 0x00
00000a9c: SWAP1
00000a9d: DUP4
00000a9e: DUP6
00000a9f: SUB
00000aa0: SWAP1
00000aa1: DUP3
00000aa2: DUP2
00000aa3: DUP2
00000aa4: DUP2
00000aa5: DUP6
00000aa6: DUP9
00000aa7: DUP4
00000aa8: CALL
00000aa9: POP
00000aaa: PUSH1 0x04
00000aac: SLOAD
00000aad: PUSH1 0x01
00000aaf: PUSH1 0xa0
00000ab1: PUSH1 0x02
00000ab3: EXP
00000ab4: SUB
00000ab5: AND
00000ab6: SWAP4
00000ab7: POP
00000ab8: DUP5
00000ab9: SWAP2
00000aba: POP
00000abb: DUP3
00000abc: DUP2
00000abd: DUP2
00000abe: DUP2
00000abf: DUP6
00000ac0: DUP9
00000ac1: DUP4
00000ac2: CALL
00000ac3: POP
00000ac4: POP
00000ac5: POP
00000ac6: PUSH1 0x01
00000ac8: PUSH1 0xa0
00000aca: PUSH1 0x02
00000acc: EXP
00000acd: SUB
00000ace: CALLER
00000acf: AND
00000ad0: DUP2
00000ad1: MSTORE
00000ad2: PUSH1 0x20
00000ad4: DUP2
00000ad5: SWAP1
00000ad6: MSTORE
00000ad7: PUSH1 0x40
00000ad9: DUP2
00000ada: KECCAK256
00000adb: PUSH1 0x02
00000add: ADD
00000ade: DUP1
00000adf: SLOAD
00000ae0: SWAP2
00000ae1: SWAP3
00000ae2: POP
00000ae3: SWAP1
00000ae4: DUP9
00000ae5: SWAP1
00000ae6: DUP2
00000ae7: LT
00000ae8: ISZERO
00000ae9: PUSH2 0x0002
00000aec: JUMPI
00000aed: SWAP1
00000aee: PUSH1 0x00
00000af0: MSTORE
00000af1: PUSH1 0x20
00000af3: PUSH1 0x00
00000af5: KECCAK256
00000af6: SWAP1
00000af7: PUSH1 0x04
00000af9: MUL
00000afa: ADD
00000afb: PUSH1 0x00
00000afd: POP
00000afe: SSTORE
00000aff: PUSH1 0x01
00000b01: PUSH1 0xa0
00000b03: PUSH1 0x02
00000b05: EXP
00000b06: SUB
00000b07: CALLER
00000b08: AND
00000b09: PUSH1 0x00
00000b0b: SWAP1
00000b0c: DUP2
00000b0d: MSTORE
00000b0e: PUSH1 0x20
00000b10: DUP2
00000b11: SWAP1
00000b12: MSTORE
00000b13: PUSH1 0x40
00000b15: SWAP1
00000b16: KECCAK256
00000b17: PUSH1 0x01
00000b19: ADD
00000b1a: DUP1
00000b1b: SLOAD
00000b1c: PUSH1 0x00
00000b1e: NOT
00000b1f: ADD
00000b20: SWAP1
00000b21: SSTORE
00000b22: SWAP6
00000b23: DUP2
00000b24: SWAP1
00000b25: SUB
00000b26: SWAP6
00000b27: PUSH2 0x0a10
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: PUSH1 0x04
00000b2e: DUP1
00000b2f: SLOAD
00000b30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b45: NOT
00000b46: AND
00000b47: DUP4
00000b48: OR
00000b49: SWAP1
00000b4a: SSTORE
00000b4b: JUMPDEST
00000b4c: POP
00000b4d: POP
00000b4e: 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: 0x213988fe9976e7d80ad803a44033c5172a513509f4a7d42d605c76d9ca9648df
call_targets: 0x28dc763f96b8a585326c7f5b9e824d14dc8ed45b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x213988fe9976e7d80ad803a44033c5172a513509f4a7d42d605c76d9ca9648df",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x28dc763f96b8a585326c7f5b9e824d14dc8ed45b"
    ],
    "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": "0x0181fbc2",
            "selector": "0x0181fbc2",
            "calldata_variants": [
                "0x0181fbc2",
                "0x0181fbc20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x01e210b7",
            "selector": "0x01e210b7",
            "calldata_variants": [
                "0x01e210b7",
                "0x01e210b70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09e69ede",
            "selector": "0x09e69ede",
            "calldata_variants": [
                "0x09e69ede",
                "0x09e69ede0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d9df585",
            "selector": "0x1d9df585",
            "calldata_variants": [
                "0x1d9df585",
                "0x1d9df5850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4001c07f",
            "selector": "0x4001c07f",
            "calldata_variants": [
                "0x4001c07f",
                "0x4001c07f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4c1a4115",
            "selector": "0x4c1a4115",
            "calldata_variants": [
                "0x4c1a4115",
                "0x4c1a41150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5501576e",
            "selector": "0x5501576e",
            "calldata_variants": [
                "0x5501576e",
                "0x5501576e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x62b3f820",
            "selector": "0x62b3f820",
            "calldata_variants": [
                "0x62b3f820",
                "0x62b3f8200000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1030,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1522,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1939,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [],
    "untrusted_call_count": 7
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x213988fe9976e7d80ad803a44033c5172a513509f4a7d42d605c76d9ca9648df
call_targets: 0x28dc763f96b8a585326c7f5b9e824d14dc8ed45b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x213988fe9976e7d80ad803a44033c5172a513509f4a7d42d605c76d9ca9648df",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x28dc763f96b8a585326c7f5b9e824d14dc8ed45b"
    ],
    "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": "0x0181fbc2",
            "selector": "0x0181fbc2",
            "calldata_variants": [
                "0x0181fbc2",
                "0x0181fbc20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x01e210b7",
            "selector": "0x01e210b7",
            "calldata_variants": [
                "0x01e210b7",
                "0x01e210b70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09e69ede",
            "selector": "0x09e69ede",
            "calldata_variants": [
                "0x09e69ede",
                "0x09e69ede0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d9df585",
            "selector": "0x1d9df585",
            "calldata_variants": [
                "0x1d9df585",
                "0x1d9df5850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4001c07f",
            "selector": "0x4001c07f",
            "calldata_variants": [
                "0x4001c07f",
                "0x4001c07f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4c1a4115",
            "selector": "0x4c1a4115",
            "calldata_variants": [
                "0x4c1a4115",
                "0x4c1a41150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5501576e",
            "selector": "0x5501576e",
            "calldata_variants": [
                "0x5501576e",
                "0x5501576e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x62b3f820",
            "selector": "0x62b3f820",
            "calldata_variants": [
                "0x62b3f820",
                "0x62b3f8200000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1030,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1522,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1939,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}