Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution

Published in APSEC CCF-C, 2021