Sign in

PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model.

Xiangzhe XuZhou XuanShiwei FengSiyuan ChengYapeng YeQingkai ShiGuanhong TaoLe YuZhuo ZhangXiangyu Zhang
Published in: CoRR (2023)
Keyphrases
  • execution model
  • logic programming
  • control flow
  • database systems
  • mobile devices
  • nearest neighbor
  • active rules