Statistical Analysis of Executability and Program Equivalence in Decompilation for IoT Vulnerability Detection

arXiv:2608.06960 · cs.SE, cs.CR · Submitted 2026-08-07 · Read on arXiv

Minami Yoda, Jialong Li, Yasuyuki Tahara, Yuichi Sei, Yutaka Matsuno

cs.SE, cs.CR

Submitted: 2026-08-07

Updated: 2026-08-10

Comments: Author's English translation of the paper accepted for publication (in Japanese) in Toukei Suri (Proceedings of the Institute of Statistical Mathematics)

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Semantic Similarity — 17× in this paper · explained in 2 episodes
Control Flow Graph — 5× in this paper
Benchmark — 4× in this paper · explained in 2 episodes
Consistency — 4× in this paper · explained in 3 episodes
Internet of Things — 3× in this paper
Accuracy — 2× in this paper · explained in 1 episode
Fine-Tuning — 2× in this paper · explained in 5 episodes
Generative Model — 2× in this paper · explained in 2 episodes
Generative Models — 2× in this paper · explained in 2 episodes
Large Language Models (LLMs) — 2× in this paper · explained in 6 episodes
Verification — 2× in this paper · explained in 2 episodes
Error Taxonomy — 1× in this paper · explained in 2 episodes
Information Leakage — 1× in this paper · explained in 2 episodes
Micro Snippet Semantic Calculation — 1× in this paper
Prompt Engineering — 1× in this paper · explained in 4 episodes
Reinforcement Learning — 1× in this paper · explained in 4 episodes
Transformer — 1× in this paper · explained in 2 episodes

Statistical Analysis of Executability and Program Equivalence in Decompilation for IoT Vulnerability Detection

Terminology

Sources

Related papers