`module Known : module type of sig ... end`

Set of sources returned by callees of the current function

`module FootprintConfig : InferModules.AccessTree.Config`
`module Footprint : module type of sig ... end`

Set of access paths representing the sources that may flow in from the caller

`module Sanitizers : module type of sig ... end`

Set of sanitizers that have been applied to these sources

`type astate````=` `{`

`known : Known.astate;`
`footprint : Footprint.astate;`
`sanitizers : Sanitizers.astate;`

`}```
`type t``= astate```
`val empty : t`
`val is_empty : t ‑> bool`
`val of_source : Source.t ‑> t`
`val of_footprint : InferIR.AccessPath.Abs.t ‑> t`
`val add : Source.t ‑> t ‑> t`
`val get_footprint_indexes : t ‑> InferStdlib.IntSet.t`