Attributes (infer.Pulselib.PulseAbductiveDomain.CanonValue.Attributes)

type t = PulseBaseAddressAttributes.t

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 yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t

val pp : Pulselib.PulseBaseAddressAttributes.F.formatter -> t -> unit

val empty : t

val filter : (t -> Pulselib.PulseBasicInterface.Attributes.t -> bool) -> t -> t

val filter_with_discarded_addrs : 
  (t -> bool) ->
  t ->
  t * Pulselib.PulseBasicInterface.AbstractValue.t list

val find_opt : t -> t -> Pulselib.PulseBasicInterface.Attributes.t option

val add_one : t -> Pulselib.PulseBasicInterface.Attribute.t -> t -> t

val add : t -> Pulselib.PulseBasicInterface.Attributes.t -> t -> t

val allocate : 
  Pulselib.PulseBasicInterface.Attribute.allocator ->
  t ->
  IBase.Location.t ->
  t ->
  t

val always_reachable : t -> t -> t

val java_resource_release : t -> t -> t

val hack_async_await : t -> t -> t

val csharp_resource_release : t -> t -> t

val in_reported_retain_cycle : t -> t -> t

val fold : 
  (t -> Pulselib.PulseBasicInterface.Attributes.t -> 'a -> 'a) ->
  t ->
  'a ->
  'a

val check_valid : 
  t ->
  t ->
  (unit,
    Pulselib.PulseBasicInterface.Invalidation.t
    * Pulselib.PulseBasicInterface.Trace.t)
    IStdlib.IStd.result

val check_initialized : 
  t ->
  t ->
  (unit, Pulselib.PulseBasicInterface.Attribute.UninitializedTyp.t)
    IStdlib.IStd.result

val invalidate : 
  (t * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  Pulselib.PulseBasicInterface.Invalidation.t ->
  IBase.Location.t ->
  t ->
  t

val get_allocation : 
  t ->
  t ->
  (Pulselib.PulseBasicInterface.Attribute.allocator
   * Pulselib.PulseBasicInterface.Trace.t)
    option

val get_closure_proc_name : t -> t -> IR.Procname.t option

val get_copied_into : 
  t ->
  t ->
  Pulselib.PulseBasicInterface.Attribute.CopiedInto.t option

val get_copied_return : 
  t ->
  t ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * bool
   * Pulselib.PulseBasicInterface.Attribute.CopyOrigin.t
   * IBase.Location.t)
    option

val remove_copied_return : t -> t -> t

val get_source_origin_of_copy : 
  t ->
  t ->
  Pulselib.PulseBasicInterface.AbstractValue.t option

val is_copied_from_const_ref : t -> t -> bool

val get_must_be_valid : 
  t ->
  t ->
  (Pulselib.PulseBasicInterface.Timestamp.t
   * Pulselib.PulseBasicInterface.Trace.t
   * Pulselib.PulseBasicInterface.Invalidation.must_be_valid_reason option)
    option

val get_must_not_be_tainted : 
  t ->
  t ->
  Pulselib.PulseBasicInterface.Attribute.TaintSink.t
    Pulselib.PulseBasicInterface.Attribute.TaintSinkMap.t

val get_returned_from_unknown : 
  t ->
  t ->
  Pulselib.PulseBasicInterface.AbstractValue.t list option

val get_must_be_initialized : 
  t ->
  t ->
  (Pulselib.PulseBasicInterface.Timestamp.t
   * Pulselib.PulseBasicInterface.Trace.t)
    option

val add_dict_contain_const_keys : t -> t -> t

val remove_dict_contain_const_keys : t -> t -> t

val is_dict_contain_const_keys : t -> t -> bool

val add_dict_read_const_key : 
  Pulselib.PulseBasicInterface.Timestamp.t ->
  Pulselib.PulseBasicInterface.Trace.t ->
  t ->
  IR.Fieldname.t ->
  t ->
  t

val get_dict_read_const_keys : 
  t ->
  t ->
  Pulselib.PulseBasicInterface.Attribute.ConstKeys.t option

val add_static_type : IR.Typ.Name.t -> t -> t -> t

val get_static_type : t -> t -> IR.Typ.Name.t option

val get_written_to : 
  t ->
  t ->
  (Pulselib.PulseBasicInterface.Timestamp.t
   * Pulselib.PulseBasicInterface.Trace.t)
    option

val std_vector_reserve : t -> t -> t

val is_java_resource_released : t -> t -> bool

val is_csharp_resource_released : t -> t -> bool

val is_in_reported_retain_cycle : t -> t -> bool

val is_std_moved : t -> t -> bool

val is_std_vector_reserved : t -> t -> bool

val get_last_lookup : 
  t ->
  t ->
  Pulselib.PulseBasicInterface.AbstractValue.t option

val mark_as_end_of_collection : t -> t -> t

val is_end_of_collection : t -> t -> bool

val add_unreachable_at : t -> IBase.Location.t -> t -> t

val add_copied_return : 
  t ->
  source:t ->
  is_const_ref:bool ->
  Pulselib.PulseBasicInterface.Attribute.CopyOrigin.t ->
  IBase.Location.t ->
  t ->
  t

val get_config_usage : 
  t ->
  t ->
  Pulselib.PulseBasicInterface.Attribute.ConfigUsage.t option

val get_used_as_branch_cond : 
  t ->
  t ->
  (IR.Procname.t * IBase.Location.t * Pulselib.PulseBasicInterface.Trace.t)
    option

val remove_allocation_attr : t -> t -> t

val remove_taint_attrs : t -> t -> t

val remove_all_must_not_be_tainted : 
  ?kinds:Pulselib.PulseBasicInterface.TaintConfig.Kind.Set.t ->
  t ->
  t

val remove_must_be_valid_attr : t -> t -> t

val initialize : t -> t -> t

val get_address_of_stack_variable : 
  t ->
  t ->
  (IR.Var.t * IBase.Location.t * Pulselib.PulseBasicInterface.ValueHistory.t)
    option

val has_unknown_effect : t -> t -> bool