A Precise Framework for Source-Level Control-Flow Analysis.

Idriss Riouak Christoph Reichenbach Görel Hedin Niklas Fors

Published in: SCAM (2021)

Keyphrases

flow analysis
real time
neural network
theoretical framework
probabilistic model
higher level
main contribution
data sets
databases
data mining
artificial intelligence
reinforcement learning
low level
information flow