基于统计推理的二进制程序语义比较模型
郭曦, 王盼
Semantic Comparison Model for Binary Programs Based on Statistical Reasoning
GUO Xi, WANG Pan
电子学报 . 2025, (1): 163 -181 .  DOI: 10.12263/DZXB.20240408