Abstract: With the increasing significance of software correctness and security, automatic static analysis tools (ASATs) play a more and more important role in software development due to their ...