Browsing University of Waterloo by Author "Subramanian, Sanu"
Now showing items 1-1 of 1
-
Bit-vector Support in Z3-str2 Solver and Automated Exploit Synthesis
Subramanian, Sanu (University of Waterloo, 2015-11-30)Improper string manipulations are an important cause of software defects, which make them a target for program analysis by hackers and developers alike. Symbolic execution based program analysis techniques that systematically ...