pub struct OverflowDetector { /* private fields */ }Expand description
Buffer overflow detector
Detects buffer overflow issues by analyzing memory access patterns.
§Detection Methods
- Heap overflow: Detects overflows in heap-allocated buffers
- Stack overflow: Detects overflows in stack-allocated buffers
- Integer overflow: Detects arithmetic operations that exceed type bounds
Implementations§
Source§impl OverflowDetector
impl OverflowDetector
Sourcepub fn new(config: OverflowDetectorConfig) -> Self
pub fn new(config: OverflowDetectorConfig) -> Self
Sourcepub fn overflow_config(&self) -> &OverflowDetectorConfig
pub fn overflow_config(&self) -> &OverflowDetectorConfig
Get the overflow detector configuration
Sourcepub fn update_overflow_config(&mut self, config: OverflowDetectorConfig)
pub fn update_overflow_config(&mut self, config: OverflowDetectorConfig)
Update the overflow detector configuration
Trait Implementations§
Source§impl Debug for OverflowDetector
impl Debug for OverflowDetector
Source§impl Detector for OverflowDetector
impl Detector for OverflowDetector
Source§fn detect(&self, allocations: &[AllocationInfo]) -> DetectionResult
fn detect(&self, allocations: &[AllocationInfo]) -> DetectionResult
Detect issues in allocations Read more
Source§fn config(&self) -> &DetectorConfig
fn config(&self) -> &DetectorConfig
Get configuration Read more
Source§fn update_config(&mut self, config: DetectorConfig) -> Result<(), DetectorError>
fn update_config(&mut self, config: DetectorConfig) -> Result<(), DetectorError>
Update configuration Read more
Auto Trait Implementations§
impl Freeze for OverflowDetector
impl RefUnwindSafe for OverflowDetector
impl Send for OverflowDetector
impl Sync for OverflowDetector
impl Unpin for OverflowDetector
impl UnsafeUnpin for OverflowDetector
impl UnwindSafe for OverflowDetector
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> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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