Creating Human Readable Path Constraints from Symbolic Execution.
Conference
·
OSTI ID:1767092
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- Other Non DOE
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1767092
- Report Number(s):
- SAND2020-2219C; 684117
- 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
Similar Records
Creating Human Readable Path Constraints from Symbolic Execution.
Creating Human Readable Path Constraints from Symbolic Execution.
Automated Software Understanding: Binary Analysis via Symbolic Execution.
Conference
·
Sat Feb 01 00:00:00 EST 2020
·
OSTI ID:1767092
Creating Human Readable Path Constraints from Symbolic Execution.
Conference
·
Sun Dec 01 00:00:00 EST 2019
·
OSTI ID:1767092
Automated Software Understanding: Binary Analysis via Symbolic Execution.
Conference
·
Sat Jul 01 00:00:00 EDT 2017
·
OSTI ID:1767092