Binoy Ravindran

X86 instruction semantics and basic block symbolic execution

by Freek Verbeek 📧, Abhijith Bharadwaj, Joshua Bockenek, Ian Roessle, Timmy Weerwag and Binoy Ravindran