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

Analysis Run

019b3836-51d3-73af-9f10-62419f3094bd

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

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
7829 artifact.fetch complete 1 / 3 4 months ago
7830 tool.cast_disasm complete 1 / 3 4 months ago
81927 analysis.bundle complete 1 / 3 2 weeks ago
81928 capability.graph complete 1 / 3 2 weeks ago
81929 detector.run complete 1 / 3 2 weeks ago
81930 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
11
EXT*/BALANCE
0
Total opcodes
1773
Flags
selfdestruct_present
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00b9
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x06fdde03
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00bb
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x12ab7242
00000025: EQ
00000026: PUSH2 0x00c4
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x21f8a721
00000030: EQ
00000031: PUSH2 0x0109
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x38eada1c
0000003b: EQ
0000003c: PUSH2 0x0181
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x4ba79dfe
00000046: EQ
00000047: PUSH2 0x01c8
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x7948f523
00000051: EQ
00000052: PUSH2 0x01e3
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x95a078e8
0000005c: EQ
0000005d: PUSH2 0x0208
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x9c52a7f1
00000067: EQ
00000068: PUSH2 0x0223
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xa7f43779
00000072: EQ
00000073: PUSH2 0x023e
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xd0e30db0
0000007d: EQ
0000007e: PUSH2 0x02f2
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xd8b964e6
00000088: EQ
00000089: PUSH2 0x0308
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xdaea85c5
00000093: EQ
00000094: PUSH2 0x0323
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xf359671c
0000009e: EQ
0000009f: PUSH2 0x033e
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xf3fef3a3
000000a9: EQ
000000aa: PUSH2 0x0396
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xf89005e7
000000b4: EQ
000000b5: PUSH2 0x03b5
000000b8: JUMPI
000000b9: JUMPDEST
000000ba: STOP
000000bb: JUMPDEST
000000bc: PUSH2 0x04b4
000000bf: PUSH1 0x01
000000c1: SLOAD
000000c2: DUP2
000000c3: JUMP
000000c4: JUMPDEST
000000c5: PUSH2 0x04c6
000000c8: PUSH1 0x04
000000ca: CALLDATALOAD
000000cb: PUSH1 0x02
000000cd: SLOAD
000000ce: PUSH1 0x00
000000d0: SWAP1
000000d1: PUSH1 0x01
000000d3: PUSH1 0xa0
000000d5: PUSH1 0x02
000000d7: EXP
000000d8: SUB
000000d9: AND
000000da: DUP1
000000db: DUP3
000000dc: EQ
000000dd: ISZERO
000000de: PUSH2 0x04f7
000000e1: JUMPI
000000e2: POP
000000e3: POP
000000e4: PUSH1 0x02
000000e6: DUP1
000000e7: SLOAD
000000e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000fd: NOT
000000fe: AND
000000ff: DUP3
00000100: OR
00000101: SWAP1
00000102: SSTORE
00000103: PUSH1 0x01
00000105: PUSH2 0x04f9
00000108: JUMP
00000109: JUMPDEST
0000010a: PUSH2 0x04da
0000010d: PUSH1 0x04
0000010f: CALLDATALOAD
00000110: PUSH1 0x40
00000112: DUP1
00000113: MLOAD
00000114: PUSH1 0x00
00000116: DUP1
00000117: SLOAD
00000118: PUSH32 0x2ade6c3600000000000000000000000000000000000000000000000000000000
00000139: DUP4
0000013a: MSTORE
0000013b: PUSH1 0x04
0000013d: DUP4
0000013e: ADD
0000013f: DUP6
00000140: SWAP1
00000141: MSTORE
00000142: SWAP3
00000143: MLOAD
00000144: SWAP1
00000145: SWAP3
00000146: PUSH1 0x01
00000148: PUSH1 0xa0
0000014a: PUSH1 0x02
0000014c: EXP
0000014d: SUB
0000014e: AND
0000014f: SWAP2
00000150: PUSH4 0x2ade6c36
00000155: SWAP2
00000156: PUSH1 0x24
00000158: DUP3
00000159: DUP2
0000015a: ADD
0000015b: SWAP3
0000015c: PUSH1 0x20
0000015e: SWAP3
0000015f: SWAP2
00000160: SWAP1
00000161: DUP3
00000162: SWAP1
00000163: SUB
00000164: ADD
00000165: DUP2
00000166: DUP8
00000167: DUP8
00000168: PUSH2 0x61da
0000016b: GAS
0000016c: SUB
0000016d: CALL
0000016e: ISZERO
0000016f: PUSH2 0x0002
00000172: JUMPI
00000173: POP
00000174: POP
00000175: PUSH1 0x40
00000177: MLOAD
00000178: MLOAD
00000179: SWAP2
0000017a: POP
0000017b: PUSH2 0x04f9
0000017e: SWAP1
0000017f: POP
00000180: JUMP
00000181: JUMPDEST
00000182: PUSH2 0x04c6
00000185: PUSH1 0x04
00000187: CALLDATALOAD
00000188: PUSH1 0x00
0000018a: PUSH1 0x00
0000018c: CALLVALUE
0000018d: GT
0000018e: ISZERO
0000018f: PUSH2 0x04fe
00000192: JUMPI
00000193: PUSH2 0x04fe
00000196: CALLER
00000197: CALLVALUE
00000198: JUMPDEST
00000199: PUSH2 0x0a2d
0000019c: DUP3
0000019d: DUP3
0000019e: JUMPDEST
0000019f: PUSH1 0x40
000001a1: MLOAD
000001a2: PUSH1 0x00
000001a4: SWAP1
000001a5: PUSH1 0x01
000001a7: PUSH1 0xa0
000001a9: PUSH1 0x02
000001ab: EXP
000001ac: SUB
000001ad: DUP5
000001ae: AND
000001af: SWAP1
000001b0: DUP4
000001b1: SWAP1
000001b2: DUP4
000001b3: DUP2
000001b4: DUP2
000001b5: DUP2
000001b6: DUP6
000001b7: DUP8
000001b8: PUSH2 0x8502
000001bb: GAS
000001bc: SUB
000001bd: CALL
000001be: SWAP3
000001bf: POP
000001c0: POP
000001c1: POP
000001c2: SWAP1
000001c3: POP
000001c4: PUSH2 0x09ce
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH2 0x04c6
000001cc: PUSH1 0x04
000001ce: CALLDATALOAD
000001cf: PUSH1 0x00
000001d1: PUSH1 0x00
000001d3: CALLVALUE
000001d4: GT
000001d5: ISZERO
000001d6: PUSH2 0x05bd
000001d9: JUMPI
000001da: PUSH2 0x05bd
000001dd: CALLER
000001de: CALLVALUE
000001df: PUSH2 0x0198
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH2 0x04c6
000001e7: PUSH1 0x04
000001e9: CALLDATALOAD
000001ea: PUSH1 0x24
000001ec: CALLDATALOAD
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: SLOAD
000001f1: DUP2
000001f2: SWAP1
000001f3: DUP2
000001f4: SWAP1
000001f5: PUSH1 0x01
000001f7: PUSH1 0xa0
000001f9: PUSH1 0x02
000001fb: EXP
000001fc: SUB
000001fd: AND
000001fe: DUP2
000001ff: EQ
00000200: PUSH2 0x06a7
00000203: JUMPI
00000204: PUSH2 0x069f
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH2 0x04c6
0000020c: PUSH1 0x04
0000020e: CALLDATALOAD
0000020f: PUSH1 0x03
00000211: PUSH1 0x20
00000213: MSTORE
00000214: PUSH1 0x00
00000216: SWAP1
00000217: DUP2
00000218: MSTORE
00000219: PUSH1 0x40
0000021b: SWAP1
0000021c: KECCAK256
0000021d: SLOAD
0000021e: PUSH1 0xff
00000220: AND
00000221: DUP2
00000222: JUMP
00000223: JUMPDEST
00000224: PUSH2 0x04c6
00000227: PUSH1 0x04
00000229: CALLDATALOAD
0000022a: PUSH1 0x00
0000022c: PUSH1 0x00
0000022e: CALLVALUE
0000022f: GT
00000230: ISZERO
00000231: PUSH2 0x077e
00000234: JUMPI
00000235: PUSH2 0x077e
00000238: CALLER
00000239: CALLVALUE
0000023a: PUSH2 0x0198
0000023d: JUMP
0000023e: JUMPDEST
0000023f: PUSH1 0x00
00000241: DUP1
00000242: SLOAD
00000243: PUSH2 0x00b9
00000246: SWAP2
00000247: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
00000268: SWAP2
00000269: PUSH1 0x01
0000026b: PUSH1 0xa0
0000026d: PUSH1 0x02
0000026f: EXP
00000270: SUB
00000271: AND
00000272: EQ
00000273: DUP1
00000274: ISZERO
00000275: SWAP1
00000276: PUSH2 0x02e1
00000279: JUMPI
0000027a: POP
0000027b: PUSH1 0x40
0000027d: DUP1
0000027e: MLOAD
0000027f: PUSH1 0x00
00000281: DUP1
00000282: SLOAD
00000283: PUSH1 0x01
00000285: SLOAD
00000286: PUSH1 0xe4
00000288: PUSH1 0x02
0000028a: EXP
0000028b: PUSH4 0x0a1add51
00000290: MUL
00000291: DUP5
00000292: MSTORE
00000293: PUSH1 0x04
00000295: DUP5
00000296: ADD
00000297: MSTORE
00000298: PUSH1 0x24
0000029a: DUP4
0000029b: ADD
0000029c: DUP6
0000029d: SWAP1
0000029e: MSTORE
0000029f: PUSH1 0x01
000002a1: PUSH1 0xa0
000002a3: PUSH1 0x02
000002a5: EXP
000002a6: SUB
000002a7: CALLER
000002a8: DUP2
000002a9: AND
000002aa: PUSH1 0x44
000002ac: DUP6
000002ad: ADD
000002ae: MSTORE
000002af: SWAP4
000002b0: MLOAD
000002b1: SWAP4
000002b2: AND
000002b3: SWAP3
000002b4: PUSH4 0xa1add510
000002b9: SWAP3
000002ba: PUSH1 0x64
000002bc: DUP1
000002bd: DUP3
000002be: ADD
000002bf: SWAP4
000002c0: PUSH1 0x20
000002c2: SWAP4
000002c3: SWAP3
000002c4: DUP4
000002c5: SWAP1
000002c6: SUB
000002c7: SWAP1
000002c8: SWAP2
000002c9: ADD
000002ca: SWAP1
000002cb: DUP3
000002cc: SWAP1
000002cd: DUP8
000002ce: PUSH2 0x61da
000002d1: GAS
000002d2: SUB
000002d3: CALL
000002d4: ISZERO
000002d5: PUSH2 0x0002
000002d8: JUMPI
000002d9: POP
000002da: POP
000002db: PUSH1 0x40
000002dd: MLOAD
000002de: MLOAD
000002df: SWAP1
000002e0: POP
000002e1: JUMPDEST
000002e2: ISZERO
000002e3: PUSH2 0x083c
000002e6: JUMPI
000002e7: CALLER
000002e8: PUSH1 0x01
000002ea: PUSH1 0xa0
000002ec: PUSH1 0x02
000002ee: EXP
000002ef: SUB
000002f0: AND
000002f1: SELFDESTRUCT
000002f2: JUMPDEST
000002f3: PUSH2 0x04c6
000002f6: PUSH1 0x00
000002f8: PUSH1 0x00
000002fa: CALLVALUE
000002fb: GT
000002fc: ISZERO
000002fd: PUSH2 0x083f
00000300: JUMPI
00000301: POP
00000302: PUSH1 0x01
00000304: PUSH2 0x0843
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH2 0x04c6
0000030c: PUSH1 0x04
0000030e: CALLDATALOAD
0000030f: PUSH1 0x04
00000311: PUSH1 0x20
00000313: MSTORE
00000314: PUSH1 0x00
00000316: SWAP1
00000317: DUP2
00000318: MSTORE
00000319: PUSH1 0x40
0000031b: SWAP1
0000031c: KECCAK256
0000031d: SLOAD
0000031e: PUSH1 0xff
00000320: AND
00000321: DUP2
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x04c6
00000327: PUSH1 0x04
00000329: CALLDATALOAD
0000032a: PUSH1 0x00
0000032c: PUSH1 0x00
0000032e: CALLVALUE
0000032f: GT
00000330: ISZERO
00000331: PUSH2 0x0846
00000334: JUMPI
00000335: PUSH2 0x0846
00000338: CALLER
00000339: CALLVALUE
0000033a: PUSH2 0x0198
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH1 0x40
00000341: DUP1
00000342: MLOAD
00000343: PUSH1 0x20
00000345: PUSH1 0x44
00000347: CALLDATALOAD
00000348: PUSH1 0x04
0000034a: DUP2
0000034b: DUP2
0000034c: ADD
0000034d: CALLDATALOAD
0000034e: PUSH1 0x1f
00000350: DUP2
00000351: ADD
00000352: DUP5
00000353: SWAP1
00000354: DIV
00000355: DUP5
00000356: MUL
00000357: DUP6
00000358: ADD
00000359: DUP5
0000035a: ADD
0000035b: SWAP1
0000035c: SWAP6
0000035d: MSTORE
0000035e: DUP5
0000035f: DUP5
00000360: MSTORE
00000361: PUSH2 0x04c6
00000364: SWAP5
00000365: DUP2
00000366: CALLDATALOAD
00000367: SWAP5
00000368: PUSH1 0x24
0000036a: DUP1
0000036b: CALLDATALOAD
0000036c: SWAP6
0000036d: SWAP4
0000036e: SWAP5
0000036f: PUSH1 0x64
00000371: SWAP5
00000372: SWAP3
00000373: SWAP4
00000374: SWAP2
00000375: ADD
00000376: SWAP2
00000377: DUP2
00000378: SWAP1
00000379: DUP5
0000037a: ADD
0000037b: DUP4
0000037c: DUP3
0000037d: DUP1
0000037e: DUP3
0000037f: DUP5
00000380: CALLDATACOPY
00000381: POP
00000382: SWAP5
00000383: SWAP7
00000384: POP
00000385: POP
00000386: POP
00000387: POP
00000388: POP
00000389: POP
0000038a: POP
0000038b: PUSH1 0x00
0000038d: PUSH2 0x09be
00000390: DUP5
00000391: DUP5
00000392: PUSH2 0x03a0
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH2 0x04c6
0000039a: PUSH1 0x04
0000039c: CALLDATALOAD
0000039d: PUSH1 0x24
0000039f: CALLDATALOAD
000003a0: JUMPDEST
000003a1: PUSH1 0x00
000003a3: PUSH1 0x00
000003a5: CALLVALUE
000003a6: GT
000003a7: ISZERO
000003a8: PUSH2 0x09d4
000003ab: JUMPI
000003ac: PUSH2 0x09d4
000003af: CALLER
000003b0: CALLVALUE
000003b1: PUSH2 0x0198
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH2 0x04c6
000003b9: PUSH1 0x04
000003bb: DUP1
000003bc: DUP1
000003bd: CALLDATALOAD
000003be: SWAP1
000003bf: PUSH1 0x20
000003c1: ADD
000003c2: SWAP1
000003c3: DUP3
000003c4: ADD
000003c5: DUP1
000003c6: CALLDATALOAD
000003c7: SWAP1
000003c8: PUSH1 0x20
000003ca: ADD
000003cb: SWAP2
000003cc: SWAP2
000003cd: SWAP1
000003ce: DUP1
000003cf: DUP1
000003d0: PUSH1 0x1f
000003d2: ADD
000003d3: PUSH1 0x20
000003d5: DUP1
000003d6: SWAP2
000003d7: DIV
000003d8: MUL
000003d9: PUSH1 0x20
000003db: ADD
000003dc: PUSH1 0x40
000003de: MLOAD
000003df: SWAP1
000003e0: DUP2
000003e1: ADD
000003e2: PUSH1 0x40
000003e4: MSTORE
000003e5: DUP1
000003e6: SWAP4
000003e7: SWAP3
000003e8: SWAP2
000003e9: SWAP1
000003ea: DUP2
000003eb: DUP2
000003ec: MSTORE
000003ed: PUSH1 0x20
000003ef: ADD
000003f0: DUP4
000003f1: DUP4
000003f2: DUP1
000003f3: DUP3
000003f4: DUP5
000003f5: CALLDATACOPY
000003f6: POP
000003f7: SWAP5
000003f8: SWAP7
000003f9: POP
000003fa: POP
000003fb: POP
000003fc: POP
000003fd: POP
000003fe: POP
000003ff: POP
00000400: PUSH1 0x00
00000402: PUSH1 0x00
00000404: CALLVALUE
00000405: GT
00000406: ISZERO
00000407: PUSH2 0x04ac
0000040a: JUMPI
0000040b: CALLER
0000040c: PUSH1 0x01
0000040e: PUSH1 0xa0
00000410: PUSH1 0x02
00000412: EXP
00000413: SUB
00000414: AND
00000415: PUSH32 0x643e927b32d5bfd08eccd2fcbd97057ad413850f857a2359639114e8e8dd3d7b
00000436: CALLVALUE
00000437: DUP5
00000438: PUSH1 0x40
0000043a: MLOAD
0000043b: DUP1
0000043c: DUP4
0000043d: DUP2
0000043e: MSTORE
0000043f: PUSH1 0x20
00000441: ADD
00000442: DUP1
00000443: PUSH1 0x20
00000445: ADD
00000446: DUP3
00000447: DUP2
00000448: SUB
00000449: DUP3
0000044a: MSTORE
0000044b: DUP4
0000044c: DUP2
0000044d: DUP2
0000044e: MLOAD
0000044f: DUP2
00000450: MSTORE
00000451: PUSH1 0x20
00000453: ADD
00000454: SWAP2
00000455: POP
00000456: DUP1
00000457: MLOAD
00000458: SWAP1
00000459: PUSH1 0x20
0000045b: ADD
0000045c: SWAP1
0000045d: DUP1
0000045e: DUP4
0000045f: DUP4
00000460: DUP3
00000461: SWAP1
00000462: PUSH1 0x00
00000464: PUSH1 0x04
00000466: PUSH1 0x20
00000468: DUP5
00000469: PUSH1 0x1f
0000046b: ADD
0000046c: DIV
0000046d: PUSH1 0x0f
0000046f: MUL
00000470: PUSH1 0x03
00000472: ADD
00000473: CALL
00000474: POP
00000475: SWAP1
00000476: POP
00000477: SWAP1
00000478: DUP2
00000479: ADD
0000047a: SWAP1
0000047b: PUSH1 0x1f
0000047d: AND
0000047e: DUP1
0000047f: ISZERO
00000480: PUSH2 0x049d
00000483: JUMPI
00000484: DUP1
00000485: DUP3
00000486: SUB
00000487: DUP1
00000488: MLOAD
00000489: PUSH1 0x01
0000048b: DUP4
0000048c: PUSH1 0x20
0000048e: SUB
0000048f: PUSH2 0x0100
00000492: EXP
00000493: SUB
00000494: NOT
00000495: AND
00000496: DUP2
00000497: MSTORE
00000498: PUSH1 0x20
0000049a: ADD
0000049b: SWAP2
0000049c: POP
0000049d: JUMPDEST
0000049e: POP
0000049f: SWAP4
000004a0: POP
000004a1: POP
000004a2: POP
000004a3: POP
000004a4: PUSH1 0x40
000004a6: MLOAD
000004a7: DUP1
000004a8: SWAP2
000004a9: SUB
000004aa: SWAP1
000004ab: LOG2
000004ac: JUMPDEST
000004ad: POP
000004ae: PUSH1 0x01
000004b0: PUSH2 0x04f9
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH1 0x40
000004b7: DUP1
000004b8: MLOAD
000004b9: SWAP2
000004ba: DUP3
000004bb: MSTORE
000004bc: MLOAD
000004bd: SWAP1
000004be: DUP2
000004bf: SWAP1
000004c0: SUB
000004c1: PUSH1 0x20
000004c3: ADD
000004c4: SWAP1
000004c5: RETURN
000004c6: JUMPDEST
000004c7: PUSH1 0x40
000004c9: DUP1
000004ca: MLOAD
000004cb: SWAP2
000004cc: ISZERO
000004cd: ISZERO
000004ce: DUP3
000004cf: MSTORE
000004d0: MLOAD
000004d1: SWAP1
000004d2: DUP2
000004d3: SWAP1
000004d4: SUB
000004d5: PUSH1 0x20
000004d7: ADD
000004d8: SWAP1
000004d9: RETURN
000004da: JUMPDEST
000004db: PUSH1 0x40
000004dd: DUP1
000004de: MLOAD
000004df: PUSH1 0x01
000004e1: PUSH1 0xa0
000004e3: PUSH1 0x02
000004e5: EXP
000004e6: SUB
000004e7: SWAP3
000004e8: SWAP1
000004e9: SWAP3
000004ea: AND
000004eb: DUP3
000004ec: MSTORE
000004ed: MLOAD
000004ee: SWAP1
000004ef: DUP2
000004f0: SWAP1
000004f1: SUB
000004f2: PUSH1 0x20
000004f4: ADD
000004f5: SWAP1
000004f6: RETURN
000004f7: JUMPDEST
000004f8: POP
000004f9: JUMPDEST
000004fa: SWAP2
000004fb: SWAP1
000004fc: POP
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH1 0x00
00000501: DUP1
00000502: SLOAD
00000503: PUSH1 0xd9
00000505: PUSH1 0x02
00000507: EXP
00000508: PUSH5 0x30b236b4b7
0000050e: MUL
0000050f: SWAP2
00000510: PUSH1 0x01
00000512: PUSH1 0xa0
00000514: PUSH1 0x02
00000516: EXP
00000517: SUB
00000518: SWAP2
00000519: SWAP1
0000051a: SWAP2
0000051b: AND
0000051c: EQ
0000051d: DUP1
0000051e: ISZERO
0000051f: SWAP1
00000520: PUSH2 0x058b
00000523: JUMPI
00000524: POP
00000525: PUSH1 0x40
00000527: DUP1
00000528: MLOAD
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: SLOAD
0000052d: PUSH1 0x01
0000052f: SLOAD
00000530: PUSH1 0xe4
00000532: PUSH1 0x02
00000534: EXP
00000535: PUSH4 0x0a1add51
0000053a: MUL
0000053b: DUP5
0000053c: MSTORE
0000053d: PUSH1 0x04
0000053f: DUP5
00000540: ADD
00000541: MSTORE
00000542: PUSH1 0x24
00000544: DUP4
00000545: ADD
00000546: DUP6
00000547: SWAP1
00000548: MSTORE
00000549: PUSH1 0x01
0000054b: PUSH1 0xa0
0000054d: PUSH1 0x02
0000054f: EXP
00000550: SUB
00000551: CALLER
00000552: DUP2
00000553: AND
00000554: PUSH1 0x44
00000556: DUP6
00000557: ADD
00000558: MSTORE
00000559: SWAP4
0000055a: MLOAD
0000055b: SWAP4
0000055c: AND
0000055d: SWAP3
0000055e: PUSH4 0xa1add510
00000563: SWAP3
00000564: PUSH1 0x64
00000566: DUP1
00000567: DUP3
00000568: ADD
00000569: SWAP4
0000056a: PUSH1 0x20
0000056c: SWAP4
0000056d: SWAP3
0000056e: DUP4
0000056f: SWAP1
00000570: SUB
00000571: SWAP1
00000572: SWAP2
00000573: ADD
00000574: SWAP1
00000575: DUP3
00000576: SWAP1
00000577: DUP8
00000578: PUSH2 0x61da
0000057b: GAS
0000057c: SUB
0000057d: CALL
0000057e: ISZERO
0000057f: PUSH2 0x0002
00000582: JUMPI
00000583: POP
00000584: POP
00000585: PUSH1 0x40
00000587: MLOAD
00000588: MLOAD
00000589: SWAP1
0000058a: POP
0000058b: JUMPDEST
0000058c: ISZERO
0000058d: PUSH2 0x04f7
00000590: JUMPI
00000591: POP
00000592: POP
00000593: PUSH1 0x01
00000595: PUSH1 0xa0
00000597: PUSH1 0x02
00000599: EXP
0000059a: SUB
0000059b: DUP2
0000059c: AND
0000059d: PUSH1 0x00
0000059f: SWAP1
000005a0: DUP2
000005a1: MSTORE
000005a2: PUSH1 0x03
000005a4: PUSH1 0x20
000005a6: MSTORE
000005a7: PUSH1 0x40
000005a9: SWAP1
000005aa: KECCAK256
000005ab: DUP1
000005ac: SLOAD
000005ad: PUSH1 0xff
000005af: NOT
000005b0: AND
000005b1: PUSH1 0x01
000005b3: SWAP1
000005b4: DUP2
000005b5: OR
000005b6: SWAP1
000005b7: SWAP2
000005b8: SSTORE
000005b9: PUSH2 0x04f9
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH1 0x00
000005c0: DUP1
000005c1: SLOAD
000005c2: PUSH1 0xd9
000005c4: PUSH1 0x02
000005c6: EXP
000005c7: PUSH5 0x30b236b4b7
000005cd: MUL
000005ce: SWAP2
000005cf: PUSH1 0x01
000005d1: PUSH1 0xa0
000005d3: PUSH1 0x02
000005d5: EXP
000005d6: SUB
000005d7: SWAP2
000005d8: SWAP1
000005d9: SWAP2
000005da: AND
000005db: EQ
000005dc: DUP1
000005dd: ISZERO
000005de: SWAP1
000005df: PUSH2 0x064a
000005e2: JUMPI
000005e3: POP
000005e4: PUSH1 0x40
000005e6: DUP1
000005e7: MLOAD
000005e8: PUSH1 0x00
000005ea: DUP1
000005eb: SLOAD
000005ec: PUSH1 0x01
000005ee: SLOAD
000005ef: PUSH1 0xe4
000005f1: PUSH1 0x02
000005f3: EXP
000005f4: PUSH4 0x0a1add51
000005f9: MUL
000005fa: DUP5
000005fb: MSTORE
000005fc: PUSH1 0x04
000005fe: DUP5
000005ff: ADD
00000600: MSTORE
00000601: PUSH1 0x24
00000603: DUP4
00000604: ADD
00000605: DUP6
00000606: SWAP1
00000607: MSTORE
00000608: PUSH1 0x01
0000060a: PUSH1 0xa0
0000060c: PUSH1 0x02
0000060e: EXP
0000060f: SUB
00000610: CALLER
00000611: DUP2
00000612: AND
00000613: PUSH1 0x44
00000615: DUP6
00000616: ADD
00000617: MSTORE
00000618: SWAP4
00000619: MLOAD
0000061a: SWAP4
0000061b: AND
0000061c: SWAP3
0000061d: PUSH4 0xa1add510
00000622: SWAP3
00000623: PUSH1 0x64
00000625: DUP1
00000626: DUP3
00000627: ADD
00000628: SWAP4
00000629: PUSH1 0x20
0000062b: SWAP4
0000062c: SWAP3
0000062d: DUP4
0000062e: SWAP1
0000062f: SUB
00000630: SWAP1
00000631: SWAP2
00000632: ADD
00000633: SWAP1
00000634: DUP3
00000635: SWAP1
00000636: DUP8
00000637: PUSH2 0x61da
0000063a: GAS
0000063b: SUB
0000063c: CALL
0000063d: ISZERO
0000063e: PUSH2 0x0002
00000641: JUMPI
00000642: POP
00000643: POP
00000644: PUSH1 0x40
00000646: MLOAD
00000647: MLOAD
00000648: SWAP1
00000649: POP
0000064a: JUMPDEST
0000064b: ISZERO
0000064c: PUSH2 0x04f7
0000064f: JUMPI
00000650: POP
00000651: POP
00000652: PUSH1 0x01
00000654: PUSH1 0xa0
00000656: PUSH1 0x02
00000658: EXP
00000659: SUB
0000065a: DUP2
0000065b: AND
0000065c: PUSH1 0x00
0000065e: SWAP1
0000065f: DUP2
00000660: MSTORE
00000661: PUSH1 0x03
00000663: PUSH1 0x20
00000665: MSTORE
00000666: PUSH1 0x40
00000668: SWAP1
00000669: KECCAK256
0000066a: DUP1
0000066b: SLOAD
0000066c: PUSH1 0xff
0000066e: NOT
0000066f: AND
00000670: SWAP1
00000671: SSTORE
00000672: PUSH1 0x01
00000674: PUSH2 0x04f9
00000677: JUMP
00000678: JUMPDEST
00000679: PUSH1 0x01
0000067b: DUP5
0000067c: DUP2
0000067d: SSTORE
0000067e: PUSH1 0x00
00000680: DUP1
00000681: SLOAD
00000682: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000697: NOT
00000698: AND
00000699: DUP5
0000069a: OR
0000069b: SWAP1
0000069c: SSTORE
0000069d: SWAP3
0000069e: POP
0000069f: JUMPDEST
000006a0: POP
000006a1: POP
000006a2: SWAP3
000006a3: SWAP2
000006a4: POP
000006a5: POP
000006a6: JUMP
000006a7: JUMPDEST
000006a8: DUP5
000006a9: SWAP2
000006aa: POP
000006ab: ADDRESS
000006ac: PUSH1 0x01
000006ae: PUSH1 0xa0
000006b0: PUSH1 0x02
000006b2: EXP
000006b3: SUB
000006b4: AND
000006b5: DUP3
000006b6: PUSH1 0x01
000006b8: PUSH1 0xa0
000006ba: PUSH1 0x02
000006bc: EXP
000006bd: SUB
000006be: AND
000006bf: PUSH4 0x2ade6c36
000006c4: DUP7
000006c5: PUSH1 0x40
000006c7: MLOAD
000006c8: DUP3
000006c9: PUSH1 0xe0
000006cb: PUSH1 0x02
000006cd: EXP
000006ce: MUL
000006cf: DUP2
000006d0: MSTORE
000006d1: PUSH1 0x04
000006d3: ADD
000006d4: DUP1
000006d5: DUP3
000006d6: PUSH1 0x00
000006d8: NOT
000006d9: AND
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x20
000006de: ADD
000006df: SWAP2
000006e0: POP
000006e1: POP
000006e2: PUSH1 0x20
000006e4: PUSH1 0x40
000006e6: MLOAD
000006e7: DUP1
000006e8: DUP4
000006e9: SUB
000006ea: DUP2
000006eb: PUSH1 0x00
000006ed: DUP8
000006ee: PUSH2 0x61da
000006f1: GAS
000006f2: SUB
000006f3: CALL
000006f4: ISZERO
000006f5: PUSH2 0x0002
000006f8: JUMPI
000006f9: POP
000006fa: POP
000006fb: PUSH1 0x40
000006fd: MLOAD
000006fe: MLOAD
000006ff: PUSH1 0x01
00000701: PUSH1 0xa0
00000703: PUSH1 0x02
00000705: EXP
00000706: SUB
00000707: AND
00000708: SWAP1
00000709: SWAP2
0000070a: EQ
0000070b: SWAP1
0000070c: POP
0000070d: PUSH2 0x0678
00000710: JUMPI
00000711: DUP2
00000712: PUSH1 0x01
00000714: PUSH1 0xa0
00000716: PUSH1 0x02
00000718: EXP
00000719: SUB
0000071a: AND
0000071b: PUSH4 0x76849376
00000720: DUP6
00000721: ADDRESS
00000722: PUSH1 0x40
00000724: MLOAD
00000725: DUP4
00000726: PUSH1 0xe0
00000728: PUSH1 0x02
0000072a: EXP
0000072b: MUL
0000072c: DUP2
0000072d: MSTORE
0000072e: PUSH1 0x04
00000730: ADD
00000731: DUP1
00000732: DUP4
00000733: PUSH1 0x00
00000735: NOT
00000736: AND
00000737: DUP2
00000738: MSTORE
00000739: PUSH1 0x20
0000073b: ADD
0000073c: DUP3
0000073d: PUSH1 0x01
0000073f: PUSH1 0xa0
00000741: PUSH1 0x02
00000743: EXP
00000744: SUB
00000745: AND
00000746: DUP2
00000747: MSTORE
00000748: PUSH1 0x20
0000074a: ADD
0000074b: SWAP3
0000074c: POP
0000074d: POP
0000074e: POP
0000074f: PUSH1 0x20
00000751: PUSH1 0x40
00000753: MLOAD
00000754: DUP1
00000755: DUP4
00000756: SUB
00000757: DUP2
00000758: PUSH1 0x00
0000075a: DUP8
0000075b: PUSH2 0x61da
0000075e: GAS
0000075f: SUB
00000760: CALL
00000761: ISZERO
00000762: PUSH2 0x0002
00000765: JUMPI
00000766: POP
00000767: POP
00000768: PUSH1 0x40
0000076a: MLOAD
0000076b: MLOAD
0000076c: SWAP2
0000076d: POP
0000076e: POP
0000076f: DUP1
00000770: ISZERO
00000771: ISZERO
00000772: PUSH2 0x0678
00000775: JUMPI
00000776: PUSH1 0x00
00000778: SWAP3
00000779: POP
0000077a: PUSH2 0x069f
0000077d: JUMP
0000077e: JUMPDEST
0000077f: PUSH1 0x00
00000781: DUP1
00000782: SLOAD
00000783: PUSH1 0xc1
00000785: PUSH1 0x02
00000787: EXP
00000788: PUSH8 0x30b8383937bb32b9
00000791: MUL
00000792: SWAP2
00000793: PUSH1 0x01
00000795: PUSH1 0xa0
00000797: PUSH1 0x02
00000799: EXP
0000079a: SUB
0000079b: SWAP2
0000079c: SWAP1
0000079d: SWAP2
0000079e: AND
0000079f: EQ
000007a0: DUP1
000007a1: ISZERO
000007a2: SWAP1
000007a3: PUSH2 0x080e
000007a6: JUMPI
000007a7: POP
000007a8: PUSH1 0x40
000007aa: DUP1
000007ab: MLOAD
000007ac: PUSH1 0x00
000007ae: DUP1
000007af: SLOAD
000007b0: PUSH1 0x01
000007b2: SLOAD
000007b3: PUSH1 0xe4
000007b5: PUSH1 0x02
000007b7: EXP
000007b8: PUSH4 0x0a1add51
000007bd: MUL
000007be: DUP5
000007bf: MSTORE
000007c0: PUSH1 0x04
000007c2: DUP5
000007c3: ADD
000007c4: MSTORE
000007c5: PUSH1 0x24
000007c7: DUP4
000007c8: ADD
000007c9: DUP6
000007ca: SWAP1
000007cb: MSTORE
000007cc: PUSH1 0x01
000007ce: PUSH1 0xa0
000007d0: PUSH1 0x02
000007d2: EXP
000007d3: SUB
000007d4: CALLER
000007d5: DUP2
000007d6: AND
000007d7: PUSH1 0x44
000007d9: DUP6
000007da: ADD
000007db: MSTORE
000007dc: SWAP4
000007dd: MLOAD
000007de: SWAP4
000007df: AND
000007e0: SWAP3
000007e1: PUSH4 0xa1add510
000007e6: SWAP3
000007e7: PUSH1 0x64
000007e9: DUP1
000007ea: DUP3
000007eb: ADD
000007ec: SWAP4
000007ed: PUSH1 0x20
000007ef: SWAP4
000007f0: SWAP3
000007f1: DUP4
000007f2: SWAP1
000007f3: SUB
000007f4: SWAP1
000007f5: SWAP2
000007f6: ADD
000007f7: SWAP1
000007f8: DUP3
000007f9: SWAP1
000007fa: DUP8
000007fb: PUSH2 0x61da
000007fe: GAS
000007ff: SUB
00000800: CALL
00000801: ISZERO
00000802: PUSH2 0x0002
00000805: JUMPI
00000806: POP
00000807: POP
00000808: PUSH1 0x40
0000080a: MLOAD
0000080b: MLOAD
0000080c: SWAP1
0000080d: POP
0000080e: JUMPDEST
0000080f: ISZERO
00000810: PUSH2 0x04f7
00000813: JUMPI
00000814: POP
00000815: POP
00000816: PUSH1 0x01
00000818: PUSH1 0xa0
0000081a: PUSH1 0x02
0000081c: EXP
0000081d: SUB
0000081e: DUP2
0000081f: AND
00000820: PUSH1 0x00
00000822: SWAP1
00000823: DUP2
00000824: MSTORE
00000825: PUSH1 0x04
00000827: PUSH1 0x20
00000829: MSTORE
0000082a: PUSH1 0x40
0000082c: SWAP1
0000082d: KECCAK256
0000082e: DUP1
0000082f: SLOAD
00000830: PUSH1 0xff
00000832: NOT
00000833: AND
00000834: SWAP1
00000835: SSTORE
00000836: PUSH1 0x01
00000838: PUSH2 0x04f9
0000083b: JUMP
0000083c: JUMPDEST
0000083d: POP
0000083e: JUMP
0000083f: JUMPDEST
00000840: POP
00000841: PUSH1 0x00
00000843: JUMPDEST
00000844: SWAP1
00000845: JUMP
00000846: JUMPDEST
00000847: PUSH1 0x00
00000849: DUP1
0000084a: SLOAD
0000084b: PUSH1 0xc1
0000084d: PUSH1 0x02
0000084f: EXP
00000850: PUSH8 0x30b8383937bb32b9
00000859: MUL
0000085a: SWAP2
0000085b: PUSH1 0x01
0000085d: PUSH1 0xa0
0000085f: PUSH1 0x02
00000861: EXP
00000862: SUB
00000863: SWAP2
00000864: SWAP1
00000865: SWAP2
00000866: AND
00000867: EQ
00000868: DUP1
00000869: ISZERO
0000086a: SWAP1
0000086b: PUSH2 0x08d6
0000086e: JUMPI
0000086f: POP
00000870: PUSH1 0x40
00000872: DUP1
00000873: MLOAD
00000874: PUSH1 0x00
00000876: DUP1
00000877: SLOAD
00000878: PUSH1 0x01
0000087a: SLOAD
0000087b: PUSH1 0xe4
0000087d: PUSH1 0x02
0000087f: EXP
00000880: PUSH4 0x0a1add51
00000885: MUL
00000886: DUP5
00000887: MSTORE
00000888: PUSH1 0x04
0000088a: DUP5
0000088b: ADD
0000088c: MSTORE
0000088d: PUSH1 0x24
0000088f: DUP4
00000890: ADD
00000891: DUP6
00000892: SWAP1
00000893: MSTORE
00000894: PUSH1 0x01
00000896: PUSH1 0xa0
00000898: PUSH1 0x02
0000089a: EXP
0000089b: SUB
0000089c: CALLER
0000089d: DUP2
0000089e: AND
0000089f: PUSH1 0x44
000008a1: DUP6
000008a2: ADD
000008a3: MSTORE
000008a4: SWAP4
000008a5: MLOAD
000008a6: SWAP4
000008a7: AND
000008a8: SWAP3
000008a9: PUSH4 0xa1add510
000008ae: SWAP3
000008af: PUSH1 0x64
000008b1: DUP1
000008b2: DUP3
000008b3: ADD
000008b4: SWAP4
000008b5: PUSH1 0x20
000008b7: SWAP4
000008b8: SWAP3
000008b9: DUP4
000008ba: SWAP1
000008bb: SUB
000008bc: SWAP1
000008bd: SWAP2
000008be: ADD
000008bf: SWAP1
000008c0: DUP3
000008c1: SWAP1
000008c2: DUP8
000008c3: PUSH2 0x61da
000008c6: GAS
000008c7: SUB
000008c8: CALL
000008c9: ISZERO
000008ca: PUSH2 0x0002
000008cd: JUMPI
000008ce: POP
000008cf: POP
000008d0: PUSH1 0x40
000008d2: MLOAD
000008d3: MLOAD
000008d4: SWAP1
000008d5: POP
000008d6: JUMPDEST
000008d7: ISZERO
000008d8: PUSH2 0x04f7
000008db: JUMPI
000008dc: POP
000008dd: POP
000008de: PUSH1 0x01
000008e0: PUSH1 0xa0
000008e2: PUSH1 0x02
000008e4: EXP
000008e5: SUB
000008e6: DUP2
000008e7: AND
000008e8: PUSH1 0x00
000008ea: SWAP1
000008eb: DUP2
000008ec: MSTORE
000008ed: PUSH1 0x04
000008ef: PUSH1 0x20
000008f1: MSTORE
000008f2: PUSH1 0x40
000008f4: SWAP1
000008f5: KECCAK256
000008f6: DUP1
000008f7: SLOAD
000008f8: PUSH1 0xff
000008fa: NOT
000008fb: AND
000008fc: PUSH1 0x01
000008fe: SWAP1
000008ff: DUP2
00000900: OR
00000901: SWAP1
00000902: SWAP2
00000903: SSTORE
00000904: PUSH2 0x04f9
00000907: JUMP
00000908: JUMPDEST
00000909: DUP4
0000090a: PUSH1 0x01
0000090c: PUSH1 0xa0
0000090e: PUSH1 0x02
00000910: EXP
00000911: SUB
00000912: AND
00000913: CALLER
00000914: PUSH1 0x01
00000916: PUSH1 0xa0
00000918: PUSH1 0x02
0000091a: EXP
0000091b: SUB
0000091c: AND
0000091d: PUSH32 0x2b0d35cc55a37536a00cf056f44b5f4b453659ddd18bc131a978463523ad3a1f
0000093e: DUP6
0000093f: DUP6
00000940: PUSH1 0x40
00000942: MLOAD
00000943: DUP1
00000944: DUP4
00000945: DUP2
00000946: MSTORE
00000947: PUSH1 0x20
00000949: ADD
0000094a: DUP1
0000094b: PUSH1 0x20
0000094d: ADD
0000094e: DUP3
0000094f: DUP2
00000950: SUB
00000951: DUP3
00000952: MSTORE
00000953: DUP4
00000954: DUP2
00000955: DUP2
00000956: MLOAD
00000957: DUP2
00000958: MSTORE
00000959: PUSH1 0x20
0000095b: ADD
0000095c: SWAP2
0000095d: POP
0000095e: DUP1
0000095f: MLOAD
00000960: SWAP1
00000961: PUSH1 0x20
00000963: ADD
00000964: SWAP1
00000965: DUP1
00000966: DUP4
00000967: DUP4
00000968: DUP3
00000969: SWAP1
0000096a: PUSH1 0x00
0000096c: PUSH1 0x04
0000096e: PUSH1 0x20
00000970: DUP5
00000971: PUSH1 0x1f
00000973: ADD
00000974: DIV
00000975: PUSH1 0x0f
00000977: MUL
00000978: PUSH1 0x03
0000097a: ADD
0000097b: CALL
0000097c: POP
0000097d: SWAP1
0000097e: POP
0000097f: SWAP1
00000980: DUP2
00000981: ADD
00000982: SWAP1
00000983: PUSH1 0x1f
00000985: AND
00000986: DUP1
00000987: ISZERO
00000988: PUSH2 0x09a5
0000098b: JUMPI
0000098c: DUP1
0000098d: DUP3
0000098e: SUB
0000098f: DUP1
00000990: MLOAD
00000991: PUSH1 0x01
00000993: DUP4
00000994: PUSH1 0x20
00000996: SUB
00000997: PUSH2 0x0100
0000099a: EXP
0000099b: SUB
0000099c: NOT
0000099d: AND
0000099e: DUP2
0000099f: MSTORE
000009a0: PUSH1 0x20
000009a2: ADD
000009a3: SWAP2
000009a4: POP
000009a5: JUMPDEST
000009a6: POP
000009a7: SWAP4
000009a8: POP
000009a9: POP
000009aa: POP
000009ab: POP
000009ac: PUSH1 0x40
000009ae: MLOAD
000009af: DUP1
000009b0: SWAP2
000009b1: SUB
000009b2: SWAP1
000009b3: LOG3
000009b4: POP
000009b5: PUSH1 0x01
000009b7: JUMPDEST
000009b8: SWAP4
000009b9: SWAP3
000009ba: POP
000009bb: POP
000009bc: POP
000009bd: JUMP
000009be: JUMPDEST
000009bf: ISZERO
000009c0: ISZERO
000009c1: PUSH2 0x0908
000009c4: JUMPI
000009c5: POP
000009c6: PUSH1 0x00
000009c8: PUSH2 0x09b7
000009cb: JUMP
000009cc: JUMPDEST
000009cd: POP
000009ce: JUMPDEST
000009cf: SWAP3
000009d0: SWAP2
000009d1: POP
000009d2: POP
000009d3: JUMP
000009d4: JUMPDEST
000009d5: PUSH1 0x01
000009d7: PUSH1 0xa0
000009d9: PUSH1 0x02
000009db: EXP
000009dc: SUB
000009dd: CALLER
000009de: AND
000009df: PUSH1 0x00
000009e1: SWAP1
000009e2: DUP2
000009e3: MSTORE
000009e4: PUSH1 0x03
000009e6: PUSH1 0x20
000009e8: MSTORE
000009e9: PUSH1 0x40
000009eb: SWAP1
000009ec: KECCAK256
000009ed: SLOAD
000009ee: DUP4
000009ef: SWAP1
000009f0: PUSH1 0xff
000009f2: AND
000009f3: DUP1
000009f4: ISZERO
000009f5: PUSH2 0x0a16
000009f8: JUMPI
000009f9: POP
000009fa: PUSH1 0x01
000009fc: PUSH1 0xa0
000009fe: PUSH1 0x02
00000a00: EXP
00000a01: SUB
00000a02: DUP2
00000a03: AND
00000a04: PUSH1 0x00
00000a06: SWAP1
00000a07: DUP2
00000a08: MSTORE
00000a09: PUSH1 0x04
00000a0b: PUSH1 0x20
00000a0d: MSTORE
00000a0e: PUSH1 0x40
00000a10: SWAP1
00000a11: KECCAK256
00000a12: SLOAD
00000a13: PUSH1 0xff
00000a15: AND
00000a16: JUMPDEST
00000a17: ISZERO
00000a18: PUSH2 0x09cc
00000a1b: JUMPI
00000a1c: PUSH2 0x0a25
00000a1f: DUP5
00000a20: DUP5
00000a21: PUSH2 0x019e
00000a24: JUMP
00000a25: JUMPDEST
00000a26: SWAP2
00000a27: POP
00000a28: POP
00000a29: PUSH2 0x09ce
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: ISZERO
00000a2f: ISZERO
00000a30: PUSH2 0x0a38
00000a33: JUMPI
00000a34: PUSH2 0x0002
00000a37: JUMP
00000a38: JUMPDEST
00000a39: POP
00000a3a: POP
00000a3b: 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: 0xb7f8d95d4078ac9ae592a17cd2d60c85b3f87ac27554c90444aa8a93af316de4
call_targets: 0x1aa38403a73f6fc6a8154f7c1e47ef4a2ae8e635
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb7f8d95d4078ac9ae592a17cd2d60c85b3f87ac27554c90444aa8a93af316de4",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1aa38403a73f6fc6a8154f7c1e47ef4a2ae8e635"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12ab7242",
            "selector": "0x12ab7242",
            "calldata_variants": [
                "0x12ab7242",
                "0x12ab72420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95a078e8",
            "selector": "0x95a078e8",
            "calldata_variants": [
                "0x95a078e8",
                "0x95a078e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9c52a7f1",
            "selector": "0x9c52a7f1",
            "calldata_variants": [
                "0x9c52a7f1",
                "0x9c52a7f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 365,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 445,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 723,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 11,
    "guards_detected": [],
    "untrusted_call_count": 11
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xb7f8d95d4078ac9ae592a17cd2d60c85b3f87ac27554c90444aa8a93af316de4
call_targets: 0x1aa38403a73f6fc6a8154f7c1e47ef4a2ae8e635
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb7f8d95d4078ac9ae592a17cd2d60c85b3f87ac27554c90444aa8a93af316de4",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1aa38403a73f6fc6a8154f7c1e47ef4a2ae8e635"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12ab7242",
            "selector": "0x12ab7242",
            "calldata_variants": [
                "0x12ab7242",
                "0x12ab72420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95a078e8",
            "selector": "0x95a078e8",
            "calldata_variants": [
                "0x95a078e8",
                "0x95a078e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9c52a7f1",
            "selector": "0x9c52a7f1",
            "calldata_variants": [
                "0x9c52a7f1",
                "0x9c52a7f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 365,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 445,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 723,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 11,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x6631a00713c613c5effb9ac52f9f58bb9b3fe2551ef8b2c6fe6c705d1e7a7623
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 30,
    "trace_id": "0x6631a00713c613c5effb9ac52f9f58bb9b3fe2551ef8b2c6fe6c705d1e7a7623",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12ab7242",
            "selector": "0x12ab7242",
            "calldata_variants": [
                "0x12ab7242",
                "0x12ab72420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95a078e8",
            "selector": "0x95a078e8",
            "calldata_variants": [
                "0x95a078e8",
                "0x95a078e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9c52a7f1",
            "selector": "0x9c52a7f1",
            "calldata_variants": [
                "0x9c52a7f1",
                "0x9c52a7f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}