module Function_Froms: sig
.. end
Datastructures and common operations for the results of the From plugin.
module Deps: sig
.. end
module Memory: sig
.. end
type
froms = {
|
deps_return : Memory.LOffset.t ; |
|
deps_table : Memory.t ; |
}
include Datatype.S
val join : froms -> froms -> froms
val top : froms
Display dependencies of a function, using the function's type to improve
readability
val pretty_with_type : Cil_types.typ -> froms Pretty_utils.formatter
Display dependencies of a function, using the function's type to improve
readability, separating direct and indirect dependencies
val pretty_with_type_indirect : Cil_types.typ -> froms Pretty_utils.formatter
val outputs : froms -> Locations.Zone.t
Extract the left part of a from result, ie. the zones that are written
val inputs : ?include_self:bool -> froms -> Locations.Zone.t
Extract the right part of a from result, ie. the zones on which the
written zones depend. If include_self
is true, and the from is
of the form x FROM y (and SELF)
, x
is added to the result;
default value is false
.