PulseTaintConfig.Target
type procedure_target =
| ReturnValue
| AllArguments
| ArgumentPositions of int list
| AllArgumentsButPositions of int list
| ArgumentsMatchingTypes of string list
| InstanceReference
| FieldsOfValue of (string * procedure_target) list