Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution
Symbolic execution of a language is traditionally achieved by replacing the language s interpreter with an entirely new interpreter. This may be an unnecessary burden, and it is tempting instead to try to use as much of the existing interpret infrastructure as possible, both for handling aspects of...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/86235 |