Guangwei Li, Ting Yuan, Jie Lu, Lian Li, Xiaobin Zhang, Xu Song, Kejun Zhang. Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution. In 28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021. pages 441-451, IEEE, 2021. [doi]
Abstract is missing.