Module Quandary.TaintSpec

combination of a trace with functions for handling unknown code and converting to and from summaries

type action =
  1. | Propagate_to_actual of int
    (*

    Propagate taint from all actuals to the actual with the given index

    *)
  2. | Propagate_to_receiver
    (*

    Propagate taint from all non-receiver actuals to the receiver actual

    *)
  3. | Propagate_to_return
    (*

    Propagate taint from all actuals to the return value

    *)
module type S = sig ... end