Holmes: Binary Analysis Integration Through Datalog (2018)

In this thesis we propose using a logic-language based approach to encode codependent
analysis and build a tool called Holmes based on our approach to demonstrate
our ideas on real code. Our approach
allows one to elegantly encode the co-dependence between value-set and control-
ow
analysis described above. We demonstrate Holmes and our approach by encoding
real-world co-dependent analysis, and showing that Holmes can act as a framework to
eeffectively check higher-level properties, such as use-after-free, on real compiled code.

Source: kilthub.cmu.edu