skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: 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}
}

Conference:
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 / Share: