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

Analysis Run

019b3844-b3de-7257-9c32-1ecd7b13d8c1

complete
Chain ID
1
Address
0x7e81648861a818dcec9fd2dd44178b2a61e321cb
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
18815 artifact.fetch complete 1 / 3 3 months ago
18816 tool.cast_disasm complete 1 / 3 3 months ago
87941 analysis.bundle complete 1 / 3 1 week ago
87942 capability.graph complete 1 / 3 1 week ago
87943 detector.run complete 1 / 3 1 week ago
87944 validation.fork complete 1 / 3 1 week 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)
2
EXT*/BALANCE
0
Total opcodes
1803
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0043
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6c02a931
00000019: EQ
0000001a: PUSH2 0x004f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x7b61c320
00000024: EQ
00000025: PUSH2 0x00df
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbe9a6555
0000002f: EQ
00000030: PUSH2 0x016f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd4e93292
0000003a: EQ
0000003b: PUSH2 0x0179
0000003e: JUMPI
0000003f: PUSH2 0x004a
00000042: JUMP
00000043: JUMPDEST
00000044: CALLDATASIZE
00000045: PUSH2 0x004a
00000048: JUMPI
00000049: STOP
0000004a: JUMPDEST
0000004b: PUSH1 0x00
0000004d: DUP1
0000004e: REVERT
0000004f: JUMPDEST
00000050: CALLVALUE
00000051: DUP1
00000052: ISZERO
00000053: PUSH2 0x005b
00000056: JUMPI
00000057: PUSH1 0x00
00000059: DUP1
0000005a: REVERT
0000005b: JUMPDEST
0000005c: POP
0000005d: PUSH2 0x0064
00000060: PUSH2 0x0183
00000063: JUMP
00000064: JUMPDEST
00000065: PUSH1 0x40
00000067: MLOAD
00000068: DUP1
00000069: DUP1
0000006a: PUSH1 0x20
0000006c: ADD
0000006d: DUP3
0000006e: DUP2
0000006f: SUB
00000070: DUP3
00000071: MSTORE
00000072: DUP4
00000073: DUP2
00000074: DUP2
00000075: MLOAD
00000076: DUP2
00000077: MSTORE
00000078: PUSH1 0x20
0000007a: ADD
0000007b: SWAP2
0000007c: POP
0000007d: DUP1
0000007e: MLOAD
0000007f: SWAP1
00000080: PUSH1 0x20
00000082: ADD
00000083: SWAP1
00000084: DUP1
00000085: DUP4
00000086: DUP4
00000087: PUSH1 0x00
00000089: JUMPDEST
0000008a: DUP4
0000008b: DUP2
0000008c: LT
0000008d: ISZERO
0000008e: PUSH2 0x00a4
00000091: JUMPI
00000092: DUP1
00000093: DUP3
00000094: ADD
00000095: MLOAD
00000096: DUP2
00000097: DUP5
00000098: ADD
00000099: MSTORE
0000009a: PUSH1 0x20
0000009c: DUP2
0000009d: ADD
0000009e: SWAP1
0000009f: POP
000000a0: PUSH2 0x0089
000000a3: JUMP
000000a4: JUMPDEST
000000a5: POP
000000a6: POP
000000a7: POP
000000a8: POP
000000a9: SWAP1
000000aa: POP
000000ab: SWAP1
000000ac: DUP2
000000ad: ADD
000000ae: SWAP1
000000af: PUSH1 0x1f
000000b1: AND
000000b2: DUP1
000000b3: ISZERO
000000b4: PUSH2 0x00d1
000000b7: JUMPI
000000b8: DUP1
000000b9: DUP3
000000ba: SUB
000000bb: DUP1
000000bc: MLOAD
000000bd: PUSH1 0x01
000000bf: DUP4
000000c0: PUSH1 0x20
000000c2: SUB
000000c3: PUSH2 0x0100
000000c6: EXP
000000c7: SUB
000000c8: NOT
000000c9: AND
000000ca: DUP2
000000cb: MSTORE
000000cc: PUSH1 0x20
000000ce: ADD
000000cf: SWAP2
000000d0: POP
000000d1: JUMPDEST
000000d2: POP
000000d3: SWAP3
000000d4: POP
000000d5: POP
000000d6: POP
000000d7: PUSH1 0x40
000000d9: MLOAD
000000da: DUP1
000000db: SWAP2
000000dc: SUB
000000dd: SWAP1
000000de: RETURN
000000df: JUMPDEST
000000e0: CALLVALUE
000000e1: DUP1
000000e2: ISZERO
000000e3: PUSH2 0x00eb
000000e6: JUMPI
000000e7: PUSH1 0x00
000000e9: DUP1
000000ea: REVERT
000000eb: JUMPDEST
000000ec: POP
000000ed: PUSH2 0x00f4
000000f0: PUSH2 0x0221
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH1 0x40
000000f7: MLOAD
000000f8: DUP1
000000f9: DUP1
000000fa: PUSH1 0x20
000000fc: ADD
000000fd: DUP3
000000fe: DUP2
000000ff: SUB
00000100: DUP3
00000101: MSTORE
00000102: DUP4
00000103: DUP2
00000104: DUP2
00000105: MLOAD
00000106: DUP2
00000107: MSTORE
00000108: PUSH1 0x20
0000010a: ADD
0000010b: SWAP2
0000010c: POP
0000010d: DUP1
0000010e: MLOAD
0000010f: SWAP1
00000110: PUSH1 0x20
00000112: ADD
00000113: SWAP1
00000114: DUP1
00000115: DUP4
00000116: DUP4
00000117: PUSH1 0x00
00000119: JUMPDEST
0000011a: DUP4
0000011b: DUP2
0000011c: LT
0000011d: ISZERO
0000011e: PUSH2 0x0134
00000121: JUMPI
00000122: DUP1
00000123: DUP3
00000124: ADD
00000125: MLOAD
00000126: DUP2
00000127: DUP5
00000128: ADD
00000129: MSTORE
0000012a: PUSH1 0x20
0000012c: DUP2
0000012d: ADD
0000012e: SWAP1
0000012f: POP
00000130: PUSH2 0x0119
00000133: JUMP
00000134: JUMPDEST
00000135: POP
00000136: POP
00000137: POP
00000138: POP
00000139: SWAP1
0000013a: POP
0000013b: SWAP1
0000013c: DUP2
0000013d: ADD
0000013e: SWAP1
0000013f: PUSH1 0x1f
00000141: AND
00000142: DUP1
00000143: ISZERO
00000144: PUSH2 0x0161
00000147: JUMPI
00000148: DUP1
00000149: DUP3
0000014a: SUB
0000014b: DUP1
0000014c: MLOAD
0000014d: PUSH1 0x01
0000014f: DUP4
00000150: PUSH1 0x20
00000152: SUB
00000153: PUSH2 0x0100
00000156: EXP
00000157: SUB
00000158: NOT
00000159: AND
0000015a: DUP2
0000015b: MSTORE
0000015c: PUSH1 0x20
0000015e: ADD
0000015f: SWAP2
00000160: POP
00000161: JUMPDEST
00000162: POP
00000163: SWAP3
00000164: POP
00000165: POP
00000166: POP
00000167: PUSH1 0x40
00000169: MLOAD
0000016a: DUP1
0000016b: SWAP2
0000016c: SUB
0000016d: SWAP1
0000016e: RETURN
0000016f: JUMPDEST
00000170: PUSH2 0x0177
00000173: PUSH2 0x02bf
00000176: JUMP
00000177: JUMPDEST
00000178: STOP
00000179: JUMPDEST
0000017a: PUSH2 0x0181
0000017d: PUSH2 0x032a
00000180: JUMP
00000181: JUMPDEST
00000182: STOP
00000183: JUMPDEST
00000184: PUSH1 0x00
00000186: DUP1
00000187: SLOAD
00000188: PUSH1 0x01
0000018a: DUP2
0000018b: PUSH1 0x01
0000018d: AND
0000018e: ISZERO
0000018f: PUSH2 0x0100
00000192: MUL
00000193: SUB
00000194: AND
00000195: PUSH1 0x02
00000197: SWAP1
00000198: DIV
00000199: DUP1
0000019a: PUSH1 0x1f
0000019c: ADD
0000019d: PUSH1 0x20
0000019f: DUP1
000001a0: SWAP2
000001a1: DIV
000001a2: MUL
000001a3: PUSH1 0x20
000001a5: ADD
000001a6: PUSH1 0x40
000001a8: MLOAD
000001a9: SWAP1
000001aa: DUP2
000001ab: ADD
000001ac: PUSH1 0x40
000001ae: MSTORE
000001af: DUP1
000001b0: SWAP3
000001b1: SWAP2
000001b2: SWAP1
000001b3: DUP2
000001b4: DUP2
000001b5: MSTORE
000001b6: PUSH1 0x20
000001b8: ADD
000001b9: DUP3
000001ba: DUP1
000001bb: SLOAD
000001bc: PUSH1 0x01
000001be: DUP2
000001bf: PUSH1 0x01
000001c1: AND
000001c2: ISZERO
000001c3: PUSH2 0x0100
000001c6: MUL
000001c7: SUB
000001c8: AND
000001c9: PUSH1 0x02
000001cb: SWAP1
000001cc: DIV
000001cd: DUP1
000001ce: ISZERO
000001cf: PUSH2 0x0219
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH1 0x1f
000001d6: LT
000001d7: PUSH2 0x01ee
000001da: JUMPI
000001db: PUSH2 0x0100
000001de: DUP1
000001df: DUP4
000001e0: SLOAD
000001e1: DIV
000001e2: MUL
000001e3: DUP4
000001e4: MSTORE
000001e5: SWAP2
000001e6: PUSH1 0x20
000001e8: ADD
000001e9: SWAP2
000001ea: PUSH2 0x0219
000001ed: JUMP
000001ee: JUMPDEST
000001ef: DUP3
000001f0: ADD
000001f1: SWAP2
000001f2: SWAP1
000001f3: PUSH1 0x00
000001f5: MSTORE
000001f6: PUSH1 0x20
000001f8: PUSH1 0x00
000001fa: KECCAK256
000001fb: SWAP1
000001fc: JUMPDEST
000001fd: DUP2
000001fe: SLOAD
000001ff: DUP2
00000200: MSTORE
00000201: SWAP1
00000202: PUSH1 0x01
00000204: ADD
00000205: SWAP1
00000206: PUSH1 0x20
00000208: ADD
00000209: DUP1
0000020a: DUP4
0000020b: GT
0000020c: PUSH2 0x01fc
0000020f: JUMPI
00000210: DUP3
00000211: SWAP1
00000212: SUB
00000213: PUSH1 0x1f
00000215: AND
00000216: DUP3
00000217: ADD
00000218: SWAP2
00000219: JUMPDEST
0000021a: POP
0000021b: POP
0000021c: POP
0000021d: POP
0000021e: POP
0000021f: DUP2
00000220: JUMP
00000221: JUMPDEST
00000222: PUSH1 0x01
00000224: DUP1
00000225: SLOAD
00000226: PUSH1 0x01
00000228: DUP2
00000229: PUSH1 0x01
0000022b: AND
0000022c: ISZERO
0000022d: PUSH2 0x0100
00000230: MUL
00000231: SUB
00000232: AND
00000233: PUSH1 0x02
00000235: SWAP1
00000236: DIV
00000237: DUP1
00000238: PUSH1 0x1f
0000023a: ADD
0000023b: PUSH1 0x20
0000023d: DUP1
0000023e: SWAP2
0000023f: DIV
00000240: MUL
00000241: PUSH1 0x20
00000243: ADD
00000244: PUSH1 0x40
00000246: MLOAD
00000247: SWAP1
00000248: DUP2
00000249: ADD
0000024a: PUSH1 0x40
0000024c: MSTORE
0000024d: DUP1
0000024e: SWAP3
0000024f: SWAP2
00000250: SWAP1
00000251: DUP2
00000252: DUP2
00000253: MSTORE
00000254: PUSH1 0x20
00000256: ADD
00000257: DUP3
00000258: DUP1
00000259: SLOAD
0000025a: PUSH1 0x01
0000025c: DUP2
0000025d: PUSH1 0x01
0000025f: AND
00000260: ISZERO
00000261: PUSH2 0x0100
00000264: MUL
00000265: SUB
00000266: AND
00000267: PUSH1 0x02
00000269: SWAP1
0000026a: DIV
0000026b: DUP1
0000026c: ISZERO
0000026d: PUSH2 0x02b7
00000270: JUMPI
00000271: DUP1
00000272: PUSH1 0x1f
00000274: LT
00000275: PUSH2 0x028c
00000278: JUMPI
00000279: PUSH2 0x0100
0000027c: DUP1
0000027d: DUP4
0000027e: SLOAD
0000027f: DIV
00000280: MUL
00000281: DUP4
00000282: MSTORE
00000283: SWAP2
00000284: PUSH1 0x20
00000286: ADD
00000287: SWAP2
00000288: PUSH2 0x02b7
0000028b: JUMP
0000028c: JUMPDEST
0000028d: DUP3
0000028e: ADD
0000028f: SWAP2
00000290: SWAP1
00000291: PUSH1 0x00
00000293: MSTORE
00000294: PUSH1 0x20
00000296: PUSH1 0x00
00000298: KECCAK256
00000299: SWAP1
0000029a: JUMPDEST
0000029b: DUP2
0000029c: SLOAD
0000029d: DUP2
0000029e: MSTORE
0000029f: SWAP1
000002a0: PUSH1 0x01
000002a2: ADD
000002a3: SWAP1
000002a4: PUSH1 0x20
000002a6: ADD
000002a7: DUP1
000002a8: DUP4
000002a9: GT
000002aa: PUSH2 0x029a
000002ad: JUMPI
000002ae: DUP3
000002af: SWAP1
000002b0: SUB
000002b1: PUSH1 0x1f
000002b3: AND
000002b4: DUP3
000002b5: ADD
000002b6: SWAP2
000002b7: JUMPDEST
000002b8: POP
000002b9: POP
000002ba: POP
000002bb: POP
000002bc: POP
000002bd: DUP2
000002be: JUMP
000002bf: JUMPDEST
000002c0: PUSH1 0x00
000002c2: PUSH2 0x02d1
000002c5: PUSH2 0x02cc
000002c8: PUSH2 0x0395
000002cb: JUMP
000002cc: JUMPDEST
000002cd: PUSH2 0x06b3
000002d0: JUMP
000002d1: JUMPDEST
000002d2: SWAP1
000002d3: POP
000002d4: PUSH1 0x00
000002d6: DUP2
000002d7: SWAP1
000002d8: POP
000002d9: DUP1
000002da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ef: AND
000002f0: PUSH2 0x08fc
000002f3: PUSH2 0x02fa
000002f6: PUSH2 0x090c
000002f9: JUMP
000002fa: JUMPDEST
000002fb: SWAP1
000002fc: DUP2
000002fd: ISZERO
000002fe: MUL
000002ff: SWAP1
00000300: PUSH1 0x40
00000302: MLOAD
00000303: PUSH1 0x00
00000305: PUSH1 0x40
00000307: MLOAD
00000308: DUP1
00000309: DUP4
0000030a: SUB
0000030b: DUP2
0000030c: DUP6
0000030d: DUP9
0000030e: DUP9
0000030f: CALL
00000310: SWAP4
00000311: POP
00000312: POP
00000313: POP
00000314: POP
00000315: ISZERO
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0325
0000031b: JUMPI
0000031c: RETURNDATASIZE
0000031d: PUSH1 0x00
0000031f: DUP1
00000320: RETURNDATACOPY
00000321: RETURNDATASIZE
00000322: PUSH1 0x00
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: POP
00000328: POP
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH1 0x00
0000032d: PUSH2 0x033c
00000330: PUSH2 0x0337
00000333: PUSH2 0x0395
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH2 0x06b3
0000033b: JUMP
0000033c: JUMPDEST
0000033d: SWAP1
0000033e: POP
0000033f: PUSH1 0x00
00000341: DUP2
00000342: SWAP1
00000343: POP
00000344: DUP1
00000345: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000035a: AND
0000035b: PUSH2 0x08fc
0000035e: PUSH2 0x0365
00000361: PUSH2 0x090c
00000364: JUMP
00000365: JUMPDEST
00000366: SWAP1
00000367: DUP2
00000368: ISZERO
00000369: MUL
0000036a: SWAP1
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: PUSH1 0x00
00000370: PUSH1 0x40
00000372: MLOAD
00000373: DUP1
00000374: DUP4
00000375: SUB
00000376: DUP2
00000377: DUP6
00000378: DUP9
00000379: DUP9
0000037a: CALL
0000037b: SWAP4
0000037c: POP
0000037d: POP
0000037e: POP
0000037f: POP
00000380: ISZERO
00000381: DUP1
00000382: ISZERO
00000383: PUSH2 0x0390
00000386: JUMPI
00000387: RETURNDATASIZE
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: RETURNDATACOPY
0000038c: RETURNDATASIZE
0000038d: PUSH1 0x00
0000038f: REVERT
00000390: JUMPDEST
00000391: POP
00000392: POP
00000393: POP
00000394: JUMP
00000395: JUMPDEST
00000396: PUSH1 0x60
00000398: DUP1
00000399: PUSH2 0x03a0
0000039c: PUSH2 0x0914
0000039f: JUMP
000003a0: JUMPDEST
000003a1: SWAP1
000003a2: POP
000003a3: PUSH1 0x60
000003a5: PUSH2 0x03ac
000003a8: PUSH2 0x0951
000003ab: JUMP
000003ac: JUMPDEST
000003ad: SWAP1
000003ae: POP
000003af: PUSH1 0x60
000003b1: PUSH2 0x03b8
000003b4: PUSH2 0x098e
000003b7: JUMP
000003b8: JUMPDEST
000003b9: SWAP1
000003ba: POP
000003bb: PUSH1 0x60
000003bd: PUSH2 0x03c4
000003c0: PUSH2 0x09cb
000003c3: JUMP
000003c4: JUMPDEST
000003c5: SWAP1
000003c6: POP
000003c7: PUSH1 0x60
000003c9: PUSH2 0x03d0
000003cc: PUSH2 0x0a08
000003cf: JUMP
000003d0: JUMPDEST
000003d1: SWAP1
000003d2: POP
000003d3: PUSH1 0x60
000003d5: PUSH2 0x03dc
000003d8: PUSH2 0x0a45
000003db: JUMP
000003dc: JUMPDEST
000003dd: SWAP1
000003de: POP
000003df: PUSH1 0x60
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x0a82
000003e7: JUMP
000003e8: JUMPDEST
000003e9: SWAP1
000003ea: POP
000003eb: PUSH1 0x60
000003ed: PUSH2 0x03f4
000003f0: PUSH2 0x0abf
000003f3: JUMP
000003f4: JUMPDEST
000003f5: SWAP1
000003f6: POP
000003f7: DUP8
000003f8: DUP8
000003f9: DUP8
000003fa: DUP8
000003fb: DUP8
000003fc: DUP8
000003fd: DUP8
000003fe: DUP8
000003ff: PUSH1 0x40
00000401: MLOAD
00000402: PUSH1 0x20
00000404: ADD
00000405: DUP1
00000406: DUP10
00000407: DUP1
00000408: MLOAD
00000409: SWAP1
0000040a: PUSH1 0x20
0000040c: ADD
0000040d: SWAP1
0000040e: DUP1
0000040f: DUP4
00000410: DUP4
00000411: JUMPDEST
00000412: PUSH1 0x20
00000414: DUP4
00000415: LT
00000416: PUSH2 0x0434
00000419: JUMPI
0000041a: DUP1
0000041b: MLOAD
0000041c: DUP3
0000041d: MSTORE
0000041e: PUSH1 0x20
00000420: DUP3
00000421: ADD
00000422: SWAP2
00000423: POP
00000424: PUSH1 0x20
00000426: DUP2
00000427: ADD
00000428: SWAP1
00000429: POP
0000042a: PUSH1 0x20
0000042c: DUP4
0000042d: SUB
0000042e: SWAP3
0000042f: POP
00000430: PUSH2 0x0411
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH1 0x01
00000437: DUP4
00000438: PUSH1 0x20
0000043a: SUB
0000043b: PUSH2 0x0100
0000043e: EXP
0000043f: SUB
00000440: DUP1
00000441: NOT
00000442: DUP3
00000443: MLOAD
00000444: AND
00000445: DUP2
00000446: DUP5
00000447: MLOAD
00000448: AND
00000449: DUP1
0000044a: DUP3
0000044b: OR
0000044c: DUP6
0000044d: MSTORE
0000044e: POP
0000044f: POP
00000450: POP
00000451: POP
00000452: POP
00000453: POP
00000454: SWAP1
00000455: POP
00000456: ADD
00000457: DUP9
00000458: DUP1
00000459: MLOAD
0000045a: SWAP1
0000045b: PUSH1 0x20
0000045d: ADD
0000045e: SWAP1
0000045f: DUP1
00000460: DUP4
00000461: DUP4
00000462: JUMPDEST
00000463: PUSH1 0x20
00000465: DUP4
00000466: LT
00000467: PUSH2 0x0485
0000046a: JUMPI
0000046b: DUP1
0000046c: MLOAD
0000046d: DUP3
0000046e: MSTORE
0000046f: PUSH1 0x20
00000471: DUP3
00000472: ADD
00000473: SWAP2
00000474: POP
00000475: PUSH1 0x20
00000477: DUP2
00000478: ADD
00000479: SWAP1
0000047a: POP
0000047b: PUSH1 0x20
0000047d: DUP4
0000047e: SUB
0000047f: SWAP3
00000480: POP
00000481: PUSH2 0x0462
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH1 0x01
00000488: DUP4
00000489: PUSH1 0x20
0000048b: SUB
0000048c: PUSH2 0x0100
0000048f: EXP
00000490: SUB
00000491: DUP1
00000492: NOT
00000493: DUP3
00000494: MLOAD
00000495: AND
00000496: DUP2
00000497: DUP5
00000498: MLOAD
00000499: AND
0000049a: DUP1
0000049b: DUP3
0000049c: OR
0000049d: DUP6
0000049e: MSTORE
0000049f: POP
000004a0: POP
000004a1: POP
000004a2: POP
000004a3: POP
000004a4: POP
000004a5: SWAP1
000004a6: POP
000004a7: ADD
000004a8: DUP8
000004a9: DUP1
000004aa: MLOAD
000004ab: SWAP1
000004ac: PUSH1 0x20
000004ae: ADD
000004af: SWAP1
000004b0: DUP1
000004b1: DUP4
000004b2: DUP4
000004b3: JUMPDEST
000004b4: PUSH1 0x20
000004b6: DUP4
000004b7: LT
000004b8: PUSH2 0x04d6
000004bb: JUMPI
000004bc: DUP1
000004bd: MLOAD
000004be: DUP3
000004bf: MSTORE
000004c0: PUSH1 0x20
000004c2: DUP3
000004c3: ADD
000004c4: SWAP2
000004c5: POP
000004c6: PUSH1 0x20
000004c8: DUP2
000004c9: ADD
000004ca: SWAP1
000004cb: POP
000004cc: PUSH1 0x20
000004ce: DUP4
000004cf: SUB
000004d0: SWAP3
000004d1: POP
000004d2: PUSH2 0x04b3
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH1 0x01
000004d9: DUP4
000004da: PUSH1 0x20
000004dc: SUB
000004dd: PUSH2 0x0100
000004e0: EXP
000004e1: SUB
000004e2: DUP1
000004e3: NOT
000004e4: DUP3
000004e5: MLOAD
000004e6: AND
000004e7: DUP2
000004e8: DUP5
000004e9: MLOAD
000004ea: AND
000004eb: DUP1
000004ec: DUP3
000004ed: OR
000004ee: DUP6
000004ef: MSTORE
000004f0: POP
000004f1: POP
000004f2: POP
000004f3: POP
000004f4: POP
000004f5: POP
000004f6: SWAP1
000004f7: POP
000004f8: ADD
000004f9: DUP7
000004fa: DUP1
000004fb: MLOAD
000004fc: SWAP1
000004fd: PUSH1 0x20
000004ff: ADD
00000500: SWAP1
00000501: DUP1
00000502: DUP4
00000503: DUP4
00000504: JUMPDEST
00000505: PUSH1 0x20
00000507: DUP4
00000508: LT
00000509: PUSH2 0x0527
0000050c: JUMPI
0000050d: DUP1
0000050e: MLOAD
0000050f: DUP3
00000510: MSTORE
00000511: PUSH1 0x20
00000513: DUP3
00000514: ADD
00000515: SWAP2
00000516: POP
00000517: PUSH1 0x20
00000519: DUP2
0000051a: ADD
0000051b: SWAP1
0000051c: POP
0000051d: PUSH1 0x20
0000051f: DUP4
00000520: SUB
00000521: SWAP3
00000522: POP
00000523: PUSH2 0x0504
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x01
0000052a: DUP4
0000052b: PUSH1 0x20
0000052d: SUB
0000052e: PUSH2 0x0100
00000531: EXP
00000532: SUB
00000533: DUP1
00000534: NOT
00000535: DUP3
00000536: MLOAD
00000537: AND
00000538: DUP2
00000539: DUP5
0000053a: MLOAD
0000053b: AND
0000053c: DUP1
0000053d: DUP3
0000053e: OR
0000053f: DUP6
00000540: MSTORE
00000541: POP
00000542: POP
00000543: POP
00000544: POP
00000545: POP
00000546: POP
00000547: SWAP1
00000548: POP
00000549: ADD
0000054a: DUP6
0000054b: DUP1
0000054c: MLOAD
0000054d: SWAP1
0000054e: PUSH1 0x20
00000550: ADD
00000551: SWAP1
00000552: DUP1
00000553: DUP4
00000554: DUP4
00000555: JUMPDEST
00000556: PUSH1 0x20
00000558: DUP4
00000559: LT
0000055a: PUSH2 0x0578
0000055d: JUMPI
0000055e: DUP1
0000055f: MLOAD
00000560: DUP3
00000561: MSTORE
00000562: PUSH1 0x20
00000564: DUP3
00000565: ADD
00000566: SWAP2
00000567: POP
00000568: PUSH1 0x20
0000056a: DUP2
0000056b: ADD
0000056c: SWAP1
0000056d: POP
0000056e: PUSH1 0x20
00000570: DUP4
00000571: SUB
00000572: SWAP3
00000573: POP
00000574: PUSH2 0x0555
00000577: JUMP
00000578: JUMPDEST
00000579: PUSH1 0x01
0000057b: DUP4
0000057c: PUSH1 0x20
0000057e: SUB
0000057f: PUSH2 0x0100
00000582: EXP
00000583: SUB
00000584: DUP1
00000585: NOT
00000586: DUP3
00000587: MLOAD
00000588: AND
00000589: DUP2
0000058a: DUP5
0000058b: MLOAD
0000058c: AND
0000058d: DUP1
0000058e: DUP3
0000058f: OR
00000590: DUP6
00000591: MSTORE
00000592: POP
00000593: POP
00000594: POP
00000595: POP
00000596: POP
00000597: POP
00000598: SWAP1
00000599: POP
0000059a: ADD
0000059b: DUP5
0000059c: DUP1
0000059d: MLOAD
0000059e: SWAP1
0000059f: PUSH1 0x20
000005a1: ADD
000005a2: SWAP1
000005a3: DUP1
000005a4: DUP4
000005a5: DUP4
000005a6: JUMPDEST
000005a7: PUSH1 0x20
000005a9: DUP4
000005aa: LT
000005ab: PUSH2 0x05c9
000005ae: JUMPI
000005af: DUP1
000005b0: MLOAD
000005b1: DUP3
000005b2: MSTORE
000005b3: PUSH1 0x20
000005b5: DUP3
000005b6: ADD
000005b7: SWAP2
000005b8: POP
000005b9: PUSH1 0x20
000005bb: DUP2
000005bc: ADD
000005bd: SWAP1
000005be: POP
000005bf: PUSH1 0x20
000005c1: DUP4
000005c2: SUB
000005c3: SWAP3
000005c4: POP
000005c5: PUSH2 0x05a6
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH1 0x01
000005cc: DUP4
000005cd: PUSH1 0x20
000005cf: SUB
000005d0: PUSH2 0x0100
000005d3: EXP
000005d4: SUB
000005d5: DUP1
000005d6: NOT
000005d7: DUP3
000005d8: MLOAD
000005d9: AND
000005da: DUP2
000005db: DUP5
000005dc: MLOAD
000005dd: AND
000005de: DUP1
000005df: DUP3
000005e0: OR
000005e1: DUP6
000005e2: MSTORE
000005e3: POP
000005e4: POP
000005e5: POP
000005e6: POP
000005e7: POP
000005e8: POP
000005e9: SWAP1
000005ea: POP
000005eb: ADD
000005ec: DUP4
000005ed: DUP1
000005ee: MLOAD
000005ef: SWAP1
000005f0: PUSH1 0x20
000005f2: ADD
000005f3: SWAP1
000005f4: DUP1
000005f5: DUP4
000005f6: DUP4
000005f7: JUMPDEST
000005f8: PUSH1 0x20
000005fa: DUP4
000005fb: LT
000005fc: PUSH2 0x061a
000005ff: JUMPI
00000600: DUP1
00000601: MLOAD
00000602: DUP3
00000603: MSTORE
00000604: PUSH1 0x20
00000606: DUP3
00000607: ADD
00000608: SWAP2
00000609: POP
0000060a: PUSH1 0x20
0000060c: DUP2
0000060d: ADD
0000060e: SWAP1
0000060f: POP
00000610: PUSH1 0x20
00000612: DUP4
00000613: SUB
00000614: SWAP3
00000615: POP
00000616: PUSH2 0x05f7
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x01
0000061d: DUP4
0000061e: PUSH1 0x20
00000620: SUB
00000621: PUSH2 0x0100
00000624: EXP
00000625: SUB
00000626: DUP1
00000627: NOT
00000628: DUP3
00000629: MLOAD
0000062a: AND
0000062b: DUP2
0000062c: DUP5
0000062d: MLOAD
0000062e: AND
0000062f: DUP1
00000630: DUP3
00000631: OR
00000632: DUP6
00000633: MSTORE
00000634: POP
00000635: POP
00000636: POP
00000637: POP
00000638: POP
00000639: POP
0000063a: SWAP1
0000063b: POP
0000063c: ADD
0000063d: DUP3
0000063e: DUP1
0000063f: MLOAD
00000640: SWAP1
00000641: PUSH1 0x20
00000643: ADD
00000644: SWAP1
00000645: DUP1
00000646: DUP4
00000647: DUP4
00000648: JUMPDEST
00000649: PUSH1 0x20
0000064b: DUP4
0000064c: LT
0000064d: PUSH2 0x066b
00000650: JUMPI
00000651: DUP1
00000652: MLOAD
00000653: DUP3
00000654: MSTORE
00000655: PUSH1 0x20
00000657: DUP3
00000658: ADD
00000659: SWAP2
0000065a: POP
0000065b: PUSH1 0x20
0000065d: DUP2
0000065e: ADD
0000065f: SWAP1
00000660: POP
00000661: PUSH1 0x20
00000663: DUP4
00000664: SUB
00000665: SWAP3
00000666: POP
00000667: PUSH2 0x0648
0000066a: JUMP
0000066b: JUMPDEST
0000066c: PUSH1 0x01
0000066e: DUP4
0000066f: PUSH1 0x20
00000671: SUB
00000672: PUSH2 0x0100
00000675: EXP
00000676: SUB
00000677: DUP1
00000678: NOT
00000679: DUP3
0000067a: MLOAD
0000067b: AND
0000067c: DUP2
0000067d: DUP5
0000067e: MLOAD
0000067f: AND
00000680: DUP1
00000681: DUP3
00000682: OR
00000683: DUP6
00000684: MSTORE
00000685: POP
00000686: POP
00000687: POP
00000688: POP
00000689: POP
0000068a: POP
0000068b: SWAP1
0000068c: POP
0000068d: ADD
0000068e: SWAP9
0000068f: POP
00000690: POP
00000691: POP
00000692: POP
00000693: POP
00000694: POP
00000695: POP
00000696: POP
00000697: POP
00000698: PUSH1 0x40
0000069a: MLOAD
0000069b: PUSH1 0x20
0000069d: DUP2
0000069e: DUP4
0000069f: SUB
000006a0: SUB
000006a1: DUP2
000006a2: MSTORE
000006a3: SWAP1
000006a4: PUSH1 0x40
000006a6: MSTORE
000006a7: SWAP9
000006a8: POP
000006a9: POP
000006aa: POP
000006ab: POP
000006ac: POP
000006ad: POP
000006ae: POP
000006af: POP
000006b0: POP
000006b1: SWAP1
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0x00
000006b6: PUSH1 0x60
000006b8: DUP3
000006b9: SWAP1
000006ba: POP
000006bb: PUSH1 0x00
000006bd: DUP1
000006be: SWAP1
000006bf: POP
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: PUSH1 0x00
000006c5: PUSH1 0x02
000006c7: SWAP1
000006c8: POP
000006c9: JUMPDEST
000006ca: PUSH1 0x2a
000006cc: DUP2
000006cd: LT
000006ce: ISZERO
000006cf: PUSH2 0x08ff
000006d2: JUMPI
000006d3: PUSH2 0x0100
000006d6: DUP5
000006d7: MUL
000006d8: SWAP4
000006d9: POP
000006da: DUP5
000006db: DUP2
000006dc: DUP2
000006dd: MLOAD
000006de: DUP2
000006df: LT
000006e0: PUSH2 0x06e5
000006e3: JUMPI
000006e4: INVALID
000006e5: JUMPDEST
000006e6: PUSH1 0x20
000006e8: ADD
000006e9: ADD
000006ea: MLOAD
000006eb: PUSH1 0xf8
000006ed: SHR
000006ee: PUSH1 0xf8
000006f0: SHL
000006f1: PUSH1 0xf8
000006f3: SHR
000006f4: PUSH1 0xff
000006f6: AND
000006f7: SWAP3
000006f8: POP
000006f9: DUP5
000006fa: PUSH1 0x01
000006fc: DUP3
000006fd: ADD
000006fe: DUP2
000006ff: MLOAD
00000700: DUP2
00000701: LT
00000702: PUSH2 0x0707
00000705: JUMPI
00000706: INVALID
00000707: JUMPDEST
00000708: PUSH1 0x20
0000070a: ADD
0000070b: ADD
0000070c: MLOAD
0000070d: PUSH1 0xf8
0000070f: SHR
00000710: PUSH1 0xf8
00000712: SHL
00000713: PUSH1 0xf8
00000715: SHR
00000716: PUSH1 0xff
00000718: AND
00000719: SWAP2
0000071a: POP
0000071b: PUSH1 0x61
0000071d: DUP4
0000071e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000733: AND
00000734: LT
00000735: ISZERO
00000736: DUP1
00000737: ISZERO
00000738: PUSH2 0x0758
0000073b: JUMPI
0000073c: POP
0000073d: PUSH1 0x66
0000073f: DUP4
00000740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000755: AND
00000756: GT
00000757: ISZERO
00000758: JUMPDEST
00000759: ISZERO
0000075a: PUSH2 0x0768
0000075d: JUMPI
0000075e: PUSH1 0x57
00000760: DUP4
00000761: SUB
00000762: SWAP3
00000763: POP
00000764: PUSH2 0x0802
00000767: JUMP
00000768: JUMPDEST
00000769: PUSH1 0x41
0000076b: DUP4
0000076c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000781: AND
00000782: LT
00000783: ISZERO
00000784: DUP1
00000785: ISZERO
00000786: PUSH2 0x07a6
00000789: JUMPI
0000078a: POP
0000078b: PUSH1 0x46
0000078d: DUP4
0000078e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a3: AND
000007a4: GT
000007a5: ISZERO
000007a6: JUMPDEST
000007a7: ISZERO
000007a8: PUSH2 0x07b6
000007ab: JUMPI
000007ac: PUSH1 0x37
000007ae: DUP4
000007af: SUB
000007b0: SWAP3
000007b1: POP
000007b2: PUSH2 0x0801
000007b5: JUMP
000007b6: JUMPDEST
000007b7: PUSH1 0x30
000007b9: DUP4
000007ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007cf: AND
000007d0: LT
000007d1: ISZERO
000007d2: DUP1
000007d3: ISZERO
000007d4: PUSH2 0x07f4
000007d7: JUMPI
000007d8: POP
000007d9: PUSH1 0x39
000007db: DUP4
000007dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f1: AND
000007f2: GT
000007f3: ISZERO
000007f4: JUMPDEST
000007f5: ISZERO
000007f6: PUSH2 0x0800
000007f9: JUMPI
000007fa: PUSH1 0x30
000007fc: DUP4
000007fd: SUB
000007fe: SWAP3
000007ff: POP
00000800: JUMPDEST
00000801: JUMPDEST
00000802: JUMPDEST
00000803: PUSH1 0x61
00000805: DUP3
00000806: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000081b: AND
0000081c: LT
0000081d: ISZERO
0000081e: DUP1
0000081f: ISZERO
00000820: PUSH2 0x0840
00000823: JUMPI
00000824: POP
00000825: PUSH1 0x66
00000827: DUP3
00000828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083d: AND
0000083e: GT
0000083f: ISZERO
00000840: JUMPDEST
00000841: ISZERO
00000842: PUSH2 0x0850
00000845: JUMPI
00000846: PUSH1 0x57
00000848: DUP3
00000849: SUB
0000084a: SWAP2
0000084b: POP
0000084c: PUSH2 0x08ea
0000084f: JUMP
00000850: JUMPDEST
00000851: PUSH1 0x41
00000853: DUP3
00000854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000869: AND
0000086a: LT
0000086b: ISZERO
0000086c: DUP1
0000086d: ISZERO
0000086e: PUSH2 0x088e
00000871: JUMPI
00000872: POP
00000873: PUSH1 0x46
00000875: DUP3
00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088b: AND
0000088c: GT
0000088d: ISZERO
0000088e: JUMPDEST
0000088f: ISZERO
00000890: PUSH2 0x089e
00000893: JUMPI
00000894: PUSH1 0x37
00000896: DUP3
00000897: SUB
00000898: SWAP2
00000899: POP
0000089a: PUSH2 0x08e9
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x30
000008a1: DUP3
000008a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b7: AND
000008b8: LT
000008b9: ISZERO
000008ba: DUP1
000008bb: ISZERO
000008bc: PUSH2 0x08dc
000008bf: JUMPI
000008c0: POP
000008c1: PUSH1 0x39
000008c3: DUP3
000008c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d9: AND
000008da: GT
000008db: ISZERO
000008dc: JUMPDEST
000008dd: ISZERO
000008de: PUSH2 0x08e8
000008e1: JUMPI
000008e2: PUSH1 0x30
000008e4: DUP3
000008e5: SUB
000008e6: SWAP2
000008e7: POP
000008e8: JUMPDEST
000008e9: JUMPDEST
000008ea: JUMPDEST
000008eb: DUP2
000008ec: PUSH1 0x10
000008ee: DUP5
000008ef: MUL
000008f0: ADD
000008f1: DUP5
000008f2: ADD
000008f3: SWAP4
000008f4: POP
000008f5: PUSH1 0x02
000008f7: DUP2
000008f8: ADD
000008f9: SWAP1
000008fa: POP
000008fb: PUSH2 0x06c9
000008fe: JUMP
000008ff: JUMPDEST
00000900: POP
00000901: DUP3
00000902: SWAP5
00000903: POP
00000904: POP
00000905: POP
00000906: POP
00000907: POP
00000908: SWAP2
00000909: SWAP1
0000090a: POP
0000090b: JUMP
0000090c: JUMPDEST
0000090d: PUSH1 0x00
0000090f: SELFBALANCE
00000910: SWAP1
00000911: POP
00000912: SWAP1
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x60
00000917: PUSH1 0x40
00000919: MLOAD
0000091a: DUP1
0000091b: PUSH1 0x40
0000091d: ADD
0000091e: PUSH1 0x40
00000920: MSTORE
00000921: DUP1
00000922: PUSH1 0x01
00000924: DUP2
00000925: MSTORE
00000926: PUSH1 0x20
00000928: ADD
00000929: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
0000094a: DUP2
0000094b: MSTORE
0000094c: POP
0000094d: SWAP1
0000094e: POP
0000094f: SWAP1
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH1 0x60
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: PUSH1 0x40
0000095a: ADD
0000095b: PUSH1 0x40
0000095d: MSTORE
0000095e: DUP1
0000095f: PUSH1 0x05
00000961: DUP2
00000962: MSTORE
00000963: PUSH1 0x20
00000965: ADD
00000966: PUSH32 0x7837623534000000000000000000000000000000000000000000000000000000
00000987: DUP2
00000988: MSTORE
00000989: POP
0000098a: SWAP1
0000098b: POP
0000098c: SWAP1
0000098d: JUMP
0000098e: JUMPDEST
0000098f: PUSH1 0x60
00000991: PUSH1 0x40
00000993: MLOAD
00000994: DUP1
00000995: PUSH1 0x40
00000997: ADD
00000998: PUSH1 0x40
0000099a: MSTORE
0000099b: DUP1
0000099c: PUSH1 0x05
0000099e: DUP2
0000099f: MSTORE
000009a0: PUSH1 0x20
000009a2: ADD
000009a3: PUSH32 0x4261303438000000000000000000000000000000000000000000000000000000
000009c4: DUP2
000009c5: MSTORE
000009c6: POP
000009c7: SWAP1
000009c8: POP
000009c9: SWAP1
000009ca: JUMP
000009cb: JUMPDEST
000009cc: PUSH1 0x60
000009ce: PUSH1 0x40
000009d0: MLOAD
000009d1: DUP1
000009d2: PUSH1 0x40
000009d4: ADD
000009d5: PUSH1 0x40
000009d7: MSTORE
000009d8: DUP1
000009d9: PUSH1 0x07
000009db: DUP2
000009dc: MSTORE
000009dd: PUSH1 0x20
000009df: ADD
000009e0: PUSH32 0x6433304535366500000000000000000000000000000000000000000000000000
00000a01: DUP2
00000a02: MSTORE
00000a03: POP
00000a04: SWAP1
00000a05: POP
00000a06: SWAP1
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH1 0x60
00000a0b: PUSH1 0x40
00000a0d: MLOAD
00000a0e: DUP1
00000a0f: PUSH1 0x40
00000a11: ADD
00000a12: PUSH1 0x40
00000a14: MSTORE
00000a15: DUP1
00000a16: PUSH1 0x07
00000a18: DUP2
00000a19: MSTORE
00000a1a: PUSH1 0x20
00000a1c: ADD
00000a1d: PUSH32 0x4633464438324500000000000000000000000000000000000000000000000000
00000a3e: DUP2
00000a3f: MSTORE
00000a40: POP
00000a41: SWAP1
00000a42: POP
00000a43: SWAP1
00000a44: JUMP
00000a45: JUMPDEST
00000a46: PUSH1 0x60
00000a48: PUSH1 0x40
00000a4a: MLOAD
00000a4b: DUP1
00000a4c: PUSH1 0x40
00000a4e: ADD
00000a4f: PUSH1 0x40
00000a51: MSTORE
00000a52: DUP1
00000a53: PUSH1 0x06
00000a55: DUP2
00000a56: MSTORE
00000a57: PUSH1 0x20
00000a59: ADD
00000a5a: PUSH32 0x3038386537340000000000000000000000000000000000000000000000000000
00000a7b: DUP2
00000a7c: MSTORE
00000a7d: POP
00000a7e: SWAP1
00000a7f: POP
00000a80: SWAP1
00000a81: JUMP
00000a82: JUMPDEST
00000a83: PUSH1 0x60
00000a85: PUSH1 0x40
00000a87: MLOAD
00000a88: DUP1
00000a89: PUSH1 0x40
00000a8b: ADD
00000a8c: PUSH1 0x40
00000a8e: MSTORE
00000a8f: DUP1
00000a90: PUSH1 0x08
00000a92: DUP2
00000a93: MSTORE
00000a94: PUSH1 0x20
00000a96: ADD
00000a97: PUSH32 0x3945396537443839000000000000000000000000000000000000000000000000
00000ab8: DUP2
00000ab9: MSTORE
00000aba: POP
00000abb: SWAP1
00000abc: POP
00000abd: SWAP1
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: PUSH1 0x60
00000ac2: PUSH1 0x40
00000ac4: MLOAD
00000ac5: DUP1
00000ac6: PUSH1 0x40
00000ac8: ADD
00000ac9: PUSH1 0x40
00000acb: MSTORE
00000acc: DUP1
00000acd: PUSH1 0x03
00000acf: DUP2
00000ad0: MSTORE
00000ad1: PUSH1 0x20
00000ad3: ADD
00000ad4: PUSH32 0x3238330000000000000000000000000000000000000000000000000000000000
00000af5: DUP2
00000af6: MSTORE
00000af7: POP
00000af8: SWAP1
00000af9: POP
00000afa: SWAP1
00000afb: JUMP
00000afc: INVALID
00000afd: LOG2
00000afe: PUSH5 0x6970667358
00000b04: UNKNOWN(0x22)
00000b05: SLT
00000b06: KECCAK256
00000b07: MLOAD
00000b08: UNKNOWN(0x4E)
00000b09: POP
00000b0a: UNKNOWN(0xAC)
00000b0b: UNKNOWN(0xD9)
00000b0c: UNKNOWN(0xC2)
00000b0d: KECCAK256
00000b0e: UNKNOWN(0xC9)
00000b0f: SHL
00000b10: DUP8
00000b11: PUSH32 0xa46cd55c3b112551f6078039fee5ac85baa3855e4364736f6c63430006060033
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: 0xe4199b01d58538034a53eb5a249a2669e6f2ef7d3ac9becfc59a7266824f6158
call_targets: 0x7e81648861a818dcec9fd2dd44178b2a61e321cb
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe4199b01d58538034a53eb5a249a2669e6f2ef7d3ac9becfc59a7266824f6158",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7e81648861a818dcec9fd2dd44178b2a61e321cb"
    ],
    "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": "0x6c02a931",
            "selector": "0x6c02a931",
            "calldata_variants": [
                "0x6c02a931",
                "0x6c02a9310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7b61c320",
            "selector": "0x7b61c320",
            "calldata_variants": [
                "0x7b61c320",
                "0x7b61c3200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbe9a6555",
            "selector": "0xbe9a6555",
            "calldata_variants": [
                "0xbe9a6555",
                "0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4e93292",
            "selector": "0xd4e93292",
            "calldata_variants": [
                "0xd4e93292",
                "0xd4e932920000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 783,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 890,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xe4199b01d58538034a53eb5a249a2669e6f2ef7d3ac9becfc59a7266824f6158
call_targets: 0x7e81648861a818dcec9fd2dd44178b2a61e321cb
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe4199b01d58538034a53eb5a249a2669e6f2ef7d3ac9becfc59a7266824f6158",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7e81648861a818dcec9fd2dd44178b2a61e321cb"
    ],
    "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": "0x6c02a931",
            "selector": "0x6c02a931",
            "calldata_variants": [
                "0x6c02a931",
                "0x6c02a9310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7b61c320",
            "selector": "0x7b61c320",
            "calldata_variants": [
                "0x7b61c320",
                "0x7b61c3200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbe9a6555",
            "selector": "0xbe9a6555",
            "calldata_variants": [
                "0xbe9a6555",
                "0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4e93292",
            "selector": "0xd4e93292",
            "calldata_variants": [
                "0xd4e93292",
                "0xd4e932920000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 783,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 890,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}