Fugu-MT 論文翻訳(概要): One Step Further: Understanding PLC Binaries Through Cross-Platform Reverse Engineering and Function-Level Semantic Analysis

論文の概要: One Step Further: Understanding PLC Binaries Through Cross-Platform Reverse Engineering and Function-Level Semantic Analysis

arxiv url: http://arxiv.org/abs/2605.17392v2
Date: Wed, 20 May 2026 09:47:32 GMT
ステータス: 翻訳完了
システム内更新日: 2026-05-21 14:55:44.296728
Title: One Step Further: Understanding PLC Binaries Through Cross-Platform Reverse Engineering and Function-Level Semantic Analysis
Title（参考訳）: 1つのステップ:クロスプラットフォームリバースエンジニアリングと関数レベルセマンティック分析によるPLCバイナリの理解
Authors: Ang Jia, Yaxin Duan, He Jiang, Zhenzhou Tian, Zhilei Ren, Xiaochen Li,
Abstract要約: PLC-BinXはクロスプラットフォームのPLCバイナリ理解のためのBCAワークフローである。 10倍のプログラムレベルでの評価では、PLC-BinXはツールチェーン予測において100.00%の精度、リコール、F1を達成する。その結果、PLC-BinXはクロスプラットフォームのPLCバイナリ理解に効果的かつ解釈可能なアプローチを提供することが示された。
参考スコア（独自算出の注目度）: 7.990445011559295
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: As emerging attacks increasingly target Industrial Control Systems (ICS), the security of Programmable Logic Controllers (PLCs) has become a critical concern. Binary Code Analysis (BCA), which enables analysts to understand compiled programs without source code, is essential for ICS security tasks such as post-attack digital forensics and incident response. However, automated BCA for PLC binaries remains challenging due to three key issues: heterogeneous binary formats across PLC platforms, entangled program semantics caused by the mixture of control logic with runtime code, and limited semantic representations for interpretable and learning-based downstream analysis. In this paper, we present PLC-BinX, a BCA workflow for cross-platform PLC binary understanding. PLC-BinX analyzes PLC binaries from four platforms: CODESYS v3, GEB, OpenPLC v2, and OpenPLC v3, and recovers function-level information through cross-platform reverse engineering, core-function extraction, and function-level semantic representation construction. Based on the recovered semantic representations, we further study two downstream tasks: toolchain prediction and functionality prediction. Under ten-fold program-level evaluation, PLC-BinX achieves 100.00% precision, recall, and F1 in toolchain prediction, and 51.43% precision, 49.38% recall, and 49.18% F1 in functionality prediction over 22 labels. The results demonstrate that PLC-BinX provides an effective and interpretable approach to cross-platform PLC binary understanding by exposing task-relevant function-level semantics from heterogeneous PLC binaries.
Abstract（参考訳）: 新たな攻撃が産業制御システム(ICS)を標的にしているため、PLC(Programmable Logic Controllers)のセキュリティが重要になっている。ソースコードのないコンパイルプログラムをアナリストが理解できるようにするバイナリコード解析(BCA)は、攻撃後のデジタル鑑定やインシデント応答などのICSセキュリティタスクに不可欠である。しかし、PLC バイナリの自動 BCA は、PLC プラットフォーム間の異種バイナリフォーマット、制御ロジックとランタイムコードの混在に起因する絡み合ったプログラムセマンティクス、解釈と学習に基づく下流分析のための限定的なセマンティクスの3つの主要な問題により、依然として困難なままである。本稿では,クロスプラットフォーム PLC バイナリ理解のための BCA ワークフローである PLC-BinX を提案する。 PLC-BinXは、CODESYS v3、GEB、OpenPLC v2、OpenPLC v3の4つのプラットフォームからPLCバイナリを分析し、クロスプラットフォームのリバースエンジニアリング、コア関数抽出、関数レベルのセマンティック表現構成を通じて関数レベルの情報を復元する。回復したセマンティック表現に基づいて、ツールチェーン予測と機能予測という2つの下流タスクを研究する。 10倍のプログラムレベルでの評価では、PLC-BinXはツールチェーン予測において100.00%の精度、リコール、F1を、51.43%の精度、49.38%のリコール、49.18%のF1を22ラベルで達成している。その結果, PLC-BinXは多種性PLCバイナリからタスク関連関数レベルのセマンティクスを公開することで, クロスプラットフォームPLCバイナリ理解への効果的かつ解釈可能なアプローチを提供することを示した。

