Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution.

Guangwei Li, Ting Yuan, Jie Lu, Lian Li, Xiaobin Zhang, Xu Song, Kejun Zhang

Browse the full APSEC paper archive.