P Yu, Y Wu, J Peng, J Zhang… - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
Automated static analysis tools (ASATs) have become an integrated part of the software
development workflow in many projects. While developers benefit from these tools to deliver …