Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic ExecutionPublished in APSEC CCF-C, 2021Share on Twitter Facebook LinkedIn Previous Next