Accurate LLVM IR to Binary CFGs Mapping for Simulation of Optimized Embedded Software.

Alessandro Cornaglia Alexander Viehl Oliver Bringmann

Published in: SAMOS (2021)

Keyphrases

embedded software
context free grammars
embedded systems
probabilistic graphical models
software architecture
factor graphs
linear models
development projects
artificial intelligence
information systems
case study
database systems
graphical models
pattern matching