Automated Software Understanding: Binary Analysis via Symbolic Execution.
Conference
·
OSTI ID:1508222
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1508222
- Report Number(s):
- SAND2017-7615C; 655502
- 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
Similar Records
Automated Analysis for Understanding Large Text Corpora: Analyzing text to understand individuals and groups.
Creating Human Readable Path Constraints from Symbolic Execution.
Creating Human Readable Path Constraints from Symbolic Execution.
Conference
·
Sat Mar 01 00:00:00 EST 2008
·
OSTI ID:1508222
+1 more
Creating Human Readable Path Constraints from Symbolic Execution.
Conference
·
Sat Feb 01 00:00:00 EST 2020
·
OSTI ID:1508222
Creating Human Readable Path Constraints from Symbolic Execution.
Conference
·
Sat Feb 01 00:00:00 EST 2020
·
OSTI ID:1508222