Module Pulselib.PulseTaintItem
type origin =
| Argument of {
index : int;
}
| InstanceReference
| ReturnValue
| Allocation of {
typ : string;
}
| GetField
| SetField
| FieldOfValue of {
name : string;
origin : origin;
}
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val pp_value : F.formatter -> value -> unit
val pp_value_plain : F.formatter -> value -> unit
val pp_value_tuple_debug : F.formatter -> value_tuple -> unit
val pp : F.formatter -> t -> unit
val is_argument_origin : t -> bool
val is_set_field_origin : t -> bool
val value_of_taint : t -> value
val field_of_origin : t -> string -> t
val get_rev_field_access_list :
value_tuple ->
[> `Field of string | `Deref ] list