Program Binary Typical workloads Input Spec . Causality Inference Engine Model Constructor Causal Models Segmented Parser Context Constraint Checker Audit Logs Causality Annotated Model Generation Model Parsing Recognized Causality Recognized Models