Holmes: Binary Analysis Integration Through Datalog