Symbolic Execution for Vulnerability Analysis -Improving Analyses with Symbolic Procedures Doty, Landen M. Overview of work completed as a summer intern in the CCD. View Abstract More Details TYPE SAND Report YEAR 2023 DOIOSTI