Date: 2013-09-09 05:44:56

Computer programming

Symbolic execution

Concolic testing

Buffer overflow

Algorithm

Infinite loop

Function

Stack

Dependence analysis

Software bugs

Software engineering

Computing

Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 248,29 KB