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

Analysis Run

019b3836-394e-71bc-9823-d3502b1e8590

complete
Chain ID
1
Address
0x48e1db807c9a356550c4dfb5135b3eea4fa0fca5
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
4063 artifact.fetch complete 1 / 3 4 months ago
4064 tool.cast_disasm complete 1 / 3 4 months ago
80255 analysis.bundle complete 1 / 3 2 weeks ago
80256 capability.graph complete 1 / 3 2 weeks ago
80257 detector.run complete 1 / 3 2 weeks ago
80258 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)
10
EXT*/BALANCE
0
Total opcodes
1807
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00fb
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x034258ab
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00fd
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x20879c19
00000025: EQ
00000026: PUSH2 0x010f
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x220cf6c5
00000030: EQ
00000031: PUSH2 0x01cb
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x228cb733
0000003b: EQ
0000003c: PUSH2 0x0248
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x332d2b87
00000046: EQ
00000047: PUSH2 0x0251
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x4bb278f3
00000051: EQ
00000052: PUSH2 0x025a
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x52f62631
0000005c: EQ
0000005d: PUSH2 0x0285
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x74b1c33f
00000067: EQ
00000068: PUSH2 0x028e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x89bb774b
00000072: EQ
00000073: PUSH2 0x0297
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x8bd1762b
0000007d: EQ
0000007e: PUSH2 0x02a0
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x90e15e5e
00000088: EQ
00000089: PUSH2 0x033b
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x974c67cb
00000093: EQ
00000094: PUSH2 0x0344
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x9fe833e3
0000009e: EQ
0000009f: PUSH2 0x0355
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xb3f05b97
000000a9: EQ
000000aa: PUSH2 0x035e
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xbb15120a
000000b4: EQ
000000b5: PUSH2 0x036a
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xcb8a9a5f
000000bf: EQ
000000c0: PUSH2 0x0373
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xe2afd2f1
000000ca: EQ
000000cb: PUSH2 0x037c
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xe7c9f24c
000000d5: EQ
000000d6: PUSH2 0x038e
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xee76be97
000000e0: EQ
000000e1: PUSH2 0x039a
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xfcfffba1
000000eb: EQ
000000ec: PUSH2 0x03cc
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xfd77fdfb
000000f6: EQ
000000f7: PUSH2 0x03d5
000000fa: JUMPI
000000fb: JUMPDEST
000000fc: STOP
000000fd: JUMPDEST
000000fe: PUSH2 0x03de
00000101: PUSH1 0x0a
00000103: SLOAD
00000104: PUSH1 0x01
00000106: PUSH1 0xa0
00000108: PUSH1 0x02
0000010a: EXP
0000010b: SUB
0000010c: AND
0000010d: DUP2
0000010e: JUMP
0000010f: JUMPDEST
00000110: PUSH1 0x40
00000112: DUP1
00000113: MLOAD
00000114: PUSH1 0x20
00000116: PUSH1 0x44
00000118: CALLDATALOAD
00000119: PUSH1 0x04
0000011b: DUP2
0000011c: DUP2
0000011d: ADD
0000011e: CALLDATALOAD
0000011f: PUSH1 0x1f
00000121: DUP2
00000122: ADD
00000123: DUP5
00000124: SWAP1
00000125: DIV
00000126: DUP5
00000127: MUL
00000128: DUP6
00000129: ADD
0000012a: DUP5
0000012b: ADD
0000012c: SWAP1
0000012d: SWAP6
0000012e: MSTORE
0000012f: DUP5
00000130: DUP5
00000131: MSTORE
00000132: PUSH2 0x03fb
00000135: SWAP5
00000136: DUP2
00000137: CALLDATALOAD
00000138: SWAP5
00000139: PUSH1 0x24
0000013b: DUP1
0000013c: CALLDATALOAD
0000013d: SWAP6
0000013e: SWAP4
0000013f: SWAP5
00000140: PUSH1 0x64
00000142: SWAP5
00000143: SWAP3
00000144: SWAP4
00000145: SWAP2
00000146: ADD
00000147: SWAP2
00000148: DUP2
00000149: SWAP1
0000014a: DUP5
0000014b: ADD
0000014c: DUP4
0000014d: DUP3
0000014e: DUP1
0000014f: DUP3
00000150: DUP5
00000151: CALLDATACOPY
00000152: POP
00000153: SWAP5
00000154: SWAP7
00000155: POP
00000156: POP
00000157: POP
00000158: POP
00000159: POP
0000015a: POP
0000015b: POP
0000015c: JUMPDEST
0000015d: PUSH1 0x00
0000015f: PUSH1 0x01
00000161: PUSH1 0xa0
00000163: PUSH1 0x02
00000165: EXP
00000166: SUB
00000167: DUP5
00000168: AND
00000169: DUP2
0000016a: DUP1
0000016b: DUP1
0000016c: DUP1
0000016d: DUP1
0000016e: DUP1
0000016f: DUP1
00000170: DUP1
00000171: JUMPDEST
00000172: PUSH1 0x20
00000174: DUP7
00000175: LT
00000176: ISZERO
00000177: PUSH2 0x040d
0000017a: JUMPI
0000017b: PUSH1 0x10
0000017d: DUP10
0000017e: MOD
0000017f: SWAP5
00000180: POP
00000181: PUSH1 0x0a
00000183: DUP6
00000184: LT
00000185: ISZERO
00000186: PUSH2 0x046c
00000189: JUMPI
0000018a: DUP5
0000018b: PUSH1 0x30
0000018d: ADD
0000018e: PUSH1 0xf8
00000190: PUSH1 0x02
00000192: EXP
00000193: MUL
00000194: DUP8
00000195: DUP8
00000196: PUSH1 0x1f
00000198: SUB
00000199: PUSH1 0x20
0000019b: DUP2
0000019c: LT
0000019d: ISZERO
0000019e: PUSH2 0x0002
000001a1: JUMPI
000001a2: PUSH1 0x20
000001a4: DUP1
000001a5: DUP3
000001a6: DIV
000001a7: SWAP1
000001a8: SWAP3
000001a9: ADD
000001aa: SWAP2
000001ab: SWAP1
000001ac: MOD
000001ad: PUSH2 0x0100
000001b0: EXP
000001b1: DUP2
000001b2: SLOAD
000001b3: DUP2
000001b4: PUSH1 0xff
000001b6: MUL
000001b7: NOT
000001b8: AND
000001b9: SWAP1
000001ba: DUP4
000001bb: PUSH1 0xf8
000001bd: PUSH1 0x02
000001bf: EXP
000001c0: SWAP1
000001c1: DIV
000001c2: MUL
000001c3: OR
000001c4: SWAP1
000001c5: SSTORE
000001c6: POP
000001c7: PUSH2 0x04ab
000001ca: JUMP
000001cb: JUMPDEST
000001cc: PUSH1 0x40
000001ce: DUP1
000001cf: MLOAD
000001d0: PUSH1 0x20
000001d2: PUSH1 0x24
000001d4: DUP1
000001d5: CALLDATALOAD
000001d6: PUSH1 0x04
000001d8: DUP2
000001d9: DUP2
000001da: ADD
000001db: CALLDATALOAD
000001dc: PUSH1 0x1f
000001de: DUP2
000001df: ADD
000001e0: DUP6
000001e1: SWAP1
000001e2: DIV
000001e3: DUP6
000001e4: MUL
000001e5: DUP7
000001e6: ADD
000001e7: DUP6
000001e8: ADD
000001e9: SWAP1
000001ea: SWAP7
000001eb: MSTORE
000001ec: DUP6
000001ed: DUP6
000001ee: MSTORE
000001ef: PUSH2 0x00fb
000001f2: SWAP6
000001f3: DUP2
000001f4: CALLDATALOAD
000001f5: SWAP6
000001f6: SWAP2
000001f7: SWAP5
000001f8: PUSH1 0x44
000001fa: SWAP5
000001fb: SWAP3
000001fc: SWAP4
000001fd: SWAP1
000001fe: SWAP3
000001ff: ADD
00000200: SWAP2
00000201: DUP2
00000202: SWAP1
00000203: DUP5
00000204: ADD
00000205: DUP4
00000206: DUP3
00000207: DUP1
00000208: DUP3
00000209: DUP5
0000020a: CALLDATACOPY
0000020b: POP
0000020c: SWAP5
0000020d: SWAP7
0000020e: POP
0000020f: POP
00000210: POP
00000211: POP
00000212: POP
00000213: POP
00000214: POP
00000215: PUSH1 0x08
00000217: SLOAD
00000218: PUSH1 0x02
0000021a: EQ
0000021b: PUSH2 0x0225
0000021e: JUMPI
0000021f: PUSH1 0x00
00000221: NOT
00000222: PUSH1 0x0f
00000224: SSTORE
00000225: JUMPDEST
00000226: PUSH1 0x09
00000228: SLOAD
00000229: PUSH1 0x01
0000022b: PUSH1 0xa0
0000022d: PUSH1 0x02
0000022f: EXP
00000230: SUB
00000231: SWAP1
00000232: DUP2
00000233: AND
00000234: CALLER
00000235: SWAP1
00000236: SWAP2
00000237: AND
00000238: EQ
00000239: ISZERO
0000023a: PUSH2 0x0712
0000023d: JUMPI
0000023e: PUSH2 0x0735
00000241: CALLER
00000242: DUP4
00000243: DUP4
00000244: PUSH2 0x015c
00000247: JUMP
00000248: JUMPDEST
00000249: PUSH2 0x03fb
0000024c: PUSH1 0x0b
0000024e: SLOAD
0000024f: DUP2
00000250: JUMP
00000251: JUMPDEST
00000252: PUSH2 0x03fb
00000255: PUSH1 0x08
00000257: SLOAD
00000258: DUP2
00000259: JUMP
0000025a: JUMPDEST
0000025b: PUSH2 0x00fb
0000025e: PUSH1 0x0c
00000260: SLOAD
00000261: PUSH1 0xff
00000263: AND
00000264: ISZERO
00000265: ISZERO
00000266: PUSH2 0x07d8
00000269: JUMPI
0000026a: PUSH1 0x07
0000026c: SLOAD
0000026d: PUSH1 0x01
0000026f: SLOAD
00000270: NUMBER
00000271: SWAP2
00000272: SWAP1
00000273: SWAP2
00000274: SUB
00000275: LT
00000276: ISZERO
00000277: PUSH2 0x07e1
0000027a: JUMPI
0000027b: PUSH1 0x01
0000027d: NOT
0000027e: PUSH1 0x10
00000280: SSTORE
00000281: PUSH2 0x07df
00000284: JUMP
00000285: JUMPDEST
00000286: PUSH2 0x03fb
00000289: PUSH1 0x0d
0000028b: SLOAD
0000028c: DUP2
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH2 0x03fb
00000292: PUSH1 0x07
00000294: SLOAD
00000295: DUP2
00000296: JUMP
00000297: JUMPDEST
00000298: PUSH2 0x03fb
0000029b: PUSH1 0x03
0000029d: SLOAD
0000029e: DUP2
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH2 0x00fb
000002a4: PUSH1 0x04
000002a6: CALLDATALOAD
000002a7: PUSH1 0x08
000002a9: SLOAD
000002aa: PUSH1 0x00
000002ac: EQ
000002ad: DUP1
000002ae: ISZERO
000002af: PUSH2 0x02ba
000002b2: JUMPI
000002b3: POP
000002b4: PUSH1 0x00
000002b6: SLOAD
000002b7: CALLVALUE
000002b8: LT
000002b9: ISZERO
000002ba: JUMPDEST
000002bb: ISZERO
000002bc: PUSH2 0x0657
000002bf: JUMPI
000002c0: PUSH1 0x0b
000002c2: DUP1
000002c3: SLOAD
000002c4: CALLVALUE
000002c5: SWAP1
000002c6: DUP2
000002c7: ADD
000002c8: SWAP1
000002c9: SWAP2
000002ca: SSTORE
000002cb: PUSH1 0x09
000002cd: DUP1
000002ce: SLOAD
000002cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e4: NOT
000002e5: AND
000002e6: CALLER
000002e7: OR
000002e8: SWAP1
000002e9: SSTORE
000002ea: PUSH1 0x04
000002ec: DUP3
000002ed: SWAP1
000002ee: SSTORE
000002ef: PUSH1 0x08
000002f1: DUP1
000002f2: SLOAD
000002f3: PUSH1 0x01
000002f5: ADD
000002f6: SWAP1
000002f7: SSTORE
000002f8: PUSH1 0x00
000002fa: DUP1
000002fb: SLOAD
000002fc: SWAP1
000002fd: SWAP2
000002fe: SUB
000002ff: GT
00000300: ISZERO
00000301: PUSH2 0x0331
00000304: JUMPI
00000305: PUSH1 0x00
00000307: DUP1
00000308: SLOAD
00000309: PUSH1 0x40
0000030b: MLOAD
0000030c: CALLER
0000030d: PUSH1 0x01
0000030f: PUSH1 0xa0
00000311: PUSH1 0x02
00000313: EXP
00000314: SUB
00000315: AND
00000316: SWAP3
00000317: SWAP2
00000318: CALLVALUE
00000319: SUB
0000031a: SWAP1
0000031b: DUP3
0000031c: DUP2
0000031d: DUP2
0000031e: DUP2
0000031f: DUP6
00000320: DUP9
00000321: DUP4
00000322: CALL
00000323: POP
00000324: POP
00000325: PUSH1 0x0b
00000327: DUP1
00000328: SLOAD
00000329: SWAP2
0000032a: SWAP1
0000032b: SWAP2
0000032c: SUB
0000032d: SWAP1
0000032e: SSTORE
0000032f: POP
00000330: POP
00000331: JUMPDEST
00000332: PUSH1 0x00
00000334: PUSH1 0x0e
00000336: SSTORE
00000337: PUSH2 0x070f
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH2 0x03fb
0000033f: PUSH1 0x02
00000341: SLOAD
00000342: DUP2
00000343: JUMP
00000344: JUMPDEST
00000345: PUSH2 0x03fb
00000348: PUSH1 0x06
0000034a: SLOAD
0000034b: PUSH2 0x0100
0000034e: SWAP1
0000034f: DIV
00000350: PUSH1 0xff
00000352: AND
00000353: DUP2
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH2 0x03fb
00000359: PUSH1 0x05
0000035b: SLOAD
0000035c: DUP2
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH2 0x03fb
00000362: PUSH1 0x0c
00000364: SLOAD
00000365: PUSH1 0xff
00000367: AND
00000368: DUP2
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH2 0x03fb
0000036e: PUSH1 0x04
00000370: SLOAD
00000371: DUP2
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH2 0x03fb
00000377: PUSH1 0x0f
00000379: SLOAD
0000037a: DUP2
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH2 0x03de
00000380: PUSH1 0x09
00000382: SLOAD
00000383: PUSH1 0x01
00000385: PUSH1 0xa0
00000387: PUSH1 0x02
00000389: EXP
0000038a: SUB
0000038b: AND
0000038c: DUP2
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH2 0x03fb
00000392: PUSH1 0x06
00000394: SLOAD
00000395: PUSH1 0xff
00000397: AND
00000398: DUP2
00000399: JUMP
0000039a: JUMPDEST
0000039b: PUSH2 0x03fb
0000039e: PUSH1 0x04
000003a0: CALLDATALOAD
000003a1: PUSH1 0x24
000003a3: CALLDATALOAD
000003a4: PUSH1 0x11
000003a6: DUP3
000003a7: PUSH1 0x03
000003a9: DUP2
000003aa: LT
000003ab: ISZERO
000003ac: PUSH2 0x0002
000003af: JUMPI
000003b0: PUSH1 0x03
000003b2: MUL
000003b3: ADD
000003b4: PUSH1 0x00
000003b6: POP
000003b7: DUP2
000003b8: PUSH1 0x03
000003ba: DUP2
000003bb: LT
000003bc: ISZERO
000003bd: PUSH2 0x0002
000003c0: JUMPI
000003c1: ADD
000003c2: PUSH1 0x00
000003c4: SWAP2
000003c5: POP
000003c6: SWAP2
000003c7: POP
000003c8: POP
000003c9: SLOAD
000003ca: DUP2
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH2 0x03fb
000003d0: PUSH1 0x10
000003d2: SLOAD
000003d3: DUP2
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH2 0x03fb
000003d9: PUSH1 0x0e
000003db: SLOAD
000003dc: DUP2
000003dd: JUMP
000003de: JUMPDEST
000003df: PUSH1 0x40
000003e1: DUP1
000003e2: MLOAD
000003e3: PUSH1 0x01
000003e5: PUSH1 0xa0
000003e7: PUSH1 0x02
000003e9: EXP
000003ea: SUB
000003eb: SWAP3
000003ec: SWAP1
000003ed: SWAP3
000003ee: AND
000003ef: DUP3
000003f0: MSTORE
000003f1: MLOAD
000003f2: SWAP1
000003f3: DUP2
000003f4: SWAP1
000003f5: SUB
000003f6: PUSH1 0x20
000003f8: ADD
000003f9: SWAP1
000003fa: RETURN
000003fb: JUMPDEST
000003fc: PUSH1 0x40
000003fe: DUP1
000003ff: MLOAD
00000400: SWAP2
00000401: DUP3
00000402: MSTORE
00000403: MLOAD
00000404: SWAP1
00000405: DUP2
00000406: SWAP1
00000407: SUB
00000408: PUSH1 0x20
0000040a: ADD
0000040b: SWAP1
0000040c: RETURN
0000040d: JUMPDEST
0000040e: PUSH1 0x00
00000410: SWAP6
00000411: POP
00000412: JUMPDEST
00000413: PUSH1 0x08
00000415: DUP7
00000416: LT
00000417: ISZERO
00000418: PUSH2 0x04bd
0000041b: JUMPI
0000041c: PUSH1 0x10
0000041e: DUP10
0000041f: MOD
00000420: SWAP5
00000421: POP
00000422: PUSH1 0x0a
00000424: DUP6
00000425: LT
00000426: ISZERO
00000427: PUSH2 0x0520
0000042a: JUMPI
0000042b: DUP5
0000042c: PUSH1 0x30
0000042e: ADD
0000042f: PUSH1 0xf8
00000431: PUSH1 0x02
00000433: EXP
00000434: MUL
00000435: DUP9
00000436: DUP8
00000437: PUSH1 0x09
00000439: SUB
0000043a: PUSH1 0x0a
0000043c: DUP2
0000043d: LT
0000043e: ISZERO
0000043f: PUSH2 0x0002
00000442: JUMPI
00000443: PUSH1 0x20
00000445: DUP1
00000446: DUP3
00000447: DIV
00000448: SWAP1
00000449: SWAP3
0000044a: ADD
0000044b: SWAP2
0000044c: SWAP1
0000044d: MOD
0000044e: PUSH2 0x0100
00000451: EXP
00000452: DUP2
00000453: SLOAD
00000454: DUP2
00000455: PUSH1 0xff
00000457: MUL
00000458: NOT
00000459: AND
0000045a: SWAP1
0000045b: DUP4
0000045c: PUSH1 0xf8
0000045e: PUSH1 0x02
00000460: EXP
00000461: SWAP1
00000462: DIV
00000463: MUL
00000464: OR
00000465: SWAP1
00000466: SSTORE
00000467: POP
00000468: PUSH2 0x055f
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH1 0x57
0000046f: DUP6
00000470: ADD
00000471: PUSH1 0xf8
00000473: PUSH1 0x02
00000475: EXP
00000476: MUL
00000477: DUP8
00000478: PUSH1 0x1f
0000047a: DUP9
0000047b: SWAP1
0000047c: SUB
0000047d: PUSH1 0x20
0000047f: DUP2
00000480: LT
00000481: ISZERO
00000482: PUSH2 0x0002
00000485: JUMPI
00000486: PUSH1 0x20
00000488: DUP1
00000489: DUP3
0000048a: DIV
0000048b: SWAP1
0000048c: SWAP3
0000048d: ADD
0000048e: SWAP2
0000048f: SWAP1
00000490: MOD
00000491: PUSH2 0x0100
00000494: EXP
00000495: DUP2
00000496: SLOAD
00000497: DUP2
00000498: PUSH1 0xff
0000049a: MUL
0000049b: NOT
0000049c: AND
0000049d: SWAP1
0000049e: DUP4
0000049f: PUSH1 0xf8
000004a1: PUSH1 0x02
000004a3: EXP
000004a4: SWAP1
000004a5: DIV
000004a6: MUL
000004a7: OR
000004a8: SWAP1
000004a9: SSTORE
000004aa: POP
000004ab: JUMPDEST
000004ac: PUSH1 0x10
000004ae: SWAP1
000004af: SWAP9
000004b0: DIV
000004b1: SWAP8
000004b2: PUSH1 0x01
000004b4: SWAP6
000004b5: SWAP1
000004b6: SWAP6
000004b7: ADD
000004b8: SWAP5
000004b9: PUSH2 0x0171
000004bc: JUMP
000004bd: JUMPDEST
000004be: DUP8
000004bf: SLOAD
000004c0: PUSH1 0xff
000004c2: NOT
000004c3: AND
000004c4: PUSH1 0x30
000004c6: OR
000004c7: PUSH2 0xff00
000004ca: NOT
000004cb: AND
000004cc: PUSH2 0x7800
000004cf: OR
000004d0: DUP9
000004d1: SSTORE
000004d2: PUSH1 0x00
000004d4: SWAP6
000004d5: POP
000004d6: DUP6
000004d7: SWAP4
000004d8: POP
000004d9: JUMPDEST
000004da: PUSH1 0x0a
000004dc: DUP7
000004dd: LT
000004de: ISZERO
000004df: PUSH2 0x0571
000004e2: JUMPI
000004e3: PUSH2 0x0100
000004e6: SWAP4
000004e7: SWAP1
000004e8: SWAP4
000004e9: MUL
000004ea: SWAP3
000004eb: DUP8
000004ec: DUP7
000004ed: PUSH1 0x0a
000004ef: DUP2
000004f0: LT
000004f1: ISZERO
000004f2: PUSH2 0x0002
000004f5: JUMPI
000004f6: PUSH1 0x20
000004f8: DUP1
000004f9: DUP3
000004fa: DIV
000004fb: SWAP1
000004fc: SWAP3
000004fd: ADD
000004fe: SLOAD
000004ff: PUSH1 0x01
00000501: SWAP9
00000502: SWAP1
00000503: SWAP9
00000504: ADD
00000505: SWAP8
00000506: PUSH1 0xf8
00000508: PUSH1 0x02
0000050a: EXP
0000050b: SWAP3
0000050c: SWAP1
0000050d: SWAP2
0000050e: MOD
0000050f: PUSH2 0x0100
00000512: EXP
00000513: SWAP1
00000514: DIV
00000515: DUP2
00000516: MUL
00000517: DIV
00000518: SWAP1
00000519: SWAP4
0000051a: ADD
0000051b: SWAP3
0000051c: PUSH2 0x04d9
0000051f: JUMP
00000520: JUMPDEST
00000521: PUSH1 0x57
00000523: DUP6
00000524: ADD
00000525: PUSH1 0xf8
00000527: PUSH1 0x02
00000529: EXP
0000052a: MUL
0000052b: DUP9
0000052c: PUSH1 0x09
0000052e: DUP9
0000052f: SWAP1
00000530: SUB
00000531: PUSH1 0x0a
00000533: DUP2
00000534: LT
00000535: ISZERO
00000536: PUSH2 0x0002
00000539: JUMPI
0000053a: PUSH1 0x20
0000053c: DUP1
0000053d: DUP3
0000053e: DIV
0000053f: SWAP1
00000540: SWAP3
00000541: ADD
00000542: SWAP2
00000543: SWAP1
00000544: MOD
00000545: PUSH2 0x0100
00000548: EXP
00000549: DUP2
0000054a: SLOAD
0000054b: DUP2
0000054c: PUSH1 0xff
0000054e: MUL
0000054f: NOT
00000550: AND
00000551: SWAP1
00000552: DUP4
00000553: PUSH1 0xf8
00000555: PUSH1 0x02
00000557: EXP
00000558: SWAP1
00000559: DIV
0000055a: MUL
0000055b: OR
0000055c: SWAP1
0000055d: SSTORE
0000055e: POP
0000055f: JUMPDEST
00000560: PUSH1 0x10
00000562: SWAP1
00000563: SWAP9
00000564: DIV
00000565: SWAP8
00000566: PUSH1 0x01
00000568: SWAP6
00000569: SWAP1
0000056a: SWAP6
0000056b: ADD
0000056c: SWAP5
0000056d: PUSH2 0x0412
00000570: JUMP
00000571: JUMPDEST
00000572: PUSH1 0x00
00000574: SWAP6
00000575: POP
00000576: PUSH23 0x0100000000000000000000000000000000000000000000
0000058e: DUP5
0000058f: MUL
00000590: SWAP3
00000591: POP
00000592: DUP6
00000593: SWAP2
00000594: POP
00000595: JUMPDEST
00000596: PUSH1 0x20
00000598: DUP7
00000599: LT
0000059a: ISZERO
0000059b: PUSH2 0x05dc
0000059e: JUMPI
0000059f: PUSH2 0x0100
000005a2: SWAP2
000005a3: SWAP1
000005a4: SWAP2
000005a5: MUL
000005a6: SWAP1
000005a7: DUP7
000005a8: DUP7
000005a9: PUSH1 0x20
000005ab: DUP2
000005ac: LT
000005ad: ISZERO
000005ae: PUSH2 0x0002
000005b1: JUMPI
000005b2: PUSH1 0x20
000005b4: DUP1
000005b5: DUP3
000005b6: DIV
000005b7: SWAP1
000005b8: SWAP3
000005b9: ADD
000005ba: SLOAD
000005bb: PUSH1 0x01
000005bd: SWAP9
000005be: SWAP1
000005bf: SWAP9
000005c0: ADD
000005c1: SWAP8
000005c2: PUSH1 0xf8
000005c4: PUSH1 0x02
000005c6: EXP
000005c7: SWAP3
000005c8: SWAP1
000005c9: SWAP2
000005ca: MOD
000005cb: PUSH2 0x0100
000005ce: EXP
000005cf: SWAP1
000005d0: DIV
000005d1: DUP2
000005d2: MUL
000005d3: DIV
000005d4: SWAP1
000005d5: SWAP2
000005d6: ADD
000005d7: SWAP1
000005d8: PUSH2 0x0595
000005db: JUMP
000005dc: JUMPDEST
000005dd: DUP2
000005de: PUSH1 0x01
000005e0: MUL
000005e1: SWAP1
000005e2: POP
000005e3: DUP3
000005e4: DUP2
000005e5: DUP14
000005e6: PUSH1 0x30
000005e8: ADD
000005e9: PUSH1 0xf8
000005eb: PUSH1 0x02
000005ed: EXP
000005ee: MUL
000005ef: DUP14
000005f0: PUSH1 0x40
000005f2: MLOAD
000005f3: DUP1
000005f4: DUP6
000005f5: DUP2
000005f6: MSTORE
000005f7: PUSH1 0x0a
000005f9: ADD
000005fa: DUP5
000005fb: DUP2
000005fc: MSTORE
000005fd: PUSH1 0x20
000005ff: ADD
00000600: DUP4
00000601: DUP2
00000602: MSTORE
00000603: PUSH1 0x01
00000605: ADD
00000606: DUP3
00000607: DUP1
00000608: MLOAD
00000609: SWAP1
0000060a: PUSH1 0x20
0000060c: ADD
0000060d: SWAP1
0000060e: DUP1
0000060f: DUP4
00000610: DUP4
00000611: DUP3
00000612: SWAP1
00000613: PUSH1 0x00
00000615: PUSH1 0x04
00000617: PUSH1 0x20
00000619: DUP5
0000061a: PUSH1 0x1f
0000061c: ADD
0000061d: DIV
0000061e: PUSH1 0x0f
00000620: MUL
00000621: PUSH1 0x03
00000623: ADD
00000624: CALL
00000625: POP
00000626: SWAP1
00000627: POP
00000628: ADD
00000629: SWAP5
0000062a: POP
0000062b: POP
0000062c: POP
0000062d: POP
0000062e: POP
0000062f: PUSH1 0x40
00000631: MLOAD
00000632: DUP1
00000633: SWAP2
00000634: SUB
00000635: SWAP1
00000636: KECCAK256
00000637: PUSH1 0x0d
00000639: PUSH1 0x00
0000063b: POP
0000063c: DUP2
0000063d: SWAP1
0000063e: SSTORE
0000063f: POP
00000640: PUSH1 0x0d
00000642: PUSH1 0x00
00000644: POP
00000645: SLOAD
00000646: SWAP10
00000647: POP
00000648: POP
00000649: POP
0000064a: POP
0000064b: POP
0000064c: POP
0000064d: POP
0000064e: POP
0000064f: POP
00000650: POP
00000651: SWAP4
00000652: SWAP3
00000653: POP
00000654: POP
00000655: POP
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH1 0x08
0000065a: SLOAD
0000065b: PUSH1 0x01
0000065d: EQ
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x066b
00000663: JUMPI
00000664: POP
00000665: PUSH1 0x00
00000667: SLOAD
00000668: CALLVALUE
00000669: LT
0000066a: ISZERO
0000066b: JUMPDEST
0000066c: ISZERO
0000066d: PUSH2 0x06e8
00000670: JUMPI
00000671: PUSH1 0x0b
00000673: DUP1
00000674: SLOAD
00000675: CALLVALUE
00000676: SWAP1
00000677: DUP2
00000678: ADD
00000679: SWAP1
0000067a: SWAP2
0000067b: SSTORE
0000067c: PUSH1 0x0a
0000067e: DUP1
0000067f: SLOAD
00000680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000695: NOT
00000696: AND
00000697: CALLER
00000698: OR
00000699: SWAP1
0000069a: SSTORE
0000069b: PUSH1 0x05
0000069d: DUP3
0000069e: SWAP1
0000069f: SSTORE
000006a0: PUSH1 0x08
000006a2: DUP1
000006a3: SLOAD
000006a4: PUSH1 0x01
000006a6: ADD
000006a7: SWAP1
000006a8: SSTORE
000006a9: PUSH1 0x00
000006ab: DUP1
000006ac: SLOAD
000006ad: SWAP1
000006ae: SWAP2
000006af: SUB
000006b0: GT
000006b1: ISZERO
000006b2: PUSH2 0x0331
000006b5: JUMPI
000006b6: PUSH1 0x00
000006b8: DUP1
000006b9: SLOAD
000006ba: PUSH1 0x40
000006bc: MLOAD
000006bd: CALLER
000006be: PUSH1 0x01
000006c0: PUSH1 0xa0
000006c2: PUSH1 0x02
000006c4: EXP
000006c5: SUB
000006c6: AND
000006c7: SWAP3
000006c8: SWAP2
000006c9: CALLVALUE
000006ca: SUB
000006cb: SWAP1
000006cc: DUP3
000006cd: DUP2
000006ce: DUP2
000006cf: DUP2
000006d0: DUP6
000006d1: DUP9
000006d2: DUP4
000006d3: CALL
000006d4: POP
000006d5: POP
000006d6: PUSH1 0x0b
000006d8: DUP1
000006d9: SLOAD
000006da: SWAP2
000006db: SWAP1
000006dc: SWAP2
000006dd: SUB
000006de: SWAP1
000006df: SSTORE
000006e0: PUSH1 0x0e
000006e2: SSTORE
000006e3: POP
000006e4: PUSH2 0x070f
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH1 0x40
000006eb: MLOAD
000006ec: CALLER
000006ed: PUSH1 0x01
000006ef: PUSH1 0xa0
000006f1: PUSH1 0x02
000006f3: EXP
000006f4: SUB
000006f5: AND
000006f6: SWAP1
000006f7: PUSH1 0x00
000006f9: SWAP1
000006fa: CALLVALUE
000006fb: SWAP1
000006fc: DUP3
000006fd: DUP2
000006fe: DUP2
000006ff: DUP2
00000700: DUP6
00000701: DUP9
00000702: DUP4
00000703: CALL
00000704: POP
00000705: POP
00000706: PUSH1 0x00
00000708: NOT
00000709: PUSH1 0x0e
0000070b: SSTORE
0000070c: POP
0000070d: POP
0000070e: POP
0000070f: JUMPDEST
00000710: POP
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH1 0x0a
00000715: SLOAD
00000716: PUSH1 0x01
00000718: PUSH1 0xa0
0000071a: PUSH1 0x02
0000071c: EXP
0000071d: SUB
0000071e: SWAP1
0000071f: DUP2
00000720: AND
00000721: CALLER
00000722: SWAP1
00000723: SWAP2
00000724: AND
00000725: EQ
00000726: ISZERO
00000727: PUSH2 0x077e
0000072a: JUMPI
0000072b: PUSH2 0x0789
0000072e: CALLER
0000072f: DUP4
00000730: DUP4
00000731: PUSH2 0x015c
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH1 0x0d
00000738: DUP2
00000739: SWAP1
0000073a: SSTORE
0000073b: PUSH1 0x04
0000073d: SLOAD
0000073e: EQ
0000073f: DUP1
00000740: ISZERO
00000741: PUSH2 0x074d
00000744: JUMPI
00000745: POP
00000746: PUSH1 0x06
00000748: SLOAD
00000749: PUSH1 0xff
0000074b: AND
0000074c: ISZERO
0000074d: JUMPDEST
0000074e: ISZERO
0000074f: PUSH2 0x077e
00000752: JUMPI
00000753: PUSH1 0x02
00000755: DUP3
00000756: SWAP1
00000757: SSTORE
00000758: PUSH1 0x06
0000075a: DUP1
0000075b: SLOAD
0000075c: PUSH1 0xff
0000075e: NOT
0000075f: AND
00000760: PUSH1 0x01
00000762: OR
00000763: SWAP1
00000764: SSTORE
00000765: PUSH1 0x07
00000767: SLOAD
00000768: PUSH1 0x00
0000076a: EQ
0000076b: ISZERO
0000076c: PUSH2 0x0774
0000076f: JUMPI
00000770: NUMBER
00000771: PUSH1 0x07
00000773: SSTORE
00000774: JUMPDEST
00000775: PUSH1 0x00
00000777: PUSH1 0x0f
00000779: SSTORE
0000077a: PUSH2 0x0785
0000077d: JUMP
0000077e: JUMPDEST
0000077f: PUSH1 0x00
00000781: NOT
00000782: PUSH1 0x0f
00000784: SSTORE
00000785: JUMPDEST
00000786: POP
00000787: POP
00000788: JUMP
00000789: JUMPDEST
0000078a: PUSH1 0x0d
0000078c: DUP2
0000078d: SWAP1
0000078e: SSTORE
0000078f: PUSH1 0x05
00000791: SLOAD
00000792: EQ
00000793: DUP1
00000794: ISZERO
00000795: PUSH2 0x07a6
00000798: JUMPI
00000799: POP
0000079a: PUSH1 0x06
0000079c: SLOAD
0000079d: PUSH2 0x0100
000007a0: SWAP1
000007a1: DIV
000007a2: PUSH1 0xff
000007a4: AND
000007a5: ISZERO
000007a6: JUMPDEST
000007a7: ISZERO
000007a8: PUSH2 0x077e
000007ab: JUMPI
000007ac: PUSH1 0x03
000007ae: DUP3
000007af: SWAP1
000007b0: SSTORE
000007b1: PUSH1 0x06
000007b3: DUP1
000007b4: SLOAD
000007b5: PUSH2 0xff00
000007b8: NOT
000007b9: AND
000007ba: PUSH2 0x0100
000007bd: OR
000007be: SWAP1
000007bf: SSTORE
000007c0: PUSH1 0x07
000007c2: SLOAD
000007c3: PUSH1 0x00
000007c5: EQ
000007c6: ISZERO
000007c7: PUSH2 0x0774
000007ca: JUMPI
000007cb: NUMBER
000007cc: PUSH1 0x07
000007ce: SSTORE
000007cf: PUSH1 0x00
000007d1: PUSH1 0x0f
000007d3: SSTORE
000007d4: PUSH2 0x0785
000007d7: JUMP
000007d8: JUMPDEST
000007d9: PUSH1 0x02
000007db: NOT
000007dc: PUSH1 0x10
000007de: SSTORE
000007df: JUMPDEST
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH1 0x06
000007e4: SLOAD
000007e5: PUSH1 0xff
000007e7: AND
000007e8: DUP1
000007e9: ISZERO
000007ea: PUSH2 0x07fa
000007ed: JUMPI
000007ee: POP
000007ef: PUSH1 0x06
000007f1: SLOAD
000007f2: PUSH2 0x0100
000007f5: SWAP1
000007f6: DIV
000007f7: PUSH1 0xff
000007f9: AND
000007fa: JUMPDEST
000007fb: ISZERO
000007fc: PUSH2 0x085b
000007ff: JUMPI
00000800: PUSH1 0x02
00000802: SLOAD
00000803: PUSH1 0x11
00000805: SWAP1
00000806: PUSH1 0x03
00000808: DUP2
00000809: LT
0000080a: ISZERO
0000080b: PUSH2 0x0002
0000080e: JUMPI
0000080f: PUSH1 0x03
00000811: MUL
00000812: ADD
00000813: PUSH1 0x00
00000815: POP
00000816: PUSH1 0x03
00000818: DUP1
00000819: SLOAD
0000081a: SWAP1
0000081b: DUP2
0000081c: LT
0000081d: ISZERO
0000081e: PUSH2 0x0002
00000821: JUMPI
00000822: ADD
00000823: PUSH1 0x00
00000825: POP
00000826: SLOAD
00000827: PUSH1 0x00
00000829: EQ
0000082a: ISZERO
0000082b: PUSH2 0x08b4
0000082e: JUMPI
0000082f: PUSH1 0x09
00000831: SLOAD
00000832: PUSH1 0x0b
00000834: SLOAD
00000835: PUSH1 0x40
00000837: MLOAD
00000838: PUSH1 0x01
0000083a: PUSH1 0xa0
0000083c: PUSH1 0x02
0000083e: EXP
0000083f: SUB
00000840: SWAP1
00000841: SWAP3
00000842: AND
00000843: SWAP2
00000844: PUSH1 0x00
00000846: SWAP2
00000847: SWAP1
00000848: DUP3
00000849: DUP2
0000084a: DUP2
0000084b: DUP2
0000084c: DUP6
0000084d: DUP9
0000084e: DUP4
0000084f: CALL
00000850: POP
00000851: POP
00000852: POP
00000853: PUSH1 0x10
00000855: SSTORE
00000856: POP
00000857: PUSH2 0x095b
0000085a: JUMP
0000085b: JUMPDEST
0000085c: PUSH1 0x06
0000085e: SLOAD
0000085f: PUSH1 0xff
00000861: AND
00000862: DUP1
00000863: ISZERO
00000864: PUSH2 0x0875
00000867: JUMPI
00000868: POP
00000869: PUSH1 0x06
0000086b: SLOAD
0000086c: PUSH2 0x0100
0000086f: SWAP1
00000870: DIV
00000871: PUSH1 0xff
00000873: AND
00000874: ISZERO
00000875: JUMPDEST
00000876: ISZERO
00000877: PUSH2 0x096d
0000087a: JUMPI
0000087b: PUSH1 0x09
0000087d: SLOAD
0000087e: PUSH1 0x0b
00000880: SLOAD
00000881: PUSH1 0x40
00000883: MLOAD
00000884: PUSH1 0x01
00000886: PUSH1 0xa0
00000888: PUSH1 0x02
0000088a: EXP
0000088b: SUB
0000088c: SWAP1
0000088d: SWAP3
0000088e: AND
0000088f: SWAP2
00000890: PUSH1 0x00
00000892: SWAP2
00000893: SWAP1
00000894: DUP3
00000895: DUP2
00000896: DUP2
00000897: DUP2
00000898: DUP6
00000899: DUP9
0000089a: DUP4
0000089b: CALL
0000089c: POP
0000089d: POP
0000089e: POP
0000089f: PUSH1 0x10
000008a1: SSTORE
000008a2: POP
000008a3: PUSH1 0x0c
000008a5: DUP1
000008a6: SLOAD
000008a7: PUSH1 0xff
000008a9: NOT
000008aa: AND
000008ab: PUSH1 0x01
000008ad: OR
000008ae: SWAP1
000008af: SSTORE
000008b0: PUSH2 0x09d3
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x02
000008b7: SLOAD
000008b8: PUSH1 0x11
000008ba: SWAP1
000008bb: PUSH1 0x03
000008bd: DUP2
000008be: LT
000008bf: ISZERO
000008c0: PUSH2 0x0002
000008c3: JUMPI
000008c4: PUSH1 0x03
000008c6: MUL
000008c7: ADD
000008c8: PUSH1 0x00
000008ca: POP
000008cb: PUSH1 0x03
000008cd: DUP1
000008ce: SLOAD
000008cf: SWAP1
000008d0: DUP2
000008d1: LT
000008d2: ISZERO
000008d3: PUSH2 0x0002
000008d6: JUMPI
000008d7: ADD
000008d8: PUSH1 0x00
000008da: POP
000008db: SLOAD
000008dc: PUSH1 0x01
000008de: EQ
000008df: ISZERO
000008e0: PUSH2 0x0914
000008e3: JUMPI
000008e4: PUSH1 0x0b
000008e6: SLOAD
000008e7: PUSH1 0x0a
000008e9: SLOAD
000008ea: PUSH1 0x40
000008ec: MLOAD
000008ed: PUSH1 0x01
000008ef: PUSH1 0xa0
000008f1: PUSH1 0x02
000008f3: EXP
000008f4: SUB
000008f5: SWAP2
000008f6: SWAP1
000008f7: SWAP2
000008f8: AND
000008f9: SWAP2
000008fa: PUSH1 0x00
000008fc: SWAP2
000008fd: DUP3
000008fe: DUP2
000008ff: DUP2
00000900: DUP2
00000901: DUP6
00000902: DUP9
00000903: DUP4
00000904: CALL
00000905: POP
00000906: POP
00000907: PUSH1 0x01
00000909: PUSH1 0x10
0000090b: SSTORE
0000090c: POP
0000090d: PUSH2 0x095b
00000910: SWAP2
00000911: POP
00000912: POP
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x09
00000917: SLOAD
00000918: PUSH1 0x0b
0000091a: SLOAD
0000091b: PUSH1 0x40
0000091d: MLOAD
0000091e: PUSH1 0x01
00000920: PUSH1 0xa0
00000922: PUSH1 0x02
00000924: EXP
00000925: SUB
00000926: SWAP1
00000927: SWAP3
00000928: AND
00000929: SWAP2
0000092a: PUSH1 0x00
0000092c: SWAP2
0000092d: PUSH1 0x02
0000092f: SWAP1
00000930: DIV
00000931: SWAP1
00000932: DUP3
00000933: DUP2
00000934: DUP2
00000935: DUP2
00000936: DUP6
00000937: DUP9
00000938: DUP4
00000939: CALL
0000093a: POP
0000093b: PUSH1 0x0a
0000093d: SLOAD
0000093e: PUSH1 0x01
00000940: PUSH1 0xa0
00000942: PUSH1 0x02
00000944: EXP
00000945: SUB
00000946: AND
00000947: SWAP4
00000948: POP
00000949: DUP3
0000094a: DUP2
0000094b: DUP2
0000094c: DUP2
0000094d: DUP6
0000094e: DUP9
0000094f: DUP4
00000950: CALL
00000951: POP
00000952: POP
00000953: PUSH1 0x02
00000955: PUSH1 0x10
00000957: SSTORE
00000958: POP
00000959: POP
0000095a: POP
0000095b: JUMPDEST
0000095c: PUSH1 0x0c
0000095e: DUP1
0000095f: SLOAD
00000960: PUSH1 0xff
00000962: NOT
00000963: AND
00000964: PUSH1 0x01
00000966: OR
00000967: SWAP1
00000968: SSTORE
00000969: PUSH2 0x09d3
0000096c: JUMP
0000096d: JUMPDEST
0000096e: PUSH1 0x06
00000970: SLOAD
00000971: PUSH1 0xff
00000973: AND
00000974: ISZERO
00000975: DUP1
00000976: ISZERO
00000977: PUSH2 0x0987
0000097a: JUMPI
0000097b: POP
0000097c: PUSH1 0x06
0000097e: SLOAD
0000097f: PUSH2 0x0100
00000982: SWAP1
00000983: DIV
00000984: PUSH1 0xff
00000986: AND
00000987: JUMPDEST
00000988: ISZERO
00000989: PUSH2 0x09cc
0000098c: JUMPI
0000098d: PUSH1 0x0b
0000098f: SLOAD
00000990: PUSH1 0x0a
00000992: SLOAD
00000993: PUSH1 0x40
00000995: MLOAD
00000996: PUSH1 0x01
00000998: PUSH1 0xa0
0000099a: PUSH1 0x02
0000099c: EXP
0000099d: SUB
0000099e: SWAP2
0000099f: SWAP1
000009a0: SWAP2
000009a1: AND
000009a2: SWAP2
000009a3: PUSH1 0x00
000009a5: SWAP2
000009a6: DUP3
000009a7: DUP2
000009a8: DUP2
000009a9: DUP2
000009aa: DUP6
000009ab: DUP9
000009ac: DUP4
000009ad: CALL
000009ae: POP
000009af: POP
000009b0: PUSH1 0x01
000009b2: PUSH1 0x10
000009b4: DUP2
000009b5: SWAP1
000009b6: SSTORE
000009b7: PUSH1 0x0c
000009b9: DUP1
000009ba: SLOAD
000009bb: PUSH1 0xff
000009bd: NOT
000009be: AND
000009bf: SWAP1
000009c0: SWAP2
000009c1: OR
000009c2: SWAP1
000009c3: SSTORE
000009c4: POP
000009c5: PUSH2 0x09d3
000009c8: SWAP2
000009c9: POP
000009ca: POP
000009cb: JUMP
000009cc: JUMPDEST
000009cd: PUSH1 0x00
000009cf: NOT
000009d0: PUSH1 0x10
000009d2: SSTORE
000009d3: JUMPDEST
000009d4: PUSH2 0x07df
000009d7: 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: 0x68bbb9fe98485abe4241eddec76c567a559a989131cad1848acd7b3aac232ba9
call_targets: 0x48e1db807c9a356550c4dfb5135b3eea4fa0fca5
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x68bbb9fe98485abe4241eddec76c567a559a989131cad1848acd7b3aac232ba9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x48e1db807c9a356550c4dfb5135b3eea4fa0fca5"
    ],
    "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": "0x034258ab",
            "selector": "0x034258ab",
            "calldata_variants": [
                "0x034258ab",
                "0x034258ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20879c19",
            "selector": "0x20879c19",
            "calldata_variants": [
                "0x20879c19",
                "0x20879c190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x220cf6c5",
            "selector": "0x220cf6c5",
            "calldata_variants": [
                "0x220cf6c5",
                "0x220cf6c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x228cb733",
            "selector": "0x228cb733",
            "calldata_variants": [
                "0x228cb733",
                "0x228cb7330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x332d2b87",
            "selector": "0x332d2b87",
            "calldata_variants": [
                "0x332d2b87",
                "0x332d2b870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bb278f3",
            "selector": "0x4bb278f3",
            "calldata_variants": [
                "0x4bb278f3",
                "0x4bb278f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52f62631",
            "selector": "0x52f62631",
            "calldata_variants": [
                "0x52f62631",
                "0x52f626310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x74b1c33f",
            "selector": "0x74b1c33f",
            "calldata_variants": [
                "0x74b1c33f",
                "0x74b1c33f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 802,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1572,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1747,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 10,
    "guards_detected": [],
    "untrusted_call_count": 10
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x68bbb9fe98485abe4241eddec76c567a559a989131cad1848acd7b3aac232ba9
call_targets: 0x48e1db807c9a356550c4dfb5135b3eea4fa0fca5
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x68bbb9fe98485abe4241eddec76c567a559a989131cad1848acd7b3aac232ba9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x48e1db807c9a356550c4dfb5135b3eea4fa0fca5"
    ],
    "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": "0x034258ab",
            "selector": "0x034258ab",
            "calldata_variants": [
                "0x034258ab",
                "0x034258ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20879c19",
            "selector": "0x20879c19",
            "calldata_variants": [
                "0x20879c19",
                "0x20879c190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x220cf6c5",
            "selector": "0x220cf6c5",
            "calldata_variants": [
                "0x220cf6c5",
                "0x220cf6c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x228cb733",
            "selector": "0x228cb733",
            "calldata_variants": [
                "0x228cb733",
                "0x228cb7330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x332d2b87",
            "selector": "0x332d2b87",
            "calldata_variants": [
                "0x332d2b87",
                "0x332d2b870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bb278f3",
            "selector": "0x4bb278f3",
            "calldata_variants": [
                "0x4bb278f3",
                "0x4bb278f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52f62631",
            "selector": "0x52f62631",
            "calldata_variants": [
                "0x52f62631",
                "0x52f626310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x74b1c33f",
            "selector": "0x74b1c33f",
            "calldata_variants": [
                "0x74b1c33f",
                "0x74b1c33f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 802,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1572,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1747,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 10,
    "guards_detected": []
}