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 ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages