H Zhong,
X Wang - 2017 32nd IEEE/ACM International …, 2017 - ieeexplore.ieee.org
To improve software quality, researchers and practitioners have proposed static analysis
tools for various purposes (eg, detecting bugs, anomalies, and vulnerabilities). Although …