Provides classes and predicates for identifying functions that initialize their arguments.
Gets an argument which is conditionally initialized by the call to the given target under the given context and evidence.
Get an access of a field on
Gets an argument which is initialized by the call.
Gets a possible target for the
Gets the position of an argument to the call which is initialized by the call.
More elaborate tracking, flagging cases where the status is checked after the potentially uninitialized variable has been used, and ignoring cases where the status is not checked but there is no use of the potentially uninitialized variable, may be obtained via
A function which initializes one or more of its parameters, but not on all paths.
A context under which a function may be called.
A function which initializes one or more of its parameters.
A call to an function which initializes one or more of its parameters.
A check against a parameter.
A null-check expression on a parameter.
An entry in a CSV file in cond-init that contains externally defined functions that are conditional initializers. These files are typically produced by running the ConditionallyInitializedFunction companion query.
The type of evidence used to determine whether a function initializes a parameter.