Login / Signup
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation.
Zhuo Zhang
Wei You
Guanhong Tao
Guannan Wei
Yonghwi Kwon
Xiangyu 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