Index of values

B
build_zones [Zones]
build_zones [Scope.Zones]
C
check_asserts [Datascope]
check_asserts [Scope.Datascope]

Print how many assertions could be removed based on the previous analysis (get_prop_scope_at_stmt) and return the annotations that can be removed.

compute_with_def_type_zone [Defs]

This function is similar to , except that it receives a zone as argument, instead of an l-value

G
get_data_scope_at_stmt [Datascope]
get_data_scope_at_stmt [Scope.Datascope]
get_defs [Defs]
get_defs [Scope.Defs]
get_defs_with_type [Defs]
get_defs_with_type [Scope.Defs]
get_lval_zones [Datascope]
get_prop_scope_at_stmt [Datascope]
get_prop_scope_at_stmt [Scope.Datascope]

compute the set of statements where the given annotation has the same value as before the given stmt.

get_zones [Zones]
get_zones [Scope.Zones]
P
pretty_zones [Zones]
pretty_zones [Scope.Zones]
R
rm_asserts [Datascope]
rm_asserts [Scope.Datascope]

Same analysis than check_asserts but mark the assertions as proven.