Old Web
English
Sign In
Acemap
>
Paper
>
X86 instruction semantics and basic block symbolic execution.
X86 instruction semantics and basic block symbolic execution.
2021
Freek Verbeek
Abhijith Bharadwaj
Joshua A. Bockenek
Ian Roessle
Timmy Weerwag
Binoy Ravindran
Keywords:
Symbolic execution
Basic block
Semantics (computer science)
x86
Programming language
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]