Symbolic Execution for Vulnerability Analysis: Improving Analyses with Symbolic Procedures [Poster]
Overview of work completed as a summer intern in the CCD.
Overview of work completed as a summer intern in the CCD.