Peter Griffin
Peter Griffin
Hello, First, thank you for your work on the `vmap` crate. We are developing a static analysis tool for Rust, and during our testing, our tool flagged a potential memory...
Hi there! While developing a static analyzer for Rust, we discovered another soundness issue in `runes::utils` related to integer underflow. We noticed issue #2 addresses padding bytes, and we'd like...
Hello, We are currently developing a static analysis tool for Rust, and during our testing, we analyzed fcplug. We believe we have identified two instances of Undefined Behavior in the...
Hi there! 👋 While developing a static analyzer for Rust, we discovered a critical soundness issue in `unpack_vec_from_asset` that causes undefined behavior. https://github.com/kmurf1999/rust_poker/blob/0a61b3dcad1dbdd599baf5b8a7cf5549489ee0e9/read_write/src/lib.rs#L61-L88 ## Minimal Reproduction ```rust use read_write::unpack_vec_from_asset; use...
Hello, First, thank you for your work on the grr crate. I believe I have identified a soundness issue in the as_u8_slice function. The function creates a &[u8] slice that...
The safe function `fast_prefetch_range` accepts raw pointer without validation, allowing undefined behavior through pointer wraparound. ## Details - Affects versions < 2.0.1 - **Fixed in v2.0.1** by changing API to...
This PR adds an advisory for a soundness issue in libafl_bolts. ## Summary The safe functions `covmap_is_interesting_simd` and `covmap_is_interesting_naive` can cause undefined behavior through out-of-bounds memory access. ## Details -...
This PR adds an advisory for soundness issues in remoteprocess. ## Summary Safe methods in the `ProcessMemory` trait can cause double-free and use-after-free bugs when used with non-Copy types. ##...
Hello, First, thank you for this very useful library\! Our team is currently developing a new static analysis tool for Rust. During our testing, our tool flagged a potential issue...