Creating Human Readable Path Constraints from Symbolic Execution.
Abstract
Abstract not provided.
- Authors:
- Publication Date:
- Research Org.:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Org.:
- Other Non DOE
- OSTI Identifier:
- 1767092
- Report Number(s):
- SAND2020-2219C
684117
- DOE Contract Number:
- AC04-94AL85000
- Resource Type:
- Conference
- Resource Relation:
- Conference: Proposed for presentation at the Binary Analysis Research Workshop 2020 part of NDSS held February 23, 2020 in San Diego, CA.
- Country of Publication:
- United States
- Language:
- English
Citation Formats
Amon, Tod Tracy, and Loffredo, Timothy James. Creating Human Readable Path Constraints from Symbolic Execution.. United States: N. p., 2020.
Web.
Amon, Tod Tracy, & Loffredo, Timothy James. Creating Human Readable Path Constraints from Symbolic Execution.. United States.
Amon, Tod Tracy, and Loffredo, Timothy James. 2020.
"Creating Human Readable Path Constraints from Symbolic Execution.". United States. https://www.osti.gov/servlets/purl/1767092.
@article{osti_1767092,
title = {Creating Human Readable Path Constraints from Symbolic Execution.},
author = {Amon, Tod Tracy and Loffredo, Timothy James},
abstractNote = {Abstract not provided.},
doi = {},
url = {https://www.osti.gov/biblio/1767092},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Sat Feb 01 00:00:00 EST 2020},
month = {Sat Feb 01 00:00:00 EST 2020}
}
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.
Save to My Library
You must Sign In or Create an Account in order to save documents to your library.