関連論文リスト

Tracing the Thought of a Grandmaster-level Chess-Playing Transformer [62.403498221631715]
本稿では,Leela Chess Zeroの内部計算を解釈するスパース分解フレームワークを提案する。これらの経路が豊富で解釈可能な考察を露呈することを示す詳細なケーススタディを行う。我々の知る限りでは、これは計算モジュールと注意モジュールの両方で変換器の内部計算を分解する最初の試みである。
論文参考訳（メタデータ） (2026-04-11T11:11:06Z)
GLM-OCR Technical Report [65.42028025507491]
GLM-OCRは実世界の文書理解のために設計された効率的なコンパクトモデルである。 CogViTビジュアルエンコーダとGLM言語デコーダを組み合わせることで、計算効率と認識性能のバランスが強い。公開ベンチマークと産業シナリオの大規模な評価は、GLM-OCRが競争力や最先端のパフォーマンスを達成することを示している。
論文参考訳（メタデータ） (2026-03-11T15:55:47Z)
Cross-modal Retrieval Models for Stripped Binary Analysis [62.89251403093734]
BinSeekは、取り除かれたバイナリコード分析のための最初の2段階のクロスモーダル検索フレームワークである。 BinSeekEmbeddingは、バイナリコードのセマンティックな関連性を学ぶために、大規模なデータセットでトレーニングされている。 BinSeek-Rerankerは、コンテキスト拡張による記述に対する候補コードの関連性を慎重に判断することを学ぶ。
論文参考訳（メタデータ） (2025-12-11T07:58:10Z)
An Empirical Study on the Effectiveness of Large Language Models for Binary Code Understanding [50.17907898478795]
本研究では,現実のリバースエンジニアリングシナリオにおけるLarge Language Models(LLM)の有効性を評価するためのベンチマークを提案する。評価の結果、既存のLLMはバイナリコードをある程度理解でき、それによってバイナリコード解析の効率が向上することが明らかとなった。
論文参考訳（メタデータ） (2025-04-30T17:02:06Z)
Bridging the PLC Binary Analysis Gap: A Cross-Compiler Dataset and Neural Framework for Industrial Control Systems [14.826593801448032]
PLC-BEADは4つの主要な産業用コンパイラにまたがる700以上のPLCプログラムから2431のコンパイル済みバイナリを含むデータセットである。この新しいデータセットは、それぞれのバイナリを独自のStructured Textソースコードと標準化された機能ラベルと一意にペアリングする。バイナリコード解析のためのトランスフォーマーベースのフレームワークであるPLCEmbedを用いて,データセットの有用性を実証する。
論文参考訳（メタデータ） (2025-02-27T03:27:37Z)
CP-BCS: Binary Code Summarization Guided by Control Flow Graph and Pseudo Code [79.87518649544405]
本稿ではCP-BCSと呼ばれる制御フローグラフと擬似コード案内バイナリコード要約フレームワークを提案する。 CP-BCSは双方向の命令レベル制御フローグラフと擬似コードを利用して、専門家の知識を取り入れ、包括的なバイナリ関数の実行動作と論理意味論を学ぶ。
論文参考訳（メタデータ） (2023-10-24T14:20:39Z)
ProgSG: Cross-Modality Representation Learning for Programs in Electronic Design Automation [38.023395256208055]
高レベル合成(HLS)により、開発者はCとC++のソフトウェアコード形式で高レベルな記述をコンパイルできる。 HLSツールは相変わらず、プラグマで表されるマイクロアーキテクチャの決定を必要とする。本稿では,ソースコードシーケンスのモダリティとグラフのモダリティを深く,きめ細かな方法で相互に相互作用させることができるProgSGを提案する。
論文参考訳（メタデータ） (2023-05-18T09:44:18Z)
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions [6.328987417919762]
プライバシ保護ブラックボックスモデルに基づく実用的なコード整合性チェックソリューションを提案する。モデルのブラックボックスの性質を活用することで、当社のソリューションは元のPLCコードのプライバシを維持することができる。筆者らは, 現代の6段水処理プラント試験場において, PLC入力からアクチュエータ状態をほぼ100%精度で予測できることを発見した。
論文参考訳（メタデータ） (2021-06-15T03:09:29Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。