Sign in

BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation.

Zhuo ZhangWei YouGuanhong TaoGuannan WeiYonghwi KwonXiangyu Zhang
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • static analysis
  • abstract interpretation
  • source code
  • shortest path
  • dynamic analysis
  • data analysis
  • information systems
  • web services
  • high level
  • test cases