Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic ExecutionGuangwei Li, Kejun Zhang, Song Xu et al.|Unknown|2021Cited by 3