Alessandro Cornaglia, Alexander Viehl, Oliver Bringmann 0001. Accurate LLVM IR to Binary CFGs Mapping for Simulation of Optimized Embedded Software. In Alex Orailoglu, Matthias Jung 0001, Marc Reichenbach, editors, Embedded Computer Systems: Architectures, Modeling, and Simulation - 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings. Volume 13227 of Lecture Notes in Computer Science, pages 3-15, Springer, 2021. [doi]
Abstract is missing.