Module PulseTaintConfig.Target

type procedure_target =
  1. | ReturnValue
  2. | AllArguments
  3. | ArgumentPositions of int list
  4. | AllArgumentsButPositions of int list
  5. | ArgumentsMatchingTypes of string list
  6. | InstanceReference
  7. | FieldsOfValue of (string * procedure_target) list
val pp_procedure_target : F.formatter -> procedure_target -> unit
type field_target =
  1. | GetField
  2. | SetField