Symb.SymbolPath
type prim =
| Pvar of IR.Pvar.t
| Deref of deref_kind * partial
| Callsite of {
ret_typ : IR.Typ.t;
cs : Absint.CallSite.t;
obj_path : partial option;
}
obj_path
represents the varaible name object when a method of which is called at the cs
callsite.
and partial = prim BufferOverrunField.t
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val pp_mark : markup:bool -> F.formatter -> t -> unit
val pp_partial : F.formatter -> partial -> unit
val pp_partial_paren : paren:bool -> F.formatter -> partial -> unit
val of_callsite :
?obj_path:partial ->
ret_typ:IR.Typ.t ->
Absint.CallSite.t ->
partial
val deref : deref_kind:deref_kind -> partial -> partial
val append_field : ?typ:IR.Typ.t -> partial -> IR.Fieldname.t -> partial
val append_star_field : partial -> IR.Fieldname.t -> partial
val is_this : partial -> bool
val represents_multiple_values : partial -> bool
val represents_multiple_values_sound : partial -> bool
val represents_callsite_sound_partial : partial -> bool
val exists_str_partial : f:(string -> bool) -> partial -> bool
val is_void_ptr_path : t -> bool
val is_cpp_vector_elem : partial -> bool
val is_global_partial : partial -> bool
val is_length : t -> bool