Login / Signup

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions.

Teodor StoenescuAlin StefanescuSorina PredutFlorentin Ipate
Published in: Fundam. Informaticae (2017)
Keyphrases
  • general purpose
  • static analysis
  • symbolic execution
  • genetic algorithm
  • evolutionary algorithm
  • particle swarm optimization