MCPcopy Create free account
hub / github.com/Rust-API/Rust-API-Bypass-Checker / is_bottom

Method is_bottom

src/analysis/numerical/interval_domain.rs:155–157  ·  view source on GitHub ↗
(&self)

Source from the content-addressed store, hash-verified

153 }
154
155 fn is_bottom(&self) -> bool {
156 self.bottom
157 }
158
159 fn set_to_bottom(&mut self) {
160 self.bottom = true;

Callers 15

leqMethod · 0.45
widening_withMethod · 0.45
joinMethod · 0.45
meetMethod · 0.45
apply_un_op_placeMethod · 0.45
add_constraintsMethod · 0.45
refine_path_intervalMethod · 0.45
var2itvMethod · 0.45
set_intervalMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected