Creating Human Readable Path Constraints from Symbolic Execution.

Conference · Sat Feb 01 00:00:00 EST 2020

OSTI ID:1767091

Amon, Tod Tracy; Loffredo, Timothy James

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: 1767091
• Report Number(s): SAND2020-2218C; 684116
• Resource Relation: Conference: Proposed for presentation at the NDSS Binary Analysis Workshop (BAR) 2020 held February 23, 2020 in San Diego, CA.
• Country of Publication: United States
• Language: English