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