View in EDS

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.

Saved in:
Bibliographic Details
Title: RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.
Authors: Stoenescu, Teodor, Stefanescu, Alin, Predut, Sorina, Ipate, Florentin
Source: FM 2016: Formal Methods; 2016, p779-785, 7p
Database: Complementary Index
Description
ISBN:9783319489889
DOI:10.1007/978-3-319-48989-6_50