Login / Signup

BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics.

Sören TempelTobias BrandtChristoph LüthRolf Drechsler
Published in: CoRR (2024)
Keyphrases
  • symbolic execution
  • specification language
  • formal descriptions
  • test data generation
  • test generation
  • formal concept analysis
  • source code
  • tree structure
  • data flow