Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
leq
Method · 0.45
widening_with
Method · 0.45
join
Method · 0.45
meet
Method · 0.45
apply_bin_op_place_place
Method · 0.45
apply_bin_op_const_place
Method · 0.45
apply_bin_op_place_const
Method · 0.45
apply_un_op_place
Method · 0.45
add_constraints
Method · 0.45
refine_path_interval
Method · 0.45
var2itv
Method · 0.45
set_interval
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected