本研究では，WebAssemblyコードを不正な解析から保護する方法として，WAT（WebAssembly Text）形式のWebAssemblyコードを難読化する方法を検討する．提案方法は，WAT形式のコードに含まれる算術演算や論理演算の命令を，それぞれ命令と同様の意味を持つ複雑な命令列で置換することでコードを難読化する．複雑な命令列の生成には，SMTソルバを用いた既存の命令列生成方法を利用する．試作した難読化ツールを用いた実験では，提案方法によって難読化されたコードの実行結果の正しさや，実行時間のオーバーヘッドを確認する．