Login / Signup
X86 instruction semantics and basic block symbolic execution.
Freek Verbeek
Abhijith Bharadwaj
Joshua A. Bockenek
Ian Roessle
Timmy Weerwag
Binoy Ravindran
Published in:
Arch. Formal Proofs (2021)
Keyphrases
</>
symbolic execution
specification language
static analysis
test data generation
test generation
source code
data flow
semantic information
formal specification
description language
programming language
training data
search algorithm
software engineering
general purpose