Get rid of inline assembly through verification-oriented lifting
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet[doi] [Google Scholar] [DBLP] [Citeseer]
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Volume
Pages 577-589
2019
Volume
Pages 577-589
2019