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

Title: Automated Software Understanding: Binary Analysis via Symbolic Execution.

Abstract

Abstract not provided.

Authors:
Publication Date:
Research Org.:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
1508222
Report Number(s):
SAND2017-7615C
655502
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Conference
Resource Relation:
Conference: Proposed for presentation at the University Day held July 25-26, 2017 in Albuquerque, NM, United States.
Country of Publication:
United States
Language:
English

Citation Formats

Sabetan, Sam. Automated Software Understanding: Binary Analysis via Symbolic Execution.. United States: N. p., 2017. Web.
Sabetan, Sam. Automated Software Understanding: Binary Analysis via Symbolic Execution.. United States.
Sabetan, Sam. 2017. "Automated Software Understanding: Binary Analysis via Symbolic Execution.". United States. https://www.osti.gov/servlets/purl/1508222.
@article{osti_1508222,
title = {Automated Software Understanding: Binary Analysis via Symbolic Execution.},
author = {Sabetan, Sam},
abstractNote = {Abstract not provided.},
doi = {},
url = {https://www.osti.gov/biblio/1508222}, journal = {},
number = ,
volume = ,
place = {United States},
year = {Sat Jul 01 00:00:00 EDT 2017},
month = {Sat Jul 01 00:00:00 EDT 2017}
}

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: