pub struct ReachableAnalysis {
pub total_instructions: usize,
pub total_branches: usize,
pub total_edges: usize,
pub reachable_pcs: HashSet<usize>,
pub reachable_branch_pcs: HashSet<usize>,
pub reachable_edges: HashSet<u64>,
}Expand description
Result of CFG analysis including reachable sets for filtering visited coverage
Fields§
§total_instructions: usize§total_branches: usize§total_edges: usize§reachable_pcs: HashSet<usize>All instruction PCs reachable from the entry point
reachable_branch_pcs: HashSet<usize>All conditional branch PCs reachable from the entry point
reachable_edges: HashSet<u64>All edges (pc<<32|target) reachable from the entry point
Trait Implementations§
Source§impl Clone for ReachableAnalysis
impl Clone for ReachableAnalysis
Source§fn clone(&self) -> ReachableAnalysis
fn clone(&self) -> ReachableAnalysis
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Default for ReachableAnalysis
impl Default for ReachableAnalysis
Source§fn default() -> ReachableAnalysis
fn default() -> ReachableAnalysis
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for ReachableAnalysis
impl RefUnwindSafe for ReachableAnalysis
impl Send for ReachableAnalysis
impl Sync for ReachableAnalysis
impl Unpin for ReachableAnalysis
impl UnsafeUnpin for ReachableAnalysis
impl UnwindSafe for ReachableAnalysis
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more