1 code implementation • 11 Sep 2017 • Alexandre Cukier, Ronen I. Brafman, Yotam Perkal, David Tolpin
Given a system call trace, we simulate the corresponding operators on our model and by observing the properties of the state reached, we learn about the nature of the original program and its behavior.