Module Defs

module Defs: sig .. end
Computations of Def points. Some of the functions of this module are registered in module Db.Scope.

Find the statements that defines a given data at a program point, ie. in each backward path starting from this point, find the statement the the data has been assigned for the last time.


val compute_with_def_type_zone : Cil_types.kernel_function ->
Cil_types.stmt ->
Locations.Zone.t ->
((bool * bool) Cil_datatype.Stmt.Map.t * Locations.Zone.t option) option
This function is similar to Db.Scope.get_defs_with_type, except that it receives a zone as argument, instead of an l-value