Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution

Guangwei Li(Yan'an University), Kejun Zhang(Zhejiang University), Song Xu(Huawei Technologies (China)), Lian Li(Chinese Academy of Sciences), Xiaobin Zhang(Huawei Technologies (China)), Ting Yuan(University of Chinese Academy of Sciences), Jie Lu(University of Chinese Academy of Sciences)
Unknown
December 1, 2021
Cited by 3


Related Papers