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

Analysis Run

019b3836-3bac-72ae-aa33-5876f0b5d900

complete
Chain ID
1
Address
0x3693eec590121dfdd103b9cb6b34f94096eb0619
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
4433 artifact.fetch complete 1 / 3 3 months ago
4434 tool.cast_disasm complete 1 / 3 3 months ago
47772 analysis.bundle complete 1 / 3 2 weeks ago
47773 capability.graph complete 1 / 3 2 weeks ago
47774 detector.run complete 1 / 3 2 weeks ago
47775 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)
5
EXT*/BALANCE
1
Total opcodes
2061
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 0x037329c9
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00d3
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x08714bfa
00000025: EQ
00000026: PUSH2 0x01e7
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x31ef107f
00000030: EQ
00000031: PUSH2 0x022a
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x37c08923
0000003b: EQ
0000003c: PUSH2 0x025e
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x395b9467
00000046: EQ
00000047: PUSH2 0x0267
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x5353a2d8
00000051: EQ
00000052: PUSH2 0x0270
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x712c7901
0000005c: EQ
0000005d: PUSH2 0x036e
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x86001519
00000067: EQ
00000068: PUSH2 0x0378
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xab377daa
00000072: EQ
00000073: PUSH2 0x0381
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xbf176c34
0000007d: EQ
0000007e: PUSH2 0x0403
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xc4a50433
00000088: EQ
00000089: PUSH2 0x0415
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xd5a227c6
00000093: EQ
00000094: PUSH2 0x041e
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xe0e51f6a
0000009e: EQ
0000009f: PUSH2 0x058b
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xf251fc8c
000000a9: EQ
000000aa: PUSH2 0x0693
000000ad: JUMPI
000000ae: JUMPDEST
000000af: PUSH2 0x069c
000000b2: PUSH2 0x069e
000000b5: PUSH1 0x08
000000b7: SLOAD
000000b8: CALLER
000000b9: PUSH1 0x01
000000bb: PUSH1 0xa0
000000bd: PUSH1 0x02
000000bf: EXP
000000c0: SUB
000000c1: SWAP1
000000c2: DUP2
000000c3: AND
000000c4: SWAP2
000000c5: AND
000000c6: EQ
000000c7: ISZERO
000000c8: PUSH2 0x0777
000000cb: JUMPI
000000cc: PUSH2 0x069e
000000cf: PUSH2 0x0372
000000d2: JUMP
000000d3: JUMPDEST
000000d4: PUSH2 0x069c
000000d7: CALLER
000000d8: PUSH1 0x01
000000da: PUSH1 0xa0
000000dc: PUSH1 0x02
000000de: EXP
000000df: SUB
000000e0: AND
000000e1: PUSH1 0x00
000000e3: SWAP1
000000e4: DUP2
000000e5: MSTORE
000000e6: PUSH1 0x01
000000e8: PUSH1 0x20
000000ea: MSTORE
000000eb: PUSH1 0x40
000000ed: DUP2
000000ee: KECCAK256
000000ef: SLOAD
000000f0: SWAP1
000000f1: DUP1
000000f2: DUP3
000000f3: DUP2
000000f4: EQ
000000f5: PUSH2 0x080a
000000f8: JUMPI
000000f9: DUP1
000000fa: SLOAD
000000fb: PUSH1 0x00
000000fd: NOT
000000fe: SWAP4
000000ff: SWAP1
00000100: SWAP4
00000101: ADD
00000102: SWAP3
00000103: DUP2
00000104: SWAP1
00000105: DUP5
00000106: SWAP1
00000107: DUP2
00000108: LT
00000109: ISZERO
0000010a: PUSH2 0x0002
0000010d: JUMPI
0000010e: POP
0000010f: POP
00000110: DUP1
00000111: DUP1
00000112: MSTORE
00000113: PUSH1 0x04
00000115: DUP4
00000116: MUL
00000117: PUSH1 0x00
00000119: DUP1
0000011a: MLOAD
0000011b: PUSH1 0x20
0000011d: PUSH2 0x0acc
00000120: DUP4
00000121: CODECOPY
00000122: DUP2
00000123: MLOAD
00000124: SWAP2
00000125: MSTORE
00000126: ADD
00000127: SLOAD
00000128: SWAP2
00000129: POP
0000012a: DUP2
0000012b: DUP2
0000012c: EQ
0000012d: PUSH2 0x01e2
00000130: JUMPI
00000131: PUSH1 0x40
00000133: MLOAD
00000134: PUSH1 0x07
00000136: SLOAD
00000137: PUSH1 0x64
00000139: DUP5
0000013a: DIV
0000013b: SWAP3
0000013c: PUSH1 0x01
0000013e: PUSH1 0xa0
00000140: PUSH1 0x02
00000142: EXP
00000143: SUB
00000144: SWAP2
00000145: SWAP1
00000146: SWAP2
00000147: AND
00000148: SWAP2
00000149: DUP4
0000014a: SWAP1
0000014b: DUP3
0000014c: DUP2
0000014d: DUP2
0000014e: DUP2
0000014f: DUP6
00000150: DUP9
00000151: DUP4
00000152: CALL
00000153: SWAP4
00000154: POP
00000155: POP
00000156: POP
00000157: POP
00000158: POP
00000159: DUP1
0000015a: DUP3
0000015b: SUB
0000015c: SWAP2
0000015d: POP
0000015e: DUP2
0000015f: POP
00000160: PUSH1 0x00
00000162: PUSH1 0x00
00000164: POP
00000165: DUP4
00000166: DUP2
00000167: SLOAD
00000168: DUP2
00000169: LT
0000016a: ISZERO
0000016b: PUSH2 0x0002
0000016e: JUMPI
0000016f: POP
00000170: DUP1
00000171: DUP1
00000172: MSTORE
00000173: PUSH1 0x04
00000175: DUP5
00000176: MUL
00000177: PUSH1 0x00
00000179: DUP1
0000017a: MLOAD
0000017b: PUSH1 0x20
0000017d: PUSH2 0x0a8c
00000180: DUP4
00000181: CODECOPY
00000182: DUP2
00000183: MLOAD
00000184: SWAP2
00000185: MSTORE
00000186: ADD
00000187: SLOAD
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: PUSH1 0x01
0000018d: PUSH1 0xa0
0000018f: PUSH1 0x02
00000191: EXP
00000192: SUB
00000193: SWAP2
00000194: SWAP1
00000195: SWAP2
00000196: AND
00000197: SWAP2
00000198: SWAP1
00000199: DUP5
0000019a: SWAP1
0000019b: DUP3
0000019c: DUP2
0000019d: DUP2
0000019e: DUP2
0000019f: DUP6
000001a0: DUP9
000001a1: DUP4
000001a2: CALL
000001a3: POP
000001a4: POP
000001a5: DUP2
000001a6: SLOAD
000001a7: SWAP2
000001a8: SWAP3
000001a9: POP
000001aa: DUP3
000001ab: SWAP2
000001ac: DUP7
000001ad: SWAP2
000001ae: POP
000001af: DUP2
000001b0: LT
000001b1: ISZERO
000001b2: PUSH2 0x0002
000001b5: JUMPI
000001b6: POP
000001b7: POP
000001b8: DUP1
000001b9: DUP1
000001ba: MSTORE
000001bb: PUSH1 0x04
000001bd: DUP5
000001be: MUL
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: MLOAD
000001c3: PUSH1 0x20
000001c5: PUSH2 0x0acc
000001c8: DUP4
000001c9: CODECOPY
000001ca: DUP2
000001cb: MLOAD
000001cc: SWAP2
000001cd: MSTORE
000001ce: ADD
000001cf: SSTORE
000001d0: PUSH1 0x05
000001d2: DUP1
000001d3: SLOAD
000001d4: DUP4
000001d5: SWAP1
000001d6: SUB
000001d7: SWAP1
000001d8: SSTORE
000001d9: PUSH1 0x06
000001db: DUP1
000001dc: SLOAD
000001dd: DUP4
000001de: SWAP1
000001df: SUB
000001e0: SWAP1
000001e1: SSTORE
000001e2: JUMPDEST
000001e3: POP
000001e4: POP
000001e5: POP
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH2 0x069c
000001eb: PUSH1 0x07
000001ed: SLOAD
000001ee: PUSH1 0x01
000001f0: PUSH1 0xa0
000001f2: PUSH1 0x02
000001f4: EXP
000001f5: SUB
000001f6: SWAP1
000001f7: DUP2
000001f8: AND
000001f9: CALLER
000001fa: SWAP1
000001fb: SWAP2
000001fc: AND
000001fd: EQ
000001fe: ISZERO
000001ff: PUSH2 0x069e
00000202: JUMPI
00000203: PUSH1 0x40
00000205: MLOAD
00000206: PUSH1 0x07
00000208: SLOAD
00000209: PUSH1 0x01
0000020b: PUSH1 0xa0
0000020d: PUSH1 0x02
0000020f: EXP
00000210: SUB
00000211: SWAP1
00000212: DUP2
00000213: AND
00000214: SWAP2
00000215: PUSH1 0x00
00000217: SWAP2
00000218: ADDRESS
00000219: AND
0000021a: BALANCE
0000021b: SWAP1
0000021c: DUP3
0000021d: DUP2
0000021e: DUP2
0000021f: DUP2
00000220: DUP6
00000221: DUP9
00000222: DUP4
00000223: CALL
00000224: POP
00000225: POP
00000226: POP
00000227: POP
00000228: POP
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH2 0x069c
0000022e: PUSH1 0x04
00000230: CALLDATALOAD
00000231: PUSH1 0x07
00000233: SLOAD
00000234: PUSH1 0x01
00000236: PUSH1 0xa0
00000238: PUSH1 0x02
0000023a: EXP
0000023b: SUB
0000023c: SWAP1
0000023d: DUP2
0000023e: AND
0000023f: CALLER
00000240: SWAP1
00000241: SWAP2
00000242: AND
00000243: EQ
00000244: ISZERO
00000245: PUSH2 0x025b
00000248: JUMPI
00000249: PUSH1 0x08
0000024b: DUP1
0000024c: SLOAD
0000024d: PUSH1 0x01
0000024f: PUSH1 0xa0
00000251: PUSH1 0x02
00000253: EXP
00000254: SUB
00000255: NOT
00000256: AND
00000257: DUP3
00000258: OR
00000259: SWAP1
0000025a: SSTORE
0000025b: JUMPDEST
0000025c: POP
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x06a0
00000262: PUSH1 0x04
00000264: SLOAD
00000265: DUP2
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH2 0x06a0
0000026b: PUSH1 0x06
0000026d: SLOAD
0000026e: DUP2
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH1 0x40
00000273: DUP1
00000274: MLOAD
00000275: PUSH1 0x20
00000277: PUSH1 0x04
00000279: DUP1
0000027a: CALLDATALOAD
0000027b: DUP1
0000027c: DUP3
0000027d: ADD
0000027e: CALLDATALOAD
0000027f: PUSH1 0x1f
00000281: DUP2
00000282: ADD
00000283: DUP5
00000284: SWAP1
00000285: DIV
00000286: DUP5
00000287: MUL
00000288: DUP6
00000289: ADD
0000028a: DUP5
0000028b: ADD
0000028c: SWAP1
0000028d: SWAP6
0000028e: MSTORE
0000028f: DUP5
00000290: DUP5
00000291: MSTORE
00000292: PUSH2 0x069c
00000295: SWAP5
00000296: SWAP2
00000297: SWAP4
00000298: PUSH1 0x24
0000029a: SWAP4
0000029b: SWAP1
0000029c: SWAP3
0000029d: SWAP2
0000029e: DUP5
0000029f: ADD
000002a0: SWAP2
000002a1: SWAP1
000002a2: DUP2
000002a3: SWAP1
000002a4: DUP5
000002a5: ADD
000002a6: DUP4
000002a7: DUP3
000002a8: DUP1
000002a9: DUP3
000002aa: DUP5
000002ab: CALLDATACOPY
000002ac: POP
000002ad: SWAP5
000002ae: SWAP7
000002af: POP
000002b0: POP
000002b1: POP
000002b2: POP
000002b3: POP
000002b4: POP
000002b5: POP
000002b6: CALLER
000002b7: PUSH1 0x01
000002b9: PUSH1 0xa0
000002bb: PUSH1 0x02
000002bd: EXP
000002be: SUB
000002bf: AND
000002c0: PUSH1 0x00
000002c2: SWAP1
000002c3: DUP2
000002c4: MSTORE
000002c5: PUSH1 0x01
000002c7: PUSH1 0x20
000002c9: MSTORE
000002ca: PUSH1 0x40
000002cc: DUP2
000002cd: KECCAK256
000002ce: SLOAD
000002cf: SWAP1
000002d0: DUP2
000002d1: EQ
000002d2: PUSH2 0x0812
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: SLOAD
000002da: PUSH1 0x00
000002dc: NOT
000002dd: SWAP3
000002de: SWAP1
000002df: SWAP3
000002e0: ADD
000002e1: SWAP2
000002e2: DUP4
000002e3: SWAP2
000002e4: SWAP1
000002e5: DUP4
000002e6: SWAP1
000002e7: DUP2
000002e8: LT
000002e9: ISZERO
000002ea: PUSH2 0x0002
000002ed: JUMPI
000002ee: POP
000002ef: DUP1
000002f0: DUP1
000002f1: MSTORE
000002f2: PUSH1 0x04
000002f4: DUP4
000002f5: MUL
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: MLOAD
000002fa: PUSH1 0x20
000002fc: PUSH2 0x0a8c
000002ff: DUP4
00000300: CODECOPY
00000301: DUP2
00000302: MLOAD
00000303: SWAP2
00000304: MSTORE
00000305: ADD
00000306: SWAP1
00000307: POP
00000308: PUSH1 0x01
0000030a: ADD
0000030b: PUSH1 0x00
0000030d: POP
0000030e: SWAP1
0000030f: DUP1
00000310: MLOAD
00000311: SWAP1
00000312: PUSH1 0x20
00000314: ADD
00000315: SWAP1
00000316: DUP3
00000317: DUP1
00000318: SLOAD
00000319: PUSH1 0x01
0000031b: DUP2
0000031c: PUSH1 0x01
0000031e: AND
0000031f: ISZERO
00000320: PUSH2 0x0100
00000323: MUL
00000324: SUB
00000325: AND
00000326: PUSH1 0x02
00000328: SWAP1
00000329: DIV
0000032a: SWAP1
0000032b: PUSH1 0x00
0000032d: MSTORE
0000032e: PUSH1 0x20
00000330: PUSH1 0x00
00000332: KECCAK256
00000333: SWAP1
00000334: PUSH1 0x1f
00000336: ADD
00000337: PUSH1 0x20
00000339: SWAP1
0000033a: DIV
0000033b: DUP2
0000033c: ADD
0000033d: SWAP3
0000033e: DUP3
0000033f: PUSH1 0x1f
00000341: LT
00000342: PUSH2 0x0816
00000345: JUMPI
00000346: DUP1
00000347: MLOAD
00000348: PUSH1 0xff
0000034a: NOT
0000034b: AND
0000034c: DUP4
0000034d: DUP1
0000034e: ADD
0000034f: OR
00000350: DUP6
00000351: SSTORE
00000352: JUMPDEST
00000353: POP
00000354: PUSH2 0x080f
00000357: SWAP3
00000358: SWAP2
00000359: POP
0000035a: JUMPDEST
0000035b: DUP1
0000035c: DUP3
0000035d: GT
0000035e: ISZERO
0000035f: PUSH2 0x0846
00000362: JUMPI
00000363: PUSH1 0x00
00000365: DUP2
00000366: SSTORE
00000367: PUSH1 0x01
00000369: ADD
0000036a: PUSH2 0x035a
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH2 0x069c
00000372: JUMPDEST
00000373: CALLVALUE
00000374: PUSH1 0x02
00000376: SSTORE
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH2 0x06a0
0000037c: PUSH1 0x05
0000037e: SLOAD
0000037f: DUP2
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH2 0x06b2
00000385: PUSH1 0x04
00000387: CALLDATALOAD
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: SLOAD
0000038c: DUP3
0000038d: SWAP1
0000038e: DUP2
0000038f: LT
00000390: ISZERO
00000391: PUSH2 0x0002
00000394: JUMPI
00000395: POP
00000396: DUP1
00000397: MSTORE
00000398: PUSH1 0x04
0000039a: MUL
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: MLOAD
0000039f: PUSH1 0x20
000003a1: PUSH2 0x0a8c
000003a4: DUP4
000003a5: CODECOPY
000003a6: DUP2
000003a7: MLOAD
000003a8: SWAP2
000003a9: MSTORE
000003aa: DUP2
000003ab: ADD
000003ac: SLOAD
000003ad: PUSH1 0x00
000003af: DUP1
000003b0: MLOAD
000003b1: PUSH1 0x20
000003b3: PUSH2 0x0aac
000003b6: DUP4
000003b7: CODECOPY
000003b8: DUP2
000003b9: MLOAD
000003ba: SWAP2
000003bb: MSTORE
000003bc: DUP3
000003bd: ADD
000003be: SLOAD
000003bf: PUSH1 0x00
000003c1: DUP1
000003c2: MLOAD
000003c3: PUSH1 0x20
000003c5: PUSH2 0x0acc
000003c8: DUP4
000003c9: CODECOPY
000003ca: DUP2
000003cb: MLOAD
000003cc: SWAP2
000003cd: MSTORE
000003ce: DUP4
000003cf: ADD
000003d0: SLOAD
000003d1: PUSH1 0x01
000003d3: PUSH1 0xa0
000003d5: PUSH1 0x02
000003d7: EXP
000003d8: SUB
000003d9: SWAP3
000003da: SWAP1
000003db: SWAP3
000003dc: AND
000003dd: SWAP3
000003de: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
000003ff: ADD
00000400: SWAP2
00000401: DUP5
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH2 0x075a
00000407: PUSH1 0x08
00000409: SLOAD
0000040a: PUSH1 0x01
0000040c: PUSH1 0xa0
0000040e: PUSH1 0x02
00000410: EXP
00000411: SUB
00000412: AND
00000413: DUP2
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH2 0x06a0
00000419: PUSH1 0x02
0000041b: SLOAD
0000041c: DUP2
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH2 0x069c
00000422: CALLER
00000423: PUSH1 0x01
00000425: PUSH1 0xa0
00000427: PUSH1 0x02
00000429: EXP
0000042a: SUB
0000042b: AND
0000042c: PUSH1 0x00
0000042e: SWAP1
0000042f: DUP2
00000430: MSTORE
00000431: PUSH1 0x01
00000433: PUSH1 0x20
00000435: MSTORE
00000436: PUSH1 0x40
00000438: DUP2
00000439: KECCAK256
0000043a: SLOAD
0000043b: SWAP1
0000043c: DUP1
0000043d: DUP1
0000043e: DUP1
0000043f: DUP5
00000440: DUP2
00000441: EQ
00000442: PUSH2 0x080a
00000445: JUMPI
00000446: DUP1
00000447: SLOAD
00000448: PUSH1 0x00
0000044a: NOT
0000044b: SWAP6
0000044c: SWAP1
0000044d: SWAP6
0000044e: ADD
0000044f: SWAP5
00000450: DUP2
00000451: SWAP1
00000452: DUP7
00000453: SWAP1
00000454: DUP2
00000455: LT
00000456: ISZERO
00000457: PUSH2 0x0002
0000045a: JUMPI
0000045b: POP
0000045c: POP
0000045d: DUP1
0000045e: DUP1
0000045f: MSTORE
00000460: PUSH1 0x04
00000462: DUP6
00000463: MUL
00000464: PUSH1 0x00
00000466: DUP1
00000467: MLOAD
00000468: PUSH1 0x20
0000046a: PUSH2 0x0acc
0000046d: DUP4
0000046e: CODECOPY
0000046f: DUP2
00000470: MLOAD
00000471: SWAP2
00000472: MSTORE
00000473: ADD
00000474: SLOAD
00000475: SWAP4
00000476: POP
00000477: DUP4
00000478: DUP2
00000479: EQ
0000047a: PUSH2 0x04ae
0000047d: JUMPI
0000047e: PUSH1 0x40
00000480: MLOAD
00000481: PUSH1 0x07
00000483: SLOAD
00000484: PUSH1 0x64
00000486: DUP7
00000487: DIV
00000488: SWAP5
00000489: POP
0000048a: PUSH1 0x01
0000048c: PUSH1 0xa0
0000048e: PUSH1 0x02
00000490: EXP
00000491: SUB
00000492: AND
00000493: SWAP1
00000494: PUSH1 0x00
00000496: SWAP1
00000497: DUP6
00000498: SWAP1
00000499: DUP3
0000049a: DUP2
0000049b: DUP2
0000049c: DUP2
0000049d: DUP6
0000049e: DUP9
0000049f: DUP4
000004a0: CALL
000004a1: SWAP4
000004a2: POP
000004a3: POP
000004a4: POP
000004a5: POP
000004a6: POP
000004a7: DUP3
000004a8: DUP5
000004a9: SUB
000004aa: SWAP4
000004ab: POP
000004ac: DUP4
000004ad: POP
000004ae: JUMPDEST
000004af: PUSH1 0x00
000004b1: DUP1
000004b2: SLOAD
000004b3: DUP7
000004b4: SWAP1
000004b5: DUP2
000004b6: LT
000004b7: ISZERO
000004b8: PUSH2 0x0002
000004bb: JUMPI
000004bc: POP
000004bd: DUP1
000004be: DUP1
000004bf: MSTORE
000004c0: PUSH1 0x04
000004c2: DUP7
000004c3: MUL
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: MLOAD
000004c8: PUSH1 0x20
000004ca: PUSH2 0x0aac
000004cd: DUP4
000004ce: CODECOPY
000004cf: DUP2
000004d0: MLOAD
000004d1: SWAP2
000004d2: MSTORE
000004d3: ADD
000004d4: SLOAD
000004d5: SWAP3
000004d6: POP
000004d7: DUP3
000004d8: DUP6
000004d9: ADD
000004da: SWAP2
000004db: POP
000004dc: DUP2
000004dd: EQ
000004de: PUSH2 0x0586
000004e1: JUMPI
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: SLOAD
000004e6: DUP7
000004e7: SWAP1
000004e8: DUP2
000004e9: LT
000004ea: ISZERO
000004eb: PUSH2 0x0002
000004ee: JUMPI
000004ef: POP
000004f0: PUSH1 0x04
000004f2: DUP7
000004f3: MUL
000004f4: PUSH1 0x00
000004f6: DUP1
000004f7: MLOAD
000004f8: PUSH1 0x20
000004fa: PUSH2 0x0a8c
000004fd: DUP4
000004fe: CODECOPY
000004ff: DUP2
00000500: MLOAD
00000501: SWAP2
00000502: MSTORE
00000503: ADD
00000504: SLOAD
00000505: PUSH1 0x40
00000507: MLOAD
00000508: PUSH1 0x01
0000050a: PUSH1 0xa0
0000050c: PUSH1 0x02
0000050e: EXP
0000050f: SUB
00000510: SWAP2
00000511: SWAP1
00000512: SWAP2
00000513: AND
00000514: SWAP2
00000515: SWAP1
00000516: DUP4
00000517: SWAP1
00000518: DUP3
00000519: DUP2
0000051a: DUP2
0000051b: DUP2
0000051c: DUP6
0000051d: DUP9
0000051e: DUP4
0000051f: CALL
00000520: POP
00000521: POP
00000522: DUP2
00000523: SLOAD
00000524: SWAP2
00000525: SWAP3
00000526: POP
00000527: DUP3
00000528: SWAP2
00000529: DUP9
0000052a: SWAP2
0000052b: POP
0000052c: DUP2
0000052d: LT
0000052e: ISZERO
0000052f: PUSH2 0x0002
00000532: JUMPI
00000533: DUP2
00000534: DUP1
00000535: MSTORE
00000536: PUSH1 0x04
00000538: DUP2
00000539: MUL
0000053a: PUSH1 0x00
0000053c: DUP1
0000053d: MLOAD
0000053e: PUSH1 0x20
00000540: PUSH2 0x0acc
00000543: DUP4
00000544: CODECOPY
00000545: DUP2
00000546: MLOAD
00000547: SWAP2
00000548: MSTORE
00000549: ADD
0000054a: DUP3
0000054b: SWAP1
0000054c: SSTORE
0000054d: DUP2
0000054e: SLOAD
0000054f: DUP2
00000550: LT
00000551: ISZERO
00000552: PUSH2 0x0002
00000555: JUMPI
00000556: SWAP1
00000557: PUSH1 0x00
00000559: MSTORE
0000055a: PUSH1 0x20
0000055c: PUSH1 0x00
0000055e: KECCAK256
0000055f: SWAP1
00000560: PUSH1 0x04
00000562: MUL
00000563: ADD
00000564: PUSH1 0x00
00000566: POP
00000567: PUSH1 0x02
00000569: ADD
0000056a: SSTORE
0000056b: PUSH1 0x05
0000056d: DUP1
0000056e: SLOAD
0000056f: DUP6
00000570: SWAP1
00000571: SUB
00000572: SWAP1
00000573: SSTORE
00000574: PUSH1 0x04
00000576: DUP1
00000577: SLOAD
00000578: DUP4
00000579: SWAP1
0000057a: SUB
0000057b: SWAP1
0000057c: SSTORE
0000057d: PUSH1 0x06
0000057f: DUP1
00000580: SLOAD
00000581: DUP3
00000582: SWAP1
00000583: SUB
00000584: SWAP1
00000585: SSTORE
00000586: JUMPDEST
00000587: PUSH2 0x07fb
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH2 0x069c
0000058f: JUMPDEST
00000590: PUSH1 0x00
00000592: PUSH1 0x00
00000594: PUSH1 0x00
00000596: PUSH1 0x00
00000598: PUSH1 0x00
0000059a: PUSH1 0x02
0000059c: PUSH1 0x00
0000059e: POP
0000059f: SLOAD
000005a0: PUSH1 0x00
000005a2: EQ
000005a3: ISZERO
000005a4: ISZERO
000005a5: PUSH2 0x07fb
000005a8: JUMPI
000005a9: PUSH1 0x02
000005ab: SLOAD
000005ac: PUSH1 0x05
000005ae: DUP1
000005af: SLOAD
000005b0: DUP3
000005b1: ADD
000005b2: SWAP1
000005b3: SSTORE
000005b4: DUP2
000005b5: SLOAD
000005b6: SWAP1
000005b7: SWAP5
000005b8: POP
000005b9: DUP5
000005ba: SWAP4
000005bb: POP
000005bc: DUP2
000005bd: EQ
000005be: DUP1
000005bf: ISZERO
000005c0: SWAP1
000005c1: PUSH2 0x05cb
000005c4: JUMPI
000005c5: POP
000005c6: DUP4
000005c7: PUSH1 0x00
000005c9: EQ
000005ca: ISZERO
000005cb: JUMPDEST
000005cc: ISZERO
000005cd: PUSH2 0x07f2
000005d0: JUMPI
000005d1: JUMPDEST
000005d2: PUSH1 0x00
000005d4: DUP4
000005d5: GT
000005d6: ISZERO
000005d7: PUSH2 0x07f2
000005da: JUMPI
000005db: POP
000005dc: PUSH1 0x00
000005de: JUMPDEST
000005df: PUSH1 0x00
000005e1: SLOAD
000005e2: DUP2
000005e3: LT
000005e4: ISZERO
000005e5: PUSH2 0x0689
000005e8: JUMPI
000005e9: PUSH1 0x00
000005eb: DUP1
000005ec: SLOAD
000005ed: DUP3
000005ee: SWAP1
000005ef: DUP2
000005f0: LT
000005f1: ISZERO
000005f2: PUSH2 0x0002
000005f5: JUMPI
000005f6: DUP2
000005f7: DUP1
000005f8: MSTORE
000005f9: PUSH1 0x04
000005fb: MUL
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: MLOAD
00000600: PUSH1 0x20
00000602: PUSH2 0x0acc
00000605: DUP4
00000606: CODECOPY
00000607: DUP2
00000608: MLOAD
00000609: SWAP2
0000060a: MSTORE
0000060b: ADD
0000060c: SLOAD
0000060d: DUP2
0000060e: SLOAD
0000060f: SWAP1
00000610: SWAP2
00000611: SWAP1
00000612: DUP4
00000613: SWAP1
00000614: DUP2
00000615: LT
00000616: ISZERO
00000617: PUSH2 0x0002
0000061a: JUMPI
0000061b: PUSH1 0x04
0000061d: MUL
0000061e: PUSH1 0x00
00000620: DUP1
00000621: MLOAD
00000622: PUSH1 0x20
00000624: PUSH2 0x0aac
00000627: DUP4
00000628: CODECOPY
00000629: DUP2
0000062a: MLOAD
0000062b: SWAP2
0000062c: MSTORE
0000062d: ADD
0000062e: SLOAD
0000062f: PUSH1 0x06
00000631: SLOAD
00000632: SWAP3
00000633: ADD
00000634: DUP1
00000635: DUP8
00000636: MUL
00000637: SWAP3
00000638: SWAP1
00000639: SWAP3
0000063a: DIV
0000063b: SWAP7
0000063c: POP
0000063d: SWAP1
0000063e: SWAP3
0000063f: POP
00000640: POP
00000641: DUP3
00000642: DUP6
00000643: GT
00000644: ISZERO
00000645: PUSH2 0x064e
00000648: JUMPI
00000649: DUP3
0000064a: SWAP5
0000064b: POP
0000064c: DUP5
0000064d: POP
0000064e: JUMPDEST
0000064f: DUP5
00000650: PUSH1 0x00
00000652: PUSH1 0x00
00000654: POP
00000655: DUP3
00000656: DUP2
00000657: SLOAD
00000658: DUP2
00000659: LT
0000065a: ISZERO
0000065b: PUSH2 0x0002
0000065e: JUMPI
0000065f: DUP2
00000660: DUP1
00000661: MSTORE
00000662: PUSH1 0x04
00000664: MUL
00000665: PUSH1 0x00
00000667: DUP1
00000668: MLOAD
00000669: PUSH1 0x20
0000066b: PUSH2 0x0acc
0000066e: DUP4
0000066f: CODECOPY
00000670: DUP2
00000671: MLOAD
00000672: SWAP2
00000673: MSTORE
00000674: ADD
00000675: DUP1
00000676: SLOAD
00000677: SWAP1
00000678: SWAP3
00000679: ADD
0000067a: SWAP1
0000067b: SWAP2
0000067c: SSTORE
0000067d: SWAP3
0000067e: DUP6
0000067f: SWAP1
00000680: SUB
00000681: SWAP3
00000682: DUP4
00000683: EQ
00000684: ISZERO
00000685: PUSH2 0x0802
00000688: JUMPI
00000689: JUMPDEST
0000068a: DUP3
0000068b: SWAP4
0000068c: POP
0000068d: DUP4
0000068e: POP
0000068f: PUSH2 0x05d1
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH2 0x06a0
00000697: PUSH1 0x03
00000699: SLOAD
0000069a: DUP2
0000069b: JUMP
0000069c: JUMPDEST
0000069d: STOP
0000069e: JUMPDEST
0000069f: JUMP
000006a0: JUMPDEST
000006a1: PUSH1 0x40
000006a3: DUP1
000006a4: MLOAD
000006a5: SWAP2
000006a6: DUP3
000006a7: MSTORE
000006a8: MLOAD
000006a9: SWAP1
000006aa: DUP2
000006ab: SWAP1
000006ac: SUB
000006ad: PUSH1 0x20
000006af: ADD
000006b0: SWAP1
000006b1: RETURN
000006b2: JUMPDEST
000006b3: PUSH1 0x40
000006b5: DUP1
000006b6: MLOAD
000006b7: PUSH1 0x01
000006b9: PUSH1 0xa0
000006bb: PUSH1 0x02
000006bd: EXP
000006be: SUB
000006bf: DUP7
000006c0: AND
000006c1: DUP2
000006c2: MSTORE
000006c3: SWAP1
000006c4: DUP2
000006c5: ADD
000006c6: DUP4
000006c7: SWAP1
000006c8: MSTORE
000006c9: PUSH1 0x60
000006cb: DUP2
000006cc: ADD
000006cd: DUP3
000006ce: SWAP1
000006cf: MSTORE
000006d0: PUSH1 0x80
000006d2: PUSH1 0x20
000006d4: DUP3
000006d5: ADD
000006d6: DUP2
000006d7: DUP2
000006d8: MSTORE
000006d9: DUP6
000006da: SLOAD
000006db: PUSH1 0x02
000006dd: PUSH1 0x01
000006df: DUP3
000006e0: AND
000006e1: ISZERO
000006e2: PUSH2 0x0100
000006e5: MUL
000006e6: PUSH1 0x00
000006e8: NOT
000006e9: ADD
000006ea: SWAP1
000006eb: SWAP2
000006ec: AND
000006ed: DIV
000006ee: SWAP2
000006ef: DUP4
000006f0: ADD
000006f1: DUP3
000006f2: SWAP1
000006f3: MSTORE
000006f4: SWAP1
000006f5: PUSH1 0xa0
000006f7: DUP4
000006f8: ADD
000006f9: SWAP1
000006fa: DUP7
000006fb: SWAP1
000006fc: DUP1
000006fd: ISZERO
000006fe: PUSH2 0x0748
00000701: JUMPI
00000702: DUP1
00000703: PUSH1 0x1f
00000705: LT
00000706: PUSH2 0x071d
00000709: JUMPI
0000070a: PUSH2 0x0100
0000070d: DUP1
0000070e: DUP4
0000070f: SLOAD
00000710: DIV
00000711: MUL
00000712: DUP4
00000713: MSTORE
00000714: SWAP2
00000715: PUSH1 0x20
00000717: ADD
00000718: SWAP2
00000719: PUSH2 0x0748
0000071c: JUMP
0000071d: JUMPDEST
0000071e: DUP3
0000071f: ADD
00000720: SWAP2
00000721: SWAP1
00000722: PUSH1 0x00
00000724: MSTORE
00000725: PUSH1 0x20
00000727: PUSH1 0x00
00000729: KECCAK256
0000072a: SWAP1
0000072b: JUMPDEST
0000072c: DUP2
0000072d: SLOAD
0000072e: DUP2
0000072f: MSTORE
00000730: SWAP1
00000731: PUSH1 0x01
00000733: ADD
00000734: SWAP1
00000735: PUSH1 0x20
00000737: ADD
00000738: DUP1
00000739: DUP4
0000073a: GT
0000073b: PUSH2 0x072b
0000073e: JUMPI
0000073f: DUP3
00000740: SWAP1
00000741: SUB
00000742: PUSH1 0x1f
00000744: AND
00000745: DUP3
00000746: ADD
00000747: SWAP2
00000748: JUMPDEST
00000749: POP
0000074a: POP
0000074b: SWAP6
0000074c: POP
0000074d: POP
0000074e: POP
0000074f: POP
00000750: POP
00000751: POP
00000752: PUSH1 0x40
00000754: MLOAD
00000755: DUP1
00000756: SWAP2
00000757: SUB
00000758: SWAP1
00000759: RETURN
0000075a: JUMPDEST
0000075b: PUSH1 0x40
0000075d: DUP1
0000075e: MLOAD
0000075f: PUSH1 0x01
00000761: PUSH1 0xa0
00000763: PUSH1 0x02
00000765: EXP
00000766: SUB
00000767: SWAP3
00000768: SWAP1
00000769: SWAP3
0000076a: AND
0000076b: DUP3
0000076c: MSTORE
0000076d: MLOAD
0000076e: SWAP1
0000076f: DUP2
00000770: SWAP1
00000771: SUB
00000772: PUSH1 0x20
00000774: ADD
00000775: SWAP1
00000776: RETURN
00000777: JUMPDEST
00000778: PUSH2 0x077f
0000077b: PUSH2 0x058f
0000077e: JUMP
0000077f: JUMPDEST
00000780: PUSH2 0x069e
00000783: PUSH1 0x04
00000785: DUP1
00000786: SLOAD
00000787: CALLVALUE
00000788: SWAP1
00000789: DUP2
0000078a: ADD
0000078b: SWAP1
0000078c: SWAP2
0000078d: SSTORE
0000078e: PUSH1 0x06
00000790: DUP1
00000791: SLOAD
00000792: DUP3
00000793: ADD
00000794: SWAP1
00000795: SSTORE
00000796: CALLER
00000797: PUSH1 0x01
00000799: PUSH1 0xa0
0000079b: PUSH1 0x02
0000079d: EXP
0000079e: SUB
0000079f: AND
000007a0: PUSH1 0x00
000007a2: SWAP1
000007a3: DUP2
000007a4: MSTORE
000007a5: PUSH1 0x01
000007a7: PUSH1 0x20
000007a9: MSTORE
000007aa: PUSH1 0x40
000007ac: DUP2
000007ad: KECCAK256
000007ae: SLOAD
000007af: SWAP1
000007b0: DUP2
000007b1: DUP2
000007b2: EQ
000007b3: PUSH2 0x084a
000007b6: JUMPI
000007b7: DUP1
000007b8: SLOAD
000007b9: PUSH1 0x00
000007bb: NOT
000007bc: SWAP3
000007bd: SWAP1
000007be: SWAP3
000007bf: ADD
000007c0: SWAP2
000007c1: DUP4
000007c2: SWAP1
000007c3: DUP3
000007c4: SWAP1
000007c5: DUP5
000007c6: SWAP1
000007c7: DUP2
000007c8: LT
000007c9: ISZERO
000007ca: PUSH2 0x0002
000007cd: JUMPI
000007ce: POP
000007cf: POP
000007d0: POP
000007d1: DUP1
000007d2: DUP1
000007d3: MSTORE
000007d4: PUSH1 0x04
000007d6: DUP3
000007d7: MUL
000007d8: PUSH1 0x00
000007da: DUP1
000007db: MLOAD
000007dc: PUSH1 0x20
000007de: PUSH2 0x0aac
000007e1: DUP4
000007e2: CODECOPY
000007e3: DUP2
000007e4: MLOAD
000007e5: SWAP2
000007e6: MSTORE
000007e7: ADD
000007e8: DUP1
000007e9: SLOAD
000007ea: DUP5
000007eb: ADD
000007ec: SWAP1
000007ed: SSTORE
000007ee: PUSH2 0x01e2
000007f1: JUMP
000007f2: JUMPDEST
000007f3: PUSH1 0x06
000007f5: DUP1
000007f6: SLOAD
000007f7: DUP6
000007f8: ADD
000007f9: SWAP1
000007fa: SSTORE
000007fb: JUMPDEST
000007fc: POP
000007fd: POP
000007fe: POP
000007ff: POP
00000800: POP
00000801: JUMP
00000802: JUMPDEST
00000803: PUSH1 0x01
00000805: ADD
00000806: PUSH2 0x05de
00000809: JUMP
0000080a: JUMPDEST
0000080b: PUSH2 0x0002
0000080e: JUMP
0000080f: JUMPDEST
00000810: POP
00000811: POP
00000812: JUMPDEST
00000813: POP
00000814: POP
00000815: JUMP
00000816: JUMPDEST
00000817: DUP3
00000818: DUP1
00000819: ADD
0000081a: PUSH1 0x01
0000081c: ADD
0000081d: DUP6
0000081e: SSTORE
0000081f: DUP3
00000820: ISZERO
00000821: PUSH2 0x0352
00000824: JUMPI
00000825: SWAP2
00000826: DUP3
00000827: ADD
00000828: JUMPDEST
00000829: DUP3
0000082a: DUP2
0000082b: GT
0000082c: ISZERO
0000082d: PUSH2 0x0352
00000830: JUMPI
00000831: DUP3
00000832: MLOAD
00000833: DUP3
00000834: PUSH1 0x00
00000836: POP
00000837: SSTORE
00000838: SWAP2
00000839: PUSH1 0x20
0000083b: ADD
0000083c: SWAP2
0000083d: SWAP1
0000083e: PUSH1 0x01
00000840: ADD
00000841: SWAP1
00000842: PUSH2 0x0828
00000845: JUMP
00000846: JUMPDEST
00000847: POP
00000848: SWAP1
00000849: JUMP
0000084a: JUMPDEST
0000084b: POP
0000084c: PUSH1 0x00
0000084e: DUP1
0000084f: SLOAD
00000850: PUSH1 0x01
00000852: DUP2
00000853: ADD
00000854: DUP1
00000855: DUP4
00000856: SSTORE
00000857: SWAP1
00000858: SWAP2
00000859: DUP2
0000085a: DUP4
0000085b: DUP1
0000085c: ISZERO
0000085d: DUP3
0000085e: SWAP1
0000085f: GT
00000860: PUSH2 0x0882
00000863: JUMPI
00000864: PUSH1 0x04
00000866: MUL
00000867: DUP2
00000868: PUSH1 0x04
0000086a: MUL
0000086b: DUP4
0000086c: PUSH1 0x00
0000086e: MSTORE
0000086f: PUSH1 0x20
00000871: PUSH1 0x00
00000873: KECCAK256
00000874: SWAP2
00000875: DUP3
00000876: ADD
00000877: SWAP2
00000878: ADD
00000879: PUSH2 0x0882
0000087c: SWAP2
0000087d: SWAP1
0000087e: PUSH2 0x0987
00000881: JUMP
00000882: JUMPDEST
00000883: POP
00000884: POP
00000885: POP
00000886: POP
00000887: CALLER
00000888: PUSH1 0x00
0000088a: PUSH1 0x00
0000088c: POP
0000088d: DUP3
0000088e: DUP2
0000088f: SLOAD
00000890: DUP2
00000891: LT
00000892: ISZERO
00000893: PUSH2 0x0002
00000896: JUMPI
00000897: POP
00000898: DUP1
00000899: DUP1
0000089a: MSTORE
0000089b: PUSH1 0x04
0000089d: DUP4
0000089e: MUL
0000089f: PUSH1 0x00
000008a1: DUP1
000008a2: MLOAD
000008a3: PUSH1 0x20
000008a5: PUSH2 0x0a8c
000008a8: DUP4
000008a9: CODECOPY
000008aa: DUP2
000008ab: MLOAD
000008ac: SWAP2
000008ad: MSTORE
000008ae: ADD
000008af: SWAP1
000008b0: POP
000008b1: DUP1
000008b2: SLOAD
000008b3: PUSH1 0x01
000008b5: PUSH1 0xa0
000008b7: PUSH1 0x02
000008b9: EXP
000008ba: SUB
000008bb: NOT
000008bc: AND
000008bd: SWAP1
000008be: SWAP2
000008bf: OR
000008c0: SWAP1
000008c1: SSTORE
000008c2: PUSH1 0x40
000008c4: DUP1
000008c5: MLOAD
000008c6: DUP1
000008c7: DUP3
000008c8: ADD
000008c9: SWAP1
000008ca: SWAP2
000008cb: MSTORE
000008cc: PUSH1 0x13
000008ce: DUP2
000008cf: MSTORE
000008d0: PUSH32 0x756e6e616d6564207368617265686f6c64657200000000000000000000000000
000008f1: PUSH1 0x20
000008f3: DUP3
000008f4: ADD
000008f5: MSTORE
000008f6: PUSH1 0x00
000008f8: DUP1
000008f9: SLOAD
000008fa: DUP4
000008fb: SWAP1
000008fc: DUP2
000008fd: LT
000008fe: ISZERO
000008ff: PUSH2 0x0002
00000902: JUMPI
00000903: POP
00000904: DUP1
00000905: DUP1
00000906: MSTORE
00000907: PUSH1 0x04
00000909: DUP4
0000090a: MUL
0000090b: PUSH1 0x00
0000090d: DUP1
0000090e: MLOAD
0000090f: PUSH1 0x20
00000911: PUSH2 0x0a8c
00000914: DUP4
00000915: CODECOPY
00000916: DUP2
00000917: MLOAD
00000918: SWAP2
00000919: MSTORE
0000091a: ADD
0000091b: SWAP1
0000091c: POP
0000091d: PUSH1 0x01
0000091f: ADD
00000920: PUSH1 0x00
00000922: POP
00000923: SWAP1
00000924: DUP1
00000925: MLOAD
00000926: SWAP1
00000927: PUSH1 0x20
00000929: ADD
0000092a: SWAP1
0000092b: DUP3
0000092c: DUP1
0000092d: SLOAD
0000092e: PUSH1 0x01
00000930: DUP2
00000931: PUSH1 0x01
00000933: AND
00000934: ISZERO
00000935: PUSH2 0x0100
00000938: MUL
00000939: SUB
0000093a: AND
0000093b: PUSH1 0x02
0000093d: SWAP1
0000093e: DIV
0000093f: SWAP1
00000940: PUSH1 0x00
00000942: MSTORE
00000943: PUSH1 0x20
00000945: PUSH1 0x00
00000947: KECCAK256
00000948: SWAP1
00000949: PUSH1 0x1f
0000094b: ADD
0000094c: PUSH1 0x20
0000094e: SWAP1
0000094f: DIV
00000950: DUP2
00000951: ADD
00000952: SWAP3
00000953: DUP3
00000954: PUSH1 0x1f
00000956: LT
00000957: PUSH2 0x09e9
0000095a: JUMPI
0000095b: DUP1
0000095c: MLOAD
0000095d: PUSH1 0xff
0000095f: NOT
00000960: AND
00000961: DUP4
00000962: DUP1
00000963: ADD
00000964: OR
00000965: DUP6
00000966: SSTORE
00000967: JUMPDEST
00000968: POP
00000969: PUSH2 0x0a19
0000096c: SWAP3
0000096d: SWAP2
0000096e: POP
0000096f: PUSH2 0x035a
00000972: JUMP
00000973: JUMPDEST
00000974: POP
00000975: POP
00000976: PUSH1 0x00
00000978: PUSH1 0x02
0000097a: DUP3
0000097b: ADD
0000097c: DUP2
0000097d: SWAP1
0000097e: SSTORE
0000097f: PUSH1 0x03
00000981: DUP3
00000982: ADD
00000983: SSTORE
00000984: PUSH1 0x01
00000986: ADD
00000987: JUMPDEST
00000988: DUP1
00000989: DUP3
0000098a: GT
0000098b: ISZERO
0000098c: PUSH2 0x0846
0000098f: JUMPI
00000990: DUP1
00000991: SLOAD
00000992: PUSH1 0x01
00000994: PUSH1 0xa0
00000996: PUSH1 0x02
00000998: EXP
00000999: SUB
0000099a: NOT
0000099b: AND
0000099c: DUP2
0000099d: SSTORE
0000099e: PUSH1 0x01
000009a0: DUP2
000009a1: DUP2
000009a2: ADD
000009a3: DUP1
000009a4: SLOAD
000009a5: PUSH1 0x00
000009a7: DUP1
000009a8: DUP4
000009a9: SSTORE
000009aa: SWAP3
000009ab: PUSH1 0x02
000009ad: SWAP1
000009ae: DUP3
000009af: AND
000009b0: ISZERO
000009b1: PUSH2 0x0100
000009b4: MUL
000009b5: PUSH1 0x00
000009b7: NOT
000009b8: ADD
000009b9: SWAP1
000009ba: SWAP2
000009bb: AND
000009bc: DIV
000009bd: PUSH1 0x1f
000009bf: DUP2
000009c0: SWAP1
000009c1: LT
000009c2: PUSH2 0x09cb
000009c5: JUMPI
000009c6: POP
000009c7: PUSH2 0x0973
000009ca: JUMP
000009cb: JUMPDEST
000009cc: PUSH1 0x1f
000009ce: ADD
000009cf: PUSH1 0x20
000009d1: SWAP1
000009d2: DIV
000009d3: SWAP1
000009d4: PUSH1 0x00
000009d6: MSTORE
000009d7: PUSH1 0x20
000009d9: PUSH1 0x00
000009db: KECCAK256
000009dc: SWAP1
000009dd: DUP2
000009de: ADD
000009df: SWAP1
000009e0: PUSH2 0x0973
000009e3: SWAP2
000009e4: SWAP1
000009e5: PUSH2 0x035a
000009e8: JUMP
000009e9: JUMPDEST
000009ea: DUP3
000009eb: DUP1
000009ec: ADD
000009ed: PUSH1 0x01
000009ef: ADD
000009f0: DUP6
000009f1: SSTORE
000009f2: DUP3
000009f3: ISZERO
000009f4: PUSH2 0x0967
000009f7: JUMPI
000009f8: SWAP2
000009f9: DUP3
000009fa: ADD
000009fb: JUMPDEST
000009fc: DUP3
000009fd: DUP2
000009fe: GT
000009ff: ISZERO
00000a00: PUSH2 0x0967
00000a03: JUMPI
00000a04: DUP3
00000a05: MLOAD
00000a06: DUP3
00000a07: PUSH1 0x00
00000a09: POP
00000a0a: SSTORE
00000a0b: SWAP2
00000a0c: PUSH1 0x20
00000a0e: ADD
00000a0f: SWAP2
00000a10: SWAP1
00000a11: PUSH1 0x01
00000a13: ADD
00000a14: SWAP1
00000a15: PUSH2 0x09fb
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: POP
00000a1b: POP
00000a1c: DUP3
00000a1d: PUSH1 0x00
00000a1f: PUSH1 0x00
00000a21: POP
00000a22: DUP3
00000a23: DUP2
00000a24: SLOAD
00000a25: DUP2
00000a26: LT
00000a27: ISZERO
00000a28: PUSH2 0x0002
00000a2b: JUMPI
00000a2c: DUP2
00000a2d: DUP1
00000a2e: MSTORE
00000a2f: PUSH1 0x00
00000a31: DUP1
00000a32: MLOAD
00000a33: PUSH1 0x20
00000a35: PUSH2 0x0aac
00000a38: DUP4
00000a39: CODECOPY
00000a3a: DUP2
00000a3b: MLOAD
00000a3c: SWAP2
00000a3d: MSTORE
00000a3e: PUSH1 0x04
00000a40: DUP3
00000a41: MUL
00000a42: ADD
00000a43: SWAP3
00000a44: SWAP1
00000a45: SWAP3
00000a46: SSTORE
00000a47: DUP1
00000a48: SLOAD
00000a49: SWAP1
00000a4a: SWAP2
00000a4b: DUP3
00000a4c: SWAP2
00000a4d: DUP2
00000a4e: LT
00000a4f: ISZERO
00000a50: PUSH2 0x0002
00000a53: JUMPI
00000a54: POP
00000a55: POP
00000a56: PUSH1 0x00
00000a58: DUP1
00000a59: MLOAD
00000a5a: PUSH1 0x20
00000a5c: PUSH2 0x0acc
00000a5f: DUP4
00000a60: CODECOPY
00000a61: DUP2
00000a62: MLOAD
00000a63: SWAP2
00000a64: MSTORE
00000a65: PUSH1 0x04
00000a67: DUP4
00000a68: MUL
00000a69: ADD
00000a6a: DUP2
00000a6b: SWAP1
00000a6c: SSTORE
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0xa0
00000a71: PUSH1 0x02
00000a73: EXP
00000a74: SUB
00000a75: CALLER
00000a76: AND
00000a77: DUP2
00000a78: MSTORE
00000a79: PUSH1 0x01
00000a7b: PUSH1 0x20
00000a7d: DUP2
00000a7e: SWAP1
00000a7f: MSTORE
00000a80: PUSH1 0x40
00000a82: SWAP1
00000a83: SWAP2
00000a84: KECCAK256
00000a85: SWAP2
00000a86: ADD
00000a87: SWAP1
00000a88: SSTORE
00000a89: POP
00000a8a: POP
00000a8b: JUMP
00000a8c: UNKNOWN(0x29)
00000a8d: UNKNOWN(0x0D)
00000a8e: UNKNOWN(0xEC)
00000a8f: UNKNOWN(0xD9)
00000a90: SLOAD
00000a91: DUP12
00000a92: PUSH3 0xa8d603
00000a96: GASLIMIT
00000a97: UNKNOWN(0xA9)
00000a98: DUP9
00000a99: CODESIZE
00000a9a: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000aab: PUSH4 0x290decd9
00000ab0: SLOAD
00000ab1: DUP12
00000ab2: PUSH3 0xa8d603
00000ab6: GASLIMIT
00000ab7: UNKNOWN(0xA9)
00000ab8: DUP9
00000ab9: CODESIZE
00000aba: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000acb: PUSH6 0x290decd9548b
00000ad2: PUSH3 0xa8d603
00000ad6: GASLIMIT
00000ad7: UNKNOWN(0xA9)
00000ad8: DUP9
00000ad9: CODESIZE
00000ada: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000aeb: PUSH7
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: 0x3d78cf4d5c9de7c7e9e6a43858466844408dd1b4a0f2965c7261f2da02a6f5c5
call_targets: 0x3693eec590121dfdd103b9cb6b34f94096eb0619
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3d78cf4d5c9de7c7e9e6a43858466844408dd1b4a0f2965c7261f2da02a6f5c5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3693eec590121dfdd103b9cb6b34f94096eb0619"
    ],
    "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": "0x037329c9",
            "selector": "0x037329c9",
            "calldata_variants": [
                "0x037329c9",
                "0x037329c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08714bfa",
            "selector": "0x08714bfa",
            "calldata_variants": [
                "0x08714bfa",
                "0x08714bfa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x31ef107f",
            "selector": "0x31ef107f",
            "calldata_variants": [
                "0x31ef107f",
                "0x31ef107f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x37c08923",
            "selector": "0x37c08923",
            "calldata_variants": [
                "0x37c08923",
                "0x37c089230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x395b9467",
            "selector": "0x395b9467",
            "calldata_variants": [
                "0x395b9467",
                "0x395b94670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5353a2d8",
            "selector": "0x5353a2d8",
            "calldata_variants": [
                "0x5353a2d8",
                "0x5353a2d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x712c7901",
            "selector": "0x712c7901",
            "calldata_variants": [
                "0x712c7901",
                "0x712c79010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x86001519",
            "selector": "0x86001519",
            "calldata_variants": [
                "0x86001519",
                "0x860015190000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 338,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 418,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 547,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x3d78cf4d5c9de7c7e9e6a43858466844408dd1b4a0f2965c7261f2da02a6f5c5
call_targets: 0x3693eec590121dfdd103b9cb6b34f94096eb0619
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3d78cf4d5c9de7c7e9e6a43858466844408dd1b4a0f2965c7261f2da02a6f5c5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3693eec590121dfdd103b9cb6b34f94096eb0619"
    ],
    "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": "0x037329c9",
            "selector": "0x037329c9",
            "calldata_variants": [
                "0x037329c9",
                "0x037329c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08714bfa",
            "selector": "0x08714bfa",
            "calldata_variants": [
                "0x08714bfa",
                "0x08714bfa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x31ef107f",
            "selector": "0x31ef107f",
            "calldata_variants": [
                "0x31ef107f",
                "0x31ef107f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x37c08923",
            "selector": "0x37c08923",
            "calldata_variants": [
                "0x37c08923",
                "0x37c089230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x395b9467",
            "selector": "0x395b9467",
            "calldata_variants": [
                "0x395b9467",
                "0x395b94670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5353a2d8",
            "selector": "0x5353a2d8",
            "calldata_variants": [
                "0x5353a2d8",
                "0x5353a2d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x712c7901",
            "selector": "0x712c7901",
            "calldata_variants": [
                "0x712c7901",
                "0x712c79010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x86001519",
            "selector": "0x86001519",
            "calldata_variants": [
                "0x86001519",
                "0x860015190000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 338,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 418,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 547,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}