rapx::analysis::opt::checking::bounds_checking

Module bounds_len

Source

Structs§

BoundsLenCheck
DefPaths 🔒
IfFinder 🔒
IndexFinder 🔒
LtFinder 🔒

Statics§

DEFPATHS 🔒

Functions§

extract_upperbound_node_if_ops_range 🔒
find_downside_index_node 🔒
find_indexed_node_from_index 🔒
find_upside_len_node 🔒
report_upperbound_bug 🔒