Analyze performs static analysis on the API semantic tree.

UnionOf returns the union of all the values in the slice vals.

False represents a logical certanty of false.

Impossible represents a contradiction of certanties (for example True ∩ False).

Maybe represents the possibility of true or false.

True represents a logical certanty or true.

BoolValue is an implementation of Value that represents all the possible values of a boolean type.

CallstackEntry is a single entry in a callstack.

ClassValue is an implementation of Value that represents all the possible values of a class type.

EnumValue is an implementation of Value that represents all the possible values of an enumerator.

MapValue is an implementation of Value that represents a map variable.

ReferenceValue is an implementation of Value that represents all the possible references of a reference value type.

Results holds the results of the static analysis.

UintValue is an implementation of Value that represents all the possible values of an unsigned integer type.

Unreachable represents an unreachable block or statement.

UntrackedValue is an implementation of Value used for types that are not tracked by static analysis.

Relational is the interface implemented by values that can perform relational comparisons.

SetRelational is the interface implemented by values that produce new constrained values.

Value represents the data flow analysis representation of a variable or expression.

Callstack holds the callstack to a point in the API file.

Labels is a map of value to name.

Possibility is an enumerator of possibilites.