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

Analysis Run

019b3836-3131-7247-9460-4664fedce44f

complete
Chain ID
1
Address
0x2982a1619c6553197d96c45a89e65a84068ecde2
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
2745 artifact.fetch complete 1 / 3 4 months ago
2746 tool.cast_disasm complete 1 / 3 4 months ago
80107 analysis.bundle complete 1 / 3 2 weeks ago
80108 capability.graph complete 1 / 3 2 weeks ago
80109 detector.run complete 1 / 3 2 weeks ago
80110 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
2250
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 0x72a67b32
00000072: EQ
00000073: PUSH2 0x024d
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x8da5cb5b
0000007d: EQ
0000007e: PUSH2 0x0276
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x920b1670
00000088: EQ
00000089: PUSH2 0x0288
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xc8d77ce0
00000093: EQ
00000094: PUSH2 0x02d3
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xed21248c
0000009e: EQ
0000009f: PUSH2 0x02dc
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xf4fd191b
000000a9: EQ
000000aa: PUSH2 0x0360
000000ad: JUMPI
000000ae: JUMPDEST
000000af: PUSH2 0x03a4
000000b2: PUSH2 0x03a6
000000b5: PUSH2 0x02e0
000000b8: JUMP
000000b9: JUMPDEST
000000ba: PUSH2 0x03a4
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 0x0411
000000d8: JUMPI
000000d9: PUSH1 0x01
000000db: SSTORE
000000dc: JUMP
000000dd: JUMPDEST
000000de: PUSH2 0x03a4
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 0x02c8
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 0x08cf
00000171: JUMPI
00000172: PUSH2 0x02c8
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 0x03a8
00000191: SWAP2
00000192: DUP3
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH2 0x03c1
00000198: PUSH1 0x02
0000019a: SLOAD
0000019b: DUP2
0000019c: JUMP
0000019d: JUMPDEST
0000019e: PUSH2 0x03a4
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 0x0411
000001bc: JUMPI
000001bd: PUSH1 0x02
000001bf: SSTORE
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH2 0x03c1
000001c5: PUSH1 0x01
000001c7: SLOAD
000001c8: DUP2
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH2 0x03a4
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 0x0b8d
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 0x0b6d
00000207: JUMPI
00000208: PUSH2 0x0b8d
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH2 0x03a4
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 0x0667
00000241: JUMPI
00000242: DUP6
00000243: ISZERO
00000244: ISZERO
00000245: PUSH2 0x0534
00000248: JUMPI
00000249: PUSH2 0x0667
0000024c: JUMP
0000024d: JUMPDEST
0000024e: PUSH2 0x03a4
00000251: PUSH1 0x04
00000253: CALLDATALOAD
00000254: PUSH1 0x04
00000256: SLOAD
00000257: PUSH1 0x01
00000259: PUSH1 0xa0
0000025b: PUSH1 0x02
0000025d: EXP
0000025e: SUB
0000025f: SWAP1
00000260: DUP2
00000261: AND
00000262: CALLER
00000263: SWAP2
00000264: SWAP1
00000265: SWAP2
00000266: AND
00000267: EQ
00000268: ISZERO
00000269: PUSH2 0x0411
0000026c: JUMPI
0000026d: PUSH3 0x015180
00000271: MUL
00000272: PUSH1 0x03
00000274: SSTORE
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x03d3
0000027a: PUSH1 0x04
0000027c: SLOAD
0000027d: PUSH1 0x01
0000027f: PUSH1 0xa0
00000281: PUSH1 0x02
00000283: EXP
00000284: SUB
00000285: AND
00000286: DUP2
00000287: JUMP
00000288: JUMPDEST
00000289: PUSH2 0x03a4
0000028c: PUSH1 0x04
0000028e: CALLDATALOAD
0000028f: PUSH1 0x01
00000291: PUSH1 0xa0
00000293: PUSH1 0x02
00000295: EXP
00000296: SUB
00000297: CALLER
00000298: AND
00000299: PUSH1 0x00
0000029b: SWAP1
0000029c: DUP2
0000029d: MSTORE
0000029e: PUSH1 0x20
000002a0: DUP2
000002a1: SWAP1
000002a2: MSTORE
000002a3: PUSH1 0x40
000002a5: DUP2
000002a6: KECCAK256
000002a7: PUSH1 0x01
000002a9: ADD
000002aa: SLOAD
000002ab: DUP2
000002ac: SWAP1
000002ad: DUP2
000002ae: SWAP1
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: GT
000002bc: ISZERO
000002bd: PUSH2 0x02c8
000002c0: JUMPI
000002c1: DUP9
000002c2: ISZERO
000002c3: ISZERO
000002c4: PUSH2 0x0670
000002c7: JUMPI
000002c8: JUMPDEST
000002c9: POP
000002ca: POP
000002cb: POP
000002cc: POP
000002cd: POP
000002ce: POP
000002cf: POP
000002d0: POP
000002d1: POP
000002d2: JUMP
000002d3: JUMPDEST
000002d4: PUSH2 0x03c1
000002d7: PUSH1 0x03
000002d9: SLOAD
000002da: DUP2
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH2 0x03a4
000002e0: JUMPDEST
000002e1: PUSH1 0x00
000002e3: PUSH7 0x038d7ea4c68000
000002eb: CALLVALUE
000002ec: LT
000002ed: PUSH2 0x03f0
000002f0: JUMPI
000002f1: PUSH1 0x01
000002f3: PUSH1 0xa0
000002f5: PUSH1 0x02
000002f7: EXP
000002f8: SUB
000002f9: CALLER
000002fa: AND
000002fb: DUP2
000002fc: MSTORE
000002fd: PUSH1 0x20
000002ff: DUP2
00000300: SWAP1
00000301: MSTORE
00000302: PUSH1 0x40
00000304: SWAP1
00000305: KECCAK256
00000306: PUSH1 0x02
00000308: ADD
00000309: DUP1
0000030a: SLOAD
0000030b: PUSH1 0x01
0000030d: DUP2
0000030e: ADD
0000030f: DUP1
00000310: DUP4
00000311: SSTORE
00000312: SWAP1
00000313: SWAP2
00000314: DUP2
00000315: DUP4
00000316: DUP1
00000317: ISZERO
00000318: DUP3
00000319: SWAP1
0000031a: GT
0000031b: PUSH2 0x0414
0000031e: JUMPI
0000031f: PUSH1 0x04
00000321: MUL
00000322: DUP2
00000323: PUSH1 0x04
00000325: MUL
00000326: DUP4
00000327: PUSH1 0x00
00000329: MSTORE
0000032a: PUSH1 0x20
0000032c: PUSH1 0x00
0000032e: KECCAK256
0000032f: SWAP2
00000330: DUP3
00000331: ADD
00000332: SWAP2
00000333: ADD
00000334: PUSH2 0x0414
00000337: SWAP2
00000338: SWAP1
00000339: JUMPDEST
0000033a: DUP1
0000033b: DUP3
0000033c: GT
0000033d: ISZERO
0000033e: PUSH2 0x0530
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: DUP3
00000346: SSTORE
00000347: PUSH1 0x01
00000349: DUP3
0000034a: ADD
0000034b: DUP2
0000034c: DUP2
0000034d: SSTORE
0000034e: PUSH1 0x02
00000350: DUP4
00000351: ADD
00000352: DUP3
00000353: SWAP1
00000354: SSTORE
00000355: PUSH1 0x03
00000357: SWAP3
00000358: SWAP1
00000359: SWAP3
0000035a: ADD
0000035b: SSTORE
0000035c: PUSH2 0x0339
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x03a4
00000364: PUSH1 0x04
00000366: CALLDATALOAD
00000367: PUSH1 0x01
00000369: PUSH1 0xa0
0000036b: PUSH1 0x02
0000036d: EXP
0000036e: SUB
0000036f: CALLER
00000370: AND
00000371: PUSH1 0x00
00000373: SWAP1
00000374: DUP2
00000375: MSTORE
00000376: PUSH1 0x20
00000378: DUP2
00000379: SWAP1
0000037a: MSTORE
0000037b: PUSH1 0x40
0000037d: DUP2
0000037e: KECCAK256
0000037f: PUSH1 0x01
00000381: ADD
00000382: SLOAD
00000383: DUP2
00000384: SWAP1
00000385: DUP2
00000386: SWAP1
00000387: DUP2
00000388: SWAP1
00000389: DUP2
0000038a: SWAP1
0000038b: DUP2
0000038c: SWAP1
0000038d: DUP2
0000038e: SWAP1
0000038f: DUP2
00000390: SWAP1
00000391: DUP2
00000392: SWAP1
00000393: GT
00000394: ISZERO
00000395: PUSH2 0x02c8
00000398: JUMPI
00000399: DUP9
0000039a: ISZERO
0000039b: ISZERO
0000039c: PUSH2 0x09cf
0000039f: JUMPI
000003a0: PUSH2 0x02c8
000003a3: JUMP
000003a4: JUMPDEST
000003a5: STOP
000003a6: JUMPDEST
000003a7: JUMP
000003a8: JUMPDEST
000003a9: PUSH1 0x40
000003ab: DUP1
000003ac: MLOAD
000003ad: SWAP3
000003ae: DUP4
000003af: MSTORE
000003b0: PUSH1 0x20
000003b2: DUP4
000003b3: ADD
000003b4: SWAP2
000003b5: SWAP1
000003b6: SWAP2
000003b7: MSTORE
000003b8: DUP1
000003b9: MLOAD
000003ba: SWAP2
000003bb: DUP3
000003bc: SWAP1
000003bd: SUB
000003be: ADD
000003bf: SWAP1
000003c0: RETURN
000003c1: JUMPDEST
000003c2: PUSH1 0x40
000003c4: DUP1
000003c5: MLOAD
000003c6: SWAP2
000003c7: DUP3
000003c8: MSTORE
000003c9: MLOAD
000003ca: SWAP1
000003cb: DUP2
000003cc: SWAP1
000003cd: SUB
000003ce: PUSH1 0x20
000003d0: ADD
000003d1: SWAP1
000003d2: RETURN
000003d3: JUMPDEST
000003d4: PUSH1 0x40
000003d6: DUP1
000003d7: MLOAD
000003d8: PUSH1 0x01
000003da: PUSH1 0xa0
000003dc: PUSH1 0x02
000003de: EXP
000003df: SUB
000003e0: SWAP3
000003e1: SWAP1
000003e2: SWAP3
000003e3: AND
000003e4: DUP3
000003e5: MSTORE
000003e6: MLOAD
000003e7: SWAP1
000003e8: DUP2
000003e9: SWAP1
000003ea: SUB
000003eb: PUSH1 0x20
000003ed: ADD
000003ee: SWAP1
000003ef: RETURN
000003f0: JUMPDEST
000003f1: PUSH1 0x40
000003f3: MLOAD
000003f4: PUSH1 0x01
000003f6: PUSH1 0xa0
000003f8: PUSH1 0x02
000003fa: EXP
000003fb: SUB
000003fc: CALLER
000003fd: AND
000003fe: SWAP1
000003ff: PUSH1 0x00
00000401: SWAP1
00000402: CALLVALUE
00000403: SWAP1
00000404: DUP3
00000405: DUP2
00000406: DUP2
00000407: DUP2
00000408: DUP6
00000409: DUP9
0000040a: DUP4
0000040b: CALL
0000040c: POP
0000040d: POP
0000040e: POP
0000040f: POP
00000410: POP
00000411: JUMPDEST
00000412: POP
00000413: JUMP
00000414: JUMPDEST
00000415: POP
00000416: POP
00000417: POP
00000418: PUSH1 0x01
0000041a: PUSH1 0xa0
0000041c: PUSH1 0x02
0000041e: EXP
0000041f: SUB
00000420: CALLER
00000421: AND
00000422: PUSH1 0x00
00000424: SWAP1
00000425: DUP2
00000426: MSTORE
00000427: PUSH1 0x20
00000429: DUP2
0000042a: SWAP1
0000042b: MSTORE
0000042c: PUSH1 0x40
0000042e: SWAP1
0000042f: KECCAK256
00000430: DUP1
00000431: SLOAD
00000432: PUSH1 0x01
00000434: SWAP1
00000435: DUP2
00000436: ADD
00000437: DUP3
00000438: SSTORE
00000439: DUP2
0000043a: DUP2
0000043b: ADD
0000043c: DUP1
0000043d: SLOAD
0000043e: SWAP1
0000043f: SWAP2
00000440: ADD
00000441: SWAP1
00000442: SSTORE
00000443: PUSH1 0x02
00000445: ADD
00000446: DUP1
00000447: SLOAD
00000448: CALLVALUE
00000449: SWAP3
0000044a: POP
0000044b: DUP4
0000044c: SWAP1
0000044d: DUP2
0000044e: LT
0000044f: ISZERO
00000450: PUSH2 0x0002
00000453: JUMPI
00000454: SWAP1
00000455: PUSH1 0x00
00000457: MSTORE
00000458: PUSH1 0x20
0000045a: PUSH1 0x00
0000045c: KECCAK256
0000045d: SWAP1
0000045e: PUSH1 0x04
00000460: MUL
00000461: ADD
00000462: PUSH1 0x00
00000464: POP
00000465: SSTORE
00000466: PUSH1 0x01
00000468: PUSH1 0xa0
0000046a: PUSH1 0x02
0000046c: EXP
0000046d: SUB
0000046e: CALLER
0000046f: AND
00000470: PUSH1 0x00
00000472: SWAP1
00000473: DUP2
00000474: MSTORE
00000475: PUSH1 0x20
00000477: DUP2
00000478: SWAP1
00000479: MSTORE
0000047a: PUSH1 0x40
0000047c: SWAP1
0000047d: KECCAK256
0000047e: PUSH1 0x02
00000480: ADD
00000481: DUP1
00000482: SLOAD
00000483: TIMESTAMP
00000484: SWAP2
00000485: SWAP1
00000486: DUP4
00000487: SWAP1
00000488: DUP2
00000489: LT
0000048a: ISZERO
0000048b: PUSH2 0x0002
0000048e: JUMPI
0000048f: SWAP1
00000490: PUSH1 0x00
00000492: MSTORE
00000493: PUSH1 0x20
00000495: PUSH1 0x00
00000497: KECCAK256
00000498: SWAP1
00000499: PUSH1 0x04
0000049b: MUL
0000049c: ADD
0000049d: PUSH1 0x00
0000049f: POP
000004a0: PUSH1 0x01
000004a2: ADD
000004a3: SSTORE
000004a4: PUSH1 0x02
000004a6: DUP1
000004a7: SLOAD
000004a8: PUSH1 0x01
000004aa: PUSH1 0xa0
000004ac: PUSH1 0x02
000004ae: EXP
000004af: SUB
000004b0: CALLER
000004b1: AND
000004b2: PUSH1 0x00
000004b4: SWAP1
000004b5: DUP2
000004b6: MSTORE
000004b7: PUSH1 0x20
000004b9: DUP2
000004ba: SWAP1
000004bb: MSTORE
000004bc: PUSH1 0x40
000004be: SWAP1
000004bf: KECCAK256
000004c0: SWAP1
000004c1: SWAP2
000004c2: ADD
000004c3: DUP1
000004c4: SLOAD
000004c5: DUP4
000004c6: SWAP1
000004c7: DUP2
000004c8: LT
000004c9: ISZERO
000004ca: PUSH2 0x0002
000004cd: JUMPI
000004ce: SWAP1
000004cf: PUSH1 0x00
000004d1: MSTORE
000004d2: PUSH1 0x20
000004d4: PUSH1 0x00
000004d6: KECCAK256
000004d7: SWAP1
000004d8: PUSH1 0x04
000004da: MUL
000004db: ADD
000004dc: PUSH1 0x00
000004de: POP
000004df: PUSH1 0x02
000004e1: SWAP1
000004e2: DUP2
000004e3: ADD
000004e4: SWAP2
000004e5: SWAP1
000004e6: SWAP2
000004e7: SSTORE
000004e8: PUSH1 0x03
000004ea: SLOAD
000004eb: PUSH1 0x01
000004ed: PUSH1 0xa0
000004ef: PUSH1 0x02
000004f1: EXP
000004f2: SUB
000004f3: CALLER
000004f4: AND
000004f5: PUSH1 0x00
000004f7: SWAP1
000004f8: DUP2
000004f9: MSTORE
000004fa: PUSH1 0x20
000004fc: DUP2
000004fd: SWAP1
000004fe: MSTORE
000004ff: PUSH1 0x40
00000501: SWAP1
00000502: KECCAK256
00000503: SWAP1
00000504: SWAP2
00000505: ADD
00000506: DUP1
00000507: SLOAD
00000508: TIMESTAMP
00000509: SWAP3
0000050a: SWAP1
0000050b: SWAP3
0000050c: ADD
0000050d: SWAP2
0000050e: DUP4
0000050f: SWAP1
00000510: DUP2
00000511: LT
00000512: ISZERO
00000513: PUSH2 0x0002
00000516: JUMPI
00000517: SWAP1
00000518: PUSH1 0x00
0000051a: MSTORE
0000051b: PUSH1 0x20
0000051d: PUSH1 0x00
0000051f: KECCAK256
00000520: SWAP1
00000521: PUSH1 0x04
00000523: MUL
00000524: ADD
00000525: PUSH1 0x00
00000527: POP
00000528: PUSH1 0x03
0000052a: ADD
0000052b: SSTORE
0000052c: PUSH2 0x0411
0000052f: JUMP
00000530: JUMPDEST
00000531: POP
00000532: SWAP1
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH1 0x01
00000537: PUSH1 0xa0
00000539: PUSH1 0x02
0000053b: EXP
0000053c: SUB
0000053d: CALLER
0000053e: AND
0000053f: PUSH1 0x00
00000541: SWAP1
00000542: DUP2
00000543: MSTORE
00000544: PUSH1 0x20
00000546: DUP2
00000547: SWAP1
00000548: MSTORE
00000549: PUSH1 0x40
0000054b: SWAP1
0000054c: KECCAK256
0000054d: PUSH1 0x02
0000054f: ADD
00000550: DUP1
00000551: SLOAD
00000552: PUSH1 0x00
00000554: NOT
00000555: SWAP9
00000556: SWAP1
00000557: SWAP9
00000558: ADD
00000559: SWAP8
0000055a: DUP9
0000055b: SWAP1
0000055c: DUP2
0000055d: LT
0000055e: ISZERO
0000055f: PUSH2 0x0002
00000562: JUMPI
00000563: POP
00000564: PUSH1 0x00
00000566: SWAP1
00000567: DUP2
00000568: MSTORE
00000569: PUSH1 0x20
0000056b: DUP2
0000056c: KECCAK256
0000056d: PUSH1 0x04
0000056f: DUP10
00000570: MUL
00000571: ADD
00000572: DUP1
00000573: SLOAD
00000574: SWAP1
00000575: SWAP7
00000576: POP
00000577: EQ
00000578: DUP1
00000579: PUSH2 0x0586
0000057c: JUMPI
0000057d: POP
0000057e: PUSH1 0x03
00000580: DUP6
00000581: ADD
00000582: SLOAD
00000583: TIMESTAMP
00000584: SWAP1
00000585: GT
00000586: JUMPDEST
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH2 0x0667
0000058f: JUMP
00000590: JUMPDEST
00000591: PUSH1 0x01
00000593: DUP1
00000594: SLOAD
00000595: SWAP1
00000596: DUP7
00000597: ADD
00000598: SLOAD
00000599: PUSH1 0x02
0000059b: DUP8
0000059c: ADD
0000059d: SLOAD
0000059e: DUP8
0000059f: SLOAD
000005a0: TIMESTAMP
000005a1: SWAP3
000005a2: SWAP1
000005a3: SWAP3
000005a4: SUB
000005a5: SWAP7
000005a6: POP
000005a7: PUSH3 0x278d00
000005ab: PUSH1 0x64
000005ad: SWAP3
000005ae: DUP9
000005af: MUL
000005b0: SWAP1
000005b1: SWAP2
000005b2: MUL
000005b3: DUP3
000005b4: SWAP1
000005b5: DIV
000005b6: DIV
000005b7: SWAP5
000005b8: POP
000005b9: SWAP1
000005ba: DUP5
000005bb: MUL
000005bc: DIV
000005bd: SWAP2
000005be: POP
000005bf: ADDRESS
000005c0: PUSH1 0x01
000005c2: PUSH1 0xa0
000005c4: PUSH1 0x02
000005c6: EXP
000005c7: SUB
000005c8: AND
000005c9: BALANCE
000005ca: DUP3
000005cb: SWAP1
000005cc: LT
000005cd: PUSH2 0x0667
000005d0: JUMPI
000005d1: POP
000005d2: PUSH1 0x04
000005d4: SLOAD
000005d5: PUSH1 0x40
000005d7: MLOAD
000005d8: DUP6
000005d9: SLOAD
000005da: DUP5
000005db: ADD
000005dc: SWAP2
000005dd: PUSH1 0x01
000005df: PUSH1 0xa0
000005e1: PUSH1 0x02
000005e3: EXP
000005e4: SUB
000005e5: AND
000005e6: SWAP1
000005e7: PUSH1 0x00
000005e9: SWAP1
000005ea: DUP5
000005eb: SWAP1
000005ec: DUP3
000005ed: DUP2
000005ee: DUP2
000005ef: DUP2
000005f0: DUP6
000005f1: DUP9
000005f2: DUP4
000005f3: CALL
000005f4: POP
000005f5: POP
000005f6: POP
000005f7: DUP4
000005f8: DUP4
000005f9: SUB
000005fa: DUP8
000005fb: SSTORE
000005fc: TIMESTAMP
000005fd: PUSH1 0x01
000005ff: DUP9
00000600: ADD
00000601: DUP2
00000602: SWAP1
00000603: SSTORE
00000604: PUSH1 0x03
00000606: DUP1
00000607: SLOAD
00000608: SWAP1
00000609: SWAP2
0000060a: ADD
0000060b: SWAP1
0000060c: DUP9
0000060d: ADD
0000060e: SSTORE
0000060f: PUSH1 0x01
00000611: PUSH1 0xa0
00000613: PUSH1 0x02
00000615: EXP
00000616: SUB
00000617: CALLER
00000618: AND
00000619: DUP2
0000061a: MSTORE
0000061b: PUSH1 0x20
0000061d: DUP2
0000061e: SWAP1
0000061f: MSTORE
00000620: PUSH1 0x40
00000622: SWAP1
00000623: KECCAK256
00000624: PUSH1 0x02
00000626: ADD
00000627: DUP1
00000628: SLOAD
00000629: DUP8
0000062a: SWAP3
0000062b: POP
0000062c: DUP10
0000062d: SWAP1
0000062e: DUP2
0000062f: LT
00000630: ISZERO
00000631: PUSH2 0x0002
00000634: JUMPI
00000635: SWAP1
00000636: PUSH1 0x00
00000638: MSTORE
00000639: PUSH1 0x20
0000063b: PUSH1 0x00
0000063d: KECCAK256
0000063e: SWAP1
0000063f: PUSH1 0x04
00000641: MUL
00000642: ADD
00000643: PUSH1 0x00
00000645: POP
00000646: DUP2
00000647: SLOAD
00000648: DUP2
00000649: SSTORE
0000064a: PUSH1 0x01
0000064c: DUP3
0000064d: DUP2
0000064e: ADD
0000064f: SLOAD
00000650: SWAP1
00000651: DUP3
00000652: ADD
00000653: SSTORE
00000654: PUSH1 0x02
00000656: DUP3
00000657: DUP2
00000658: ADD
00000659: SLOAD
0000065a: SWAP1
0000065b: DUP3
0000065c: ADD
0000065d: SSTORE
0000065e: PUSH1 0x03
00000660: SWAP2
00000661: DUP3
00000662: ADD
00000663: SLOAD
00000664: SWAP2
00000665: ADD
00000666: SSTORE
00000667: JUMPDEST
00000668: POP
00000669: POP
0000066a: POP
0000066b: POP
0000066c: POP
0000066d: POP
0000066e: POP
0000066f: JUMP
00000670: JUMPDEST
00000671: PUSH1 0x01
00000673: PUSH1 0xa0
00000675: PUSH1 0x02
00000677: EXP
00000678: SUB
00000679: CALLER
0000067a: DUP2
0000067b: AND
0000067c: PUSH1 0x00
0000067e: SWAP1
0000067f: DUP2
00000680: MSTORE
00000681: PUSH1 0x20
00000683: DUP2
00000684: SWAP1
00000685: MSTORE
00000686: PUSH1 0x40
00000688: DUP2
00000689: KECCAK256
0000068a: PUSH1 0x02
0000068c: ADD
0000068d: SWAP10
0000068e: POP
0000068f: ADDRESS
00000690: SWAP1
00000691: SWAP2
00000692: AND
00000693: BALANCE
00000694: SWAP8
00000695: POP
00000696: SWAP6
00000697: POP
00000698: JUMPDEST
00000699: DUP8
0000069a: SLOAD
0000069b: DUP7
0000069c: LT
0000069d: ISZERO
0000069e: PUSH2 0x02c8
000006a1: JUMPI
000006a2: DUP8
000006a3: DUP7
000006a4: DUP2
000006a5: SLOAD
000006a6: DUP2
000006a7: LT
000006a8: ISZERO
000006a9: PUSH2 0x0002
000006ac: JUMPI
000006ad: SWAP1
000006ae: PUSH1 0x00
000006b0: MSTORE
000006b1: PUSH1 0x20
000006b3: PUSH1 0x00
000006b5: KECCAK256
000006b6: SWAP1
000006b7: PUSH1 0x04
000006b9: MUL
000006ba: ADD
000006bb: PUSH1 0x00
000006bd: POP
000006be: SLOAD
000006bf: SWAP5
000006c0: POP
000006c1: PUSH1 0x00
000006c3: DUP6
000006c4: EQ
000006c5: DUP1
000006c6: PUSH2 0x06ed
000006c9: JUMPI
000006ca: POP
000006cb: TIMESTAMP
000006cc: DUP9
000006cd: DUP8
000006ce: DUP2
000006cf: SLOAD
000006d0: DUP2
000006d1: LT
000006d2: ISZERO
000006d3: PUSH2 0x0002
000006d6: JUMPI
000006d7: SWAP1
000006d8: PUSH1 0x00
000006da: MSTORE
000006db: PUSH1 0x20
000006dd: PUSH1 0x00
000006df: KECCAK256
000006e0: SWAP1
000006e1: PUSH1 0x04
000006e3: MUL
000006e4: ADD
000006e5: PUSH1 0x00
000006e7: POP
000006e8: PUSH1 0x03
000006ea: ADD
000006eb: SLOAD
000006ec: GT
000006ed: JUMPDEST
000006ee: ISZERO
000006ef: PUSH2 0x06ff
000006f2: JUMPI
000006f3: JUMPDEST
000006f4: PUSH1 0x01
000006f6: SWAP6
000006f7: SWAP1
000006f8: SWAP6
000006f9: ADD
000006fa: SWAP5
000006fb: PUSH2 0x0698
000006fe: JUMP
000006ff: JUMPDEST
00000700: DUP8
00000701: DUP7
00000702: DUP2
00000703: SLOAD
00000704: DUP2
00000705: LT
00000706: ISZERO
00000707: PUSH2 0x0002
0000070a: JUMPI
0000070b: SWAP1
0000070c: PUSH1 0x00
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: PUSH1 0x00
00000713: KECCAK256
00000714: SWAP1
00000715: PUSH1 0x04
00000717: MUL
00000718: ADD
00000719: PUSH1 0x00
0000071b: POP
0000071c: PUSH1 0x01
0000071e: ADD
0000071f: PUSH1 0x00
00000721: POP
00000722: SLOAD
00000723: TIMESTAMP
00000724: SUB
00000725: SWAP4
00000726: POP
00000727: PUSH3 0x278d00
0000072b: PUSH1 0x64
0000072d: DUP10
0000072e: DUP9
0000072f: DUP2
00000730: SLOAD
00000731: DUP2
00000732: LT
00000733: ISZERO
00000734: PUSH2 0x0002
00000737: JUMPI
00000738: PUSH1 0x01
0000073a: SLOAD
0000073b: PUSH1 0x20
0000073d: PUSH1 0x00
0000073f: KECCAK256
00000740: PUSH1 0x04
00000742: SWAP3
00000743: SWAP1
00000744: SWAP3
00000745: MUL
00000746: SWAP1
00000747: SWAP2
00000748: ADD
00000749: PUSH1 0x02
0000074b: ADD
0000074c: SLOAD
0000074d: DUP10
0000074e: DUP10
0000074f: MUL
00000750: MUL
00000751: DUP4
00000752: SWAP1
00000753: DIV
00000754: SWAP4
00000755: SWAP1
00000756: SWAP4
00000757: DIV
00000758: SWAP6
00000759: POP
0000075a: POP
0000075b: SWAP1
0000075c: DUP5
0000075d: MUL
0000075e: DIV
0000075f: SWAP2
00000760: POP
00000761: DUP2
00000762: DUP8
00000763: LT
00000764: PUSH2 0x06f3
00000767: JUMPI
00000768: POP
00000769: PUSH1 0x04
0000076b: SLOAD
0000076c: PUSH1 0x40
0000076e: MLOAD
0000076f: DUP6
00000770: DUP5
00000771: ADD
00000772: SWAP2
00000773: PUSH1 0x01
00000775: PUSH1 0xa0
00000777: PUSH1 0x02
00000779: EXP
0000077a: SUB
0000077b: AND
0000077c: SWAP1
0000077d: PUSH1 0x00
0000077f: SWAP1
00000780: DUP5
00000781: SWAP1
00000782: DUP3
00000783: DUP2
00000784: DUP2
00000785: DUP2
00000786: DUP6
00000787: DUP9
00000788: DUP4
00000789: CALL
0000078a: SWAP4
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: POP
00000790: DUP2
00000791: DUP2
00000792: SUB
00000793: DUP9
00000794: DUP8
00000795: DUP2
00000796: SLOAD
00000797: DUP2
00000798: LT
00000799: ISZERO
0000079a: PUSH2 0x0002
0000079d: JUMPI
0000079e: SWAP1
0000079f: PUSH1 0x00
000007a1: MSTORE
000007a2: PUSH1 0x20
000007a4: PUSH1 0x00
000007a6: KECCAK256
000007a7: SWAP1
000007a8: PUSH1 0x04
000007aa: MUL
000007ab: ADD
000007ac: PUSH1 0x00
000007ae: POP
000007af: SSTORE
000007b0: DUP8
000007b1: SLOAD
000007b2: TIMESTAMP
000007b3: SWAP1
000007b4: DUP10
000007b5: SWAP1
000007b6: DUP9
000007b7: SWAP1
000007b8: DUP2
000007b9: LT
000007ba: ISZERO
000007bb: PUSH2 0x0002
000007be: JUMPI
000007bf: SWAP1
000007c0: PUSH1 0x00
000007c2: MSTORE
000007c3: PUSH1 0x20
000007c5: PUSH1 0x00
000007c7: KECCAK256
000007c8: SWAP1
000007c9: PUSH1 0x04
000007cb: MUL
000007cc: ADD
000007cd: PUSH1 0x00
000007cf: POP
000007d0: PUSH1 0x01
000007d2: ADD
000007d3: SSTORE
000007d4: PUSH1 0x03
000007d6: SLOAD
000007d7: DUP9
000007d8: SLOAD
000007d9: TIMESTAMP
000007da: SWAP2
000007db: SWAP1
000007dc: SWAP2
000007dd: ADD
000007de: SWAP1
000007df: DUP10
000007e0: SWAP1
000007e1: DUP9
000007e2: SWAP1
000007e3: DUP2
000007e4: LT
000007e5: ISZERO
000007e6: PUSH2 0x0002
000007e9: JUMPI
000007ea: SWAP1
000007eb: PUSH1 0x00
000007ed: MSTORE
000007ee: PUSH1 0x20
000007f0: PUSH1 0x00
000007f2: KECCAK256
000007f3: SWAP1
000007f4: PUSH1 0x04
000007f6: MUL
000007f7: ADD
000007f8: PUSH1 0x00
000007fa: POP
000007fb: PUSH1 0x03
000007fd: ADD
000007fe: SSTORE
000007ff: DUP8
00000800: SLOAD
00000801: DUP9
00000802: SWAP1
00000803: DUP8
00000804: SWAP1
00000805: DUP2
00000806: LT
00000807: ISZERO
00000808: PUSH2 0x0002
0000080b: JUMPI
0000080c: SWAP1
0000080d: PUSH1 0x00
0000080f: MSTORE
00000810: PUSH1 0x20
00000812: PUSH1 0x00
00000814: KECCAK256
00000815: SWAP1
00000816: PUSH1 0x04
00000818: MUL
00000819: ADD
0000081a: PUSH1 0x00
0000081c: POP
0000081d: PUSH1 0x02
0000081f: DUP1
00000820: SLOAD
00000821: SWAP2
00000822: ADD
00000823: SLOAD
00000824: SWAP1
00000825: GT
00000826: ISZERO
00000827: PUSH2 0x0851
0000082a: JUMPI
0000082b: PUSH1 0x02
0000082d: PUSH1 0x00
0000082f: POP
00000830: SLOAD
00000831: DUP9
00000832: DUP8
00000833: DUP2
00000834: SLOAD
00000835: DUP2
00000836: LT
00000837: ISZERO
00000838: PUSH2 0x0002
0000083b: JUMPI
0000083c: SWAP1
0000083d: PUSH1 0x00
0000083f: MSTORE
00000840: PUSH1 0x20
00000842: PUSH1 0x00
00000844: KECCAK256
00000845: SWAP1
00000846: PUSH1 0x04
00000848: MUL
00000849: ADD
0000084a: PUSH1 0x00
0000084c: POP
0000084d: PUSH1 0x02
0000084f: ADD
00000850: SSTORE
00000851: JUMPDEST
00000852: DUP8
00000853: DUP7
00000854: DUP2
00000855: SLOAD
00000856: DUP2
00000857: LT
00000858: ISZERO
00000859: PUSH2 0x0002
0000085c: JUMPI
0000085d: SWAP1
0000085e: PUSH1 0x00
00000860: MSTORE
00000861: PUSH1 0x20
00000863: PUSH1 0x00
00000865: KECCAK256
00000866: SWAP1
00000867: PUSH1 0x04
00000869: MUL
0000086a: ADD
0000086b: PUSH1 0x00
0000086d: POP
0000086e: PUSH1 0x01
00000870: PUSH1 0xa0
00000872: PUSH1 0x02
00000874: EXP
00000875: SUB
00000876: CALLER
00000877: AND
00000878: PUSH1 0x00
0000087a: SWAP1
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x20
0000087f: DUP2
00000880: SWAP1
00000881: MSTORE
00000882: PUSH1 0x40
00000884: SWAP1
00000885: KECCAK256
00000886: PUSH1 0x02
00000888: ADD
00000889: DUP1
0000088a: SLOAD
0000088b: DUP9
0000088c: SWAP1
0000088d: DUP2
0000088e: LT
0000088f: ISZERO
00000890: PUSH2 0x0002
00000893: JUMPI
00000894: SWAP1
00000895: PUSH1 0x00
00000897: MSTORE
00000898: PUSH1 0x20
0000089a: PUSH1 0x00
0000089c: KECCAK256
0000089d: SWAP1
0000089e: PUSH1 0x04
000008a0: MUL
000008a1: ADD
000008a2: PUSH1 0x00
000008a4: POP
000008a5: DUP2
000008a6: SLOAD
000008a7: DUP2
000008a8: SSTORE
000008a9: PUSH1 0x01
000008ab: DUP3
000008ac: DUP2
000008ad: ADD
000008ae: SLOAD
000008af: SWAP1
000008b0: DUP3
000008b1: ADD
000008b2: SSTORE
000008b3: PUSH1 0x02
000008b5: DUP3
000008b6: DUP2
000008b7: ADD
000008b8: SLOAD
000008b9: SWAP1
000008ba: DUP3
000008bb: ADD
000008bc: SSTORE
000008bd: PUSH1 0x03
000008bf: SWAP2
000008c0: DUP3
000008c1: ADD
000008c2: SLOAD
000008c3: SWAP2
000008c4: ADD
000008c5: SSTORE
000008c6: SWAP6
000008c7: DUP2
000008c8: SWAP1
000008c9: SUB
000008ca: SWAP6
000008cb: PUSH2 0x06f3
000008ce: JUMP
000008cf: JUMPDEST
000008d0: DUP7
000008d1: PUSH1 0x01
000008d3: ADD
000008d4: PUSH1 0x00
000008d6: POP
000008d7: SLOAD
000008d8: TIMESTAMP
000008d9: SUB
000008da: SWAP4
000008db: POP
000008dc: PUSH3 0x278d00
000008e0: PUSH1 0x64
000008e2: DUP9
000008e3: PUSH1 0x02
000008e5: ADD
000008e6: PUSH1 0x00
000008e8: POP
000008e9: SLOAD
000008ea: DUP7
000008eb: DUP10
000008ec: MUL
000008ed: MUL
000008ee: DIV
000008ef: DIV
000008f0: SWAP3
000008f1: POP
000008f2: DUP3
000008f3: DUP7
000008f4: ADD
000008f5: SWAP2
000008f6: POP
000008f7: DUP2
000008f8: ADDRESS
000008f9: PUSH1 0x01
000008fb: PUSH1 0xa0
000008fd: PUSH1 0x02
000008ff: EXP
00000900: SUB
00000901: AND
00000902: BALANCE
00000903: LT
00000904: ISZERO
00000905: ISZERO
00000906: PUSH2 0x02c8
00000909: JUMPI
0000090a: POP
0000090b: PUSH1 0x01
0000090d: SLOAD
0000090e: PUSH1 0x40
00000910: MLOAD
00000911: PUSH1 0x64
00000913: SWAP2
00000914: DUP5
00000915: MUL
00000916: SWAP2
00000917: SWAP1
00000918: SWAP2
00000919: DIV
0000091a: SWAP1
0000091b: PUSH1 0x01
0000091d: PUSH1 0xa0
0000091f: PUSH1 0x02
00000921: EXP
00000922: SUB
00000923: CALLER
00000924: AND
00000925: SWAP1
00000926: PUSH1 0x00
00000928: SWAP1
00000929: DUP4
0000092a: DUP6
0000092b: SUB
0000092c: SWAP1
0000092d: DUP3
0000092e: DUP2
0000092f: DUP2
00000930: DUP2
00000931: DUP6
00000932: DUP9
00000933: DUP4
00000934: CALL
00000935: POP
00000936: PUSH1 0x04
00000938: SLOAD
00000939: PUSH1 0x01
0000093b: PUSH1 0xa0
0000093d: PUSH1 0x02
0000093f: EXP
00000940: SUB
00000941: AND
00000942: SWAP4
00000943: POP
00000944: DUP5
00000945: SWAP2
00000946: POP
00000947: DUP3
00000948: DUP2
00000949: DUP2
0000094a: DUP2
0000094b: DUP6
0000094c: DUP9
0000094d: DUP4
0000094e: CALL
0000094f: POP
00000950: POP
00000951: DUP10
00000952: SLOAD
00000953: DUP10
00000954: EQ
00000955: ISZERO
00000956: SWAP3
00000957: POP
00000958: PUSH2 0x0982
0000095b: SWAP2
0000095c: POP
0000095d: POP
0000095e: JUMPI
0000095f: PUSH1 0x01
00000961: PUSH1 0xa0
00000963: PUSH1 0x02
00000965: EXP
00000966: SUB
00000967: CALLER
00000968: AND
00000969: PUSH1 0x00
0000096b: SWAP1
0000096c: DUP2
0000096d: MSTORE
0000096e: PUSH1 0x20
00000970: DUP2
00000971: SWAP1
00000972: MSTORE
00000973: PUSH1 0x40
00000975: SWAP1
00000976: KECCAK256
00000977: PUSH1 0x01
00000979: ADD
0000097a: DUP1
0000097b: SLOAD
0000097c: PUSH1 0x00
0000097e: NOT
0000097f: ADD
00000980: SWAP1
00000981: SSTORE
00000982: JUMPDEST
00000983: PUSH1 0x01
00000985: PUSH1 0xa0
00000987: PUSH1 0x02
00000989: EXP
0000098a: SUB
0000098b: CALLER
0000098c: AND
0000098d: PUSH1 0x00
0000098f: SWAP1
00000990: DUP2
00000991: MSTORE
00000992: PUSH1 0x20
00000994: DUP2
00000995: SWAP1
00000996: MSTORE
00000997: PUSH1 0x40
00000999: SWAP1
0000099a: KECCAK256
0000099b: PUSH1 0x02
0000099d: ADD
0000099e: DUP1
0000099f: SLOAD
000009a0: DUP8
000009a1: SWAP2
000009a2: SWAP1
000009a3: DUP12
000009a4: SWAP1
000009a5: DUP2
000009a6: LT
000009a7: ISZERO
000009a8: PUSH2 0x0002
000009ab: JUMPI
000009ac: SWAP1
000009ad: PUSH1 0x00
000009af: MSTORE
000009b0: PUSH1 0x20
000009b2: PUSH1 0x00
000009b4: KECCAK256
000009b5: SWAP1
000009b6: PUSH1 0x04
000009b8: MUL
000009b9: ADD
000009ba: PUSH1 0x00
000009bc: POP
000009bd: DUP1
000009be: SLOAD
000009bf: SWAP2
000009c0: SWAP1
000009c1: SWAP2
000009c2: SUB
000009c3: SWAP1
000009c4: SSTORE
000009c5: POP
000009c6: POP
000009c7: POP
000009c8: POP
000009c9: POP
000009ca: POP
000009cb: POP
000009cc: POP
000009cd: POP
000009ce: JUMP
000009cf: JUMPDEST
000009d0: PUSH1 0x01
000009d2: PUSH1 0xa0
000009d4: PUSH1 0x02
000009d6: EXP
000009d7: SUB
000009d8: CALLER
000009d9: DUP2
000009da: AND
000009db: PUSH1 0x00
000009dd: SWAP1
000009de: DUP2
000009df: MSTORE
000009e0: PUSH1 0x20
000009e2: DUP2
000009e3: SWAP1
000009e4: MSTORE
000009e5: PUSH1 0x40
000009e7: DUP2
000009e8: KECCAK256
000009e9: PUSH1 0x02
000009eb: ADD
000009ec: SWAP10
000009ed: POP
000009ee: ADDRESS
000009ef: SWAP1
000009f0: SWAP2
000009f1: AND
000009f2: BALANCE
000009f3: SWAP8
000009f4: POP
000009f5: SWAP6
000009f6: POP
000009f7: JUMPDEST
000009f8: DUP8
000009f9: SLOAD
000009fa: DUP7
000009fb: LT
000009fc: ISZERO
000009fd: PUSH2 0x02c8
00000a00: JUMPI
00000a01: DUP8
00000a02: DUP7
00000a03: DUP2
00000a04: SLOAD
00000a05: DUP2
00000a06: LT
00000a07: ISZERO
00000a08: PUSH2 0x0002
00000a0b: JUMPI
00000a0c: SWAP1
00000a0d: PUSH1 0x00
00000a0f: MSTORE
00000a10: PUSH1 0x20
00000a12: PUSH1 0x00
00000a14: KECCAK256
00000a15: SWAP1
00000a16: PUSH1 0x04
00000a18: MUL
00000a19: ADD
00000a1a: PUSH1 0x00
00000a1c: POP
00000a1d: SLOAD
00000a1e: SWAP5
00000a1f: POP
00000a20: PUSH1 0x00
00000a22: DUP6
00000a23: EQ
00000a24: DUP1
00000a25: PUSH2 0x0a4c
00000a28: JUMPI
00000a29: POP
00000a2a: TIMESTAMP
00000a2b: DUP9
00000a2c: DUP8
00000a2d: DUP2
00000a2e: SLOAD
00000a2f: DUP2
00000a30: LT
00000a31: ISZERO
00000a32: PUSH2 0x0002
00000a35: JUMPI
00000a36: SWAP1
00000a37: PUSH1 0x00
00000a39: MSTORE
00000a3a: PUSH1 0x20
00000a3c: PUSH1 0x00
00000a3e: KECCAK256
00000a3f: SWAP1
00000a40: PUSH1 0x04
00000a42: MUL
00000a43: ADD
00000a44: PUSH1 0x00
00000a46: POP
00000a47: PUSH1 0x03
00000a49: ADD
00000a4a: SLOAD
00000a4b: GT
00000a4c: JUMPDEST
00000a4d: ISZERO
00000a4e: PUSH2 0x0a5e
00000a51: JUMPI
00000a52: JUMPDEST
00000a53: PUSH1 0x01
00000a55: SWAP6
00000a56: SWAP1
00000a57: SWAP6
00000a58: ADD
00000a59: SWAP5
00000a5a: PUSH2 0x09f7
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: DUP8
00000a60: DUP7
00000a61: DUP2
00000a62: SLOAD
00000a63: DUP2
00000a64: LT
00000a65: ISZERO
00000a66: PUSH2 0x0002
00000a69: JUMPI
00000a6a: SWAP1
00000a6b: PUSH1 0x00
00000a6d: MSTORE
00000a6e: PUSH1 0x20
00000a70: PUSH1 0x00
00000a72: KECCAK256
00000a73: SWAP1
00000a74: PUSH1 0x04
00000a76: MUL
00000a77: ADD
00000a78: PUSH1 0x00
00000a7a: POP
00000a7b: PUSH1 0x01
00000a7d: ADD
00000a7e: PUSH1 0x00
00000a80: POP
00000a81: SLOAD
00000a82: TIMESTAMP
00000a83: SUB
00000a84: SWAP4
00000a85: POP
00000a86: PUSH3 0x278d00
00000a8a: PUSH1 0x64
00000a8c: DUP10
00000a8d: DUP9
00000a8e: DUP2
00000a8f: SLOAD
00000a90: DUP2
00000a91: LT
00000a92: ISZERO
00000a93: PUSH2 0x0002
00000a96: JUMPI
00000a97: SWAP1
00000a98: PUSH1 0x00
00000a9a: MSTORE
00000a9b: PUSH1 0x20
00000a9d: PUSH1 0x00
00000a9f: KECCAK256
00000aa0: SWAP1
00000aa1: PUSH1 0x04
00000aa3: MUL
00000aa4: ADD
00000aa5: PUSH1 0x00
00000aa7: POP
00000aa8: PUSH1 0x02
00000aaa: ADD
00000aab: SLOAD
00000aac: DUP8
00000aad: DUP8
00000aae: MUL
00000aaf: MUL
00000ab0: DIV
00000ab1: DIV
00000ab2: SWAP3
00000ab3: POP
00000ab4: DUP3
00000ab5: DUP6
00000ab6: ADD
00000ab7: SWAP2
00000ab8: POP
00000ab9: DUP2
00000aba: DUP8
00000abb: LT
00000abc: PUSH2 0x0a52
00000abf: JUMPI
00000ac0: POP
00000ac1: PUSH1 0x01
00000ac3: SLOAD
00000ac4: PUSH1 0x40
00000ac6: MLOAD
00000ac7: PUSH1 0x64
00000ac9: SWAP2
00000aca: DUP5
00000acb: MUL
00000acc: SWAP2
00000acd: SWAP1
00000ace: SWAP2
00000acf: DIV
00000ad0: SWAP1
00000ad1: PUSH1 0x01
00000ad3: PUSH1 0xa0
00000ad5: PUSH1 0x02
00000ad7: EXP
00000ad8: SUB
00000ad9: CALLER
00000ada: AND
00000adb: SWAP1
00000adc: PUSH1 0x00
00000ade: SWAP1
00000adf: DUP4
00000ae0: DUP6
00000ae1: SUB
00000ae2: SWAP1
00000ae3: DUP3
00000ae4: DUP2
00000ae5: DUP2
00000ae6: DUP2
00000ae7: DUP6
00000ae8: DUP9
00000ae9: DUP4
00000aea: CALL
00000aeb: POP
00000aec: PUSH1 0x04
00000aee: SLOAD
00000aef: PUSH1 0x01
00000af1: PUSH1 0xa0
00000af3: PUSH1 0x02
00000af5: EXP
00000af6: SUB
00000af7: AND
00000af8: SWAP4
00000af9: POP
00000afa: DUP5
00000afb: SWAP2
00000afc: POP
00000afd: DUP3
00000afe: DUP2
00000aff: DUP2
00000b00: DUP2
00000b01: DUP6
00000b02: DUP9
00000b03: DUP4
00000b04: CALL
00000b05: POP
00000b06: POP
00000b07: POP
00000b08: PUSH1 0x01
00000b0a: PUSH1 0xa0
00000b0c: PUSH1 0x02
00000b0e: EXP
00000b0f: SUB
00000b10: CALLER
00000b11: AND
00000b12: DUP2
00000b13: MSTORE
00000b14: PUSH1 0x20
00000b16: DUP2
00000b17: SWAP1
00000b18: MSTORE
00000b19: PUSH1 0x40
00000b1b: DUP2
00000b1c: KECCAK256
00000b1d: PUSH1 0x02
00000b1f: ADD
00000b20: DUP1
00000b21: SLOAD
00000b22: SWAP2
00000b23: SWAP3
00000b24: POP
00000b25: SWAP1
00000b26: DUP9
00000b27: SWAP1
00000b28: DUP2
00000b29: LT
00000b2a: ISZERO
00000b2b: PUSH2 0x0002
00000b2e: JUMPI
00000b2f: SWAP1
00000b30: PUSH1 0x00
00000b32: MSTORE
00000b33: PUSH1 0x20
00000b35: PUSH1 0x00
00000b37: KECCAK256
00000b38: SWAP1
00000b39: PUSH1 0x04
00000b3b: MUL
00000b3c: ADD
00000b3d: PUSH1 0x00
00000b3f: POP
00000b40: SSTORE
00000b41: PUSH1 0x01
00000b43: PUSH1 0xa0
00000b45: PUSH1 0x02
00000b47: EXP
00000b48: SUB
00000b49: CALLER
00000b4a: AND
00000b4b: PUSH1 0x00
00000b4d: SWAP1
00000b4e: DUP2
00000b4f: MSTORE
00000b50: PUSH1 0x20
00000b52: DUP2
00000b53: SWAP1
00000b54: MSTORE
00000b55: PUSH1 0x40
00000b57: SWAP1
00000b58: KECCAK256
00000b59: PUSH1 0x01
00000b5b: ADD
00000b5c: DUP1
00000b5d: SLOAD
00000b5e: PUSH1 0x00
00000b60: NOT
00000b61: ADD
00000b62: SWAP1
00000b63: SSTORE
00000b64: SWAP6
00000b65: DUP2
00000b66: SWAP1
00000b67: SUB
00000b68: SWAP6
00000b69: PUSH2 0x0a52
00000b6c: JUMP
00000b6d: JUMPDEST
00000b6e: PUSH1 0x04
00000b70: DUP1
00000b71: SLOAD
00000b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b87: NOT
00000b88: AND
00000b89: DUP4
00000b8a: OR
00000b8b: SWAP1
00000b8c: SSTORE
00000b8d: JUMPDEST
00000b8e: POP
00000b8f: POP
00000b90: 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: 0xb348508731072099fcab463bb135cdd16b5633573bf7a2f9091b2d33b8ff095d
call_targets: 0x2982a1619c6553197d96c45a89e65a84068ecde2
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb348508731072099fcab463bb135cdd16b5633573bf7a2f9091b2d33b8ff095d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2982a1619c6553197d96c45a89e65a84068ecde2"
    ],
    "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": 1035,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1523,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1929,
            "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: 0xb348508731072099fcab463bb135cdd16b5633573bf7a2f9091b2d33b8ff095d
call_targets: 0x2982a1619c6553197d96c45a89e65a84068ecde2
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb348508731072099fcab463bb135cdd16b5633573bf7a2f9091b2d33b8ff095d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2982a1619c6553197d96c45a89e65a84068ecde2"
    ],
    "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": 1035,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1523,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1929,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}