論文の概要: NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery
- arxiv url: http://arxiv.org/abs/2608.03286v1
- Date: Tue, 04 Aug 2026 08:01:06 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-06 07:04:20.707061
- Title: NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery
- Title（参考訳）: NotDec: 手続き間型リカバリによるWebAssemblyのデコンパイル
- Abstract要約: 先進的なWebAssembly逆コンパイルフレームワークであるNotDecを紹介します。
NotDecはWebAssemblyの型チェックアルゴリズムを拡張して、バイトコードをSSAベースのIRに持ち上げる。
タイプ回復精度では、NotDecは実世界のプログラムで85.33%の構造体メンバーアクセスを回復し、Ghidraの9.24%を大きく上回っている。
- 参考スコア（独自算出の注目度）: 13.065981393638467
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: With WebAssembly widely supported in browsers, containers, IoT devices, and serverless platforms and increasingly adopted as a universal low-level bytecode standard, auditing its hidden vulnerabilities and malicious intentions has become critical. Decompiling existing WebAssembly modules can help security researchers and end users understand binary behavior, but current tools suffer from verbose result, poor readability, and limited type recovery. We present NotDec, an advanced WebAssembly decompilation framework. NotDec extends the WebAssembly type checking algorithm to lift bytecode into an SSA-based IR, applies the inter-procedural type recovery algorithm Retypd with pointer and numeric value differentiation methods to recover complex data structures, and leverages Memory SSA alongside semantics-preserving structured control-flow analysis to emit readable, semantically consistent C code. NotDec achieves 100% recompilation success rate on all 5,241 Juliet samples and all Howard dataset programs, significantly outperforming baselines including Ghidra (45.95% success rate). On type recovery accuracy, NotDec recovers 85.33% of struct member accesses in real-world programs, vastly exceeding Ghidra's 9.24%. While the full inter-procedural version faces scalability challenges on large binaries, the intra-procedural variant NotDec_F demonstrates superior efficiency, consuming less than half of Ghidra's memory and up to 97% less execution time on unoptimized binaries.
- Abstract（参考訳）: WebAssemblyがブラウザ、コンテナ、IoTデバイス、サーバレスプラットフォームで広くサポートされ、普遍的な低レベルバイトコード標準として採用されるようになると、その隠れた脆弱性と悪意のある意図の監査が重要になっている。
既存のWebAssemblyモジュールの逆コンパイルは、セキュリティ研究者やエンドユーザがバイナリ動作を理解するのに役立つが、現在のツールは冗長な結果、可読性の低下、型回復の制限に悩まされている。
先進的なWebAssembly逆コンパイルフレームワークであるNotDecを紹介します。
NotDecはWebAssemblyの型チェックアルゴリズムを拡張して、バイトコードをSSAベースのIRに引き上げ、命令間型リカバリアルゴリズムを適用し、ポインタと数値の区別メソッドを併用して複雑なデータ構造をリカバリし、セマンティックス保存された構造化制御フロー分析とともにメモリSSAを活用して、可読でセマンティックに一貫性のあるCコードを生成する。
NotDecは5,241人のジュリエットサンプルとハワードデータセットプログラムで100%再コンパイル成功率を獲得し、Ghidra (45.95%の成功率)を含むベースラインを著しく上回っている。
タイプ回復精度では、NotDecは実世界のプログラムで85.33%の構造体メンバーアクセスを回復し、Ghidraの9.24%を大きく上回っている。
完全なプロセス間バージョンは大きなバイナリ上で拡張性に直面するが、プロデューサ内の変種であるNotDec_Fはより優れた効率を示し、Ghidraのメモリの半分未満を消費し、最適化されていないバイナリ上での実行時間を最大97%削減する。
関連論文リスト
- No Bit Left Behind: Using Brute-Force Lifting to Achieve Fully Static Binary Recompilation [1.5034998782245808]
本稿では,完全に静的なプログラム全体のバイナリリフトシステムについて述べる。
このアプローチは、x86-64バイナリからLLVM IRへのプロトタイプバイナリランタイムとして実装されており、コード/データランタイムは必要ありません。
論文 参考訳（メタデータ） (2026-09-14T23:00:09Z) - Faster Than Flash: Exploiting Attention Sparsity for Efficient Long-Context Decoding [51.48425605758328]
我々は,Faster Flash Decoding (FFD) という,長文デコーディングにおいてメモリ壁を壊すように設計されたハードウェア・アルゴリズムの共同設計フレームワークを提示する。
FFDはセレクタとコンピュータを完全に融合したカーネルに統合し、外部メタデータのインデックスをコンテンツ認識スキャンに置き換える。
最大11.6倍のカーネルレベルのスピードアップと256Kコンテキスト長のスケーリングを実現し、2.37倍のスループット向上を実現している。
論文 参考訳（メタデータ） (2026-08-31T15:13:20Z) - AsmRAG: LLM-Driven Malware Detection by Retrieving Functionally Similar Assembly Code [1.2183405753834562]
本稿では,AsmRAGについて紹介する。
このシステムは、LLM(Code-specialized Large Language Model)を使用してアセンブリ関数を分析し、それらをセマンティックな埋め込みに変換する。
そこで本研究では,バイナリ内の悪意論理の一次単位を分離し,検証可能な法医学的証拠を抽出し,回避の試みに抵抗する密度重み付きアンカー選択機構を提案する。
論文 参考訳（メタデータ） (2026-04-25T08:05:50Z) - CoDe-R: Refining Decompiler Output with LLMs via Rationale Guidance and Adaptive Inference [10.71961188176124]
バイナリ逆コンパイルは、削除された実行ファイルから高レベルのソースコードを再構築することを目的とした、重要なリバースエンジニアリングタスクである。
大規模言語モデル(LLM)は、最近、約束を示すが、しばしば「科学的幻覚」と「セマンティックなミスアライメント」に悩まされる。
本稿では,2段階の軽量コード精錬フレームワークであるCoDe-Rを提案する。
論文 参考訳（メタデータ） (2026-04-14T15:58:38Z) - Context-Guided Decompilation: A Step Towards Re-executability [50.71992919223209]
バイナリ逆コンパイルは、ソフトウェアセキュリティ分析、リバースエンジニアリング、マルウェア理解において重要な役割を果たす。
大規模言語モデル (LLMs) の最近の進歩により、ニューラルデコンパイルが可能になったが、生成されたコードは一般的に意味論的にのみ使用可能である。
In-context Learning(ICL)を活用して,再実行可能なソースコードを生成するためのILC4Decompを提案する。
論文 参考訳（メタデータ） (2025-11-03T17:21:39Z) - Decompiling Smart Contracts with a Large Language Model [51.49197239479266]
Etherscanの78,047,845のスマートコントラクトがデプロイされているにも関わらず(2025年5月26日現在)、わずか767,520 (1%)がオープンソースである。
この不透明さは、オンチェーンスマートコントラクトバイトコードの自動意味解析を必要とする。
バイトコードを可読でセマンティックに忠実なSolidityコードに変換する,先駆的な逆コンパイルパイプラインを導入する。
論文 参考訳（メタデータ） (2025-06-24T13:42:59Z) - Beyond the Edge of Function: Unraveling the Patterns of Type Recovery in Binary Code [55.493408628371235]
本稿では,バイナリコードの変数型を復元するフレームワークByteTRを提案する。
ByteTRは、関数間の変数伝搬の普遍性を考慮して、変数伝搬をトレースするためのプロシーダ間解析を行い、ゲートグラフニューラルネットワークを用いて、変数型回復のための長距離データフロー依存性をキャプチャする。
論文 参考訳（メタデータ） (2025-03-10T12:27:05Z) - ReF Decompile: Relabeling and Function Call Enhanced Decompile [50.86228893636785]
逆コンパイルの目標は、コンパイルされた低レベルコード(アセンブリコードなど)を高レベルプログラミング言語に変換することである。
このタスクは、脆弱性識別、マルウェア分析、レガシーソフトウェアマイグレーションなど、さまざまなリバースエンジニアリングアプリケーションをサポートする。
論文 参考訳（メタデータ） (2025-02-17T12:38:57Z) - Is This the Same Code? A Comprehensive Study of Decompilation Techniques for WebAssembly Binaries [4.66875056781341]
本稿では,C-based decompilerの正確性,可読性,構造的類似性など,様々な側面から実験的に評価する新しいフレームワークを提案する。
これによりWASMとネイティブバイナリに依存するソフトウェアシステムのセキュリティと信頼性が向上する。
論文 参考訳（メタデータ） (2024-11-04T17:08:03Z) - WaDec: Decompiling WebAssembly Using Large Language Model [5.667013605202579]
WebAssembly(略してWasm)がWeb開発の基礎として登場した。
その利点にもかかわらず、Wasmのバイナリの性質は開発者と研究者に重大な課題をもたらしている。
We introduced a novel approach, WaDec, which is a first use of a fine-tuned LLM to interpret and decompile Wasm binary code。
論文 参考訳（メタデータ） (2024-06-17T09:08:30Z) - Towards Effective and Efficient Non-autoregressive Decoding Using Block-based Attention Mask [74.64216073678617]
AMDはアテンションマスクを用いて隠された出力ラベルの連続ブロック内で並列NAR推論を行う。
ビームサーチアルゴリズムは、CTC、ARデコーダ、AMD確率の動的融合を利用するように設計されている。
LibriSpeech-100hrコーパスの実験では、AMDモジュールを組み込んだトリパルタイトデコーダが最大1.73倍のデコード速度比を生み出すことを示唆している。
論文 参考訳（メタデータ） (2024-06-14T13:42:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。