Login / Signup

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

Teodor StoenescuAlin StefanescuSorina PredutFlorentin Ipate
Published in: FM (2016)
Keyphrases
  • symbolic execution
  • static analysis
  • genetic algorithm