I'm Clover, a postgraduate from Fudan University, interested in Rust Programming and AI. Now I'm learning the rust compiler.
I'm active in Rust Community, mainly in Zulip. My open talks are here:
- Different output when testing std::ptr::copy by miri
- Provide the meaning of "Valid" to Understand.
- How CStr::from_bytes_with_nul_unchecked deal with nul?
- Review about the safety comment related to List::remove
I have opened some issues and PRs in many Rust crate repositories:
- awxkee/pxfm: UB found by Miri — 2026-07-03 — state: Closed
- bluealloy/revm: UB found by miri — 2026-06-24 — state: Open
- mitsuhiko/elementtree-rust: Undefined Behaviour find by Miri — 2026-06-24 — state: Open
- dcuddeback/ioctl-rs: UB found by miri: Uninitialized memory — 2026-06-24 — state: Open
- paritytech/reed-solomon-novelpoly: UB found by Miri: uninitialized memory in inverse_afft — 2026-06-24 — state: Open
- kornelski/rust-lcms2-sys: UB found by miri: default() construct invalid value — 2026-06-24 — state: Open
- rustadopt/jzon-rs: UB found by miri in DumpGenerator and PrettyGenerator — 2026-06-23 — state: Open
- sozu-proxy/circular: UB found by Miri — 2026-06-23 — state: Open
- VoidStarKat/widestring-rs: Utf32String::insert_utfstr/ insert: Potential Undefined Behaviour find by Miri — 2026-05-10 — state: Open
- Stebalien/str_stack: Undefined Behaviour find by Miri — 2026-05-10 — state: Closed
- rust-scraper/scraper: Potential Undefined Behavior Reported by Miri — 2026-05-09 — state: Closed
- tafia/quick-protobuf: Potential Undefined Behavior Reported by Miri in BytesReader — 2026-04-30 — state: Open
- tokio-rs/tokio: Potential Undefined Behavior Reported by Miri: Using mem::uninitialized() — 2026-04-16 — state: Closed
- awxkee/pxfm: Potential Undefined Behavior Reported by Miri: f_powm1 — 2026-04-16 — state: Closed
- awxkee/pxfm: Potential Undefined Behavior Reported by Miri: In exp2m1f_gen and exp10f_gen — 2026-04-16 — state: Closed
- ParkMyCar/compact_str: Potential Undefined Behavior Reported by Miri — 2026-04-16 — state: Closed
- NLnetLabs/domain: Dnskey::parse bypasses 16-bit RDATA length invariant via new_unchecked — 2026-03-11 — state: Closed
- Manishearth/elsa: FrozenVec::push_get is unsound under reentrant StableDeref implementations — 2026-03-11 — state: Open
- tree-sitter/tree-sitter: InputEdit::edit_point accepts internally inconsistent edits without validation — 2026-03-11 — state: Closed
- anza-xyz/solana-sdk: Soundness issue: AccountInfo::resize can trigger UB from safe code when AccountInfo is created via AccountInfo::new — 2026-03-11 — state: Closed
- rustgd/cgmath: Soundness issue: Matrix2/Matrix3/Matrix4 swap_columns can trigger UB in Safe Rust when a == b — 2026-03-11 — state: Open
- tokio-rs/loom: Potential soundness issue in loom::lazy_static::Lazy::get returning static reference beyond execution lifetime — 2026-03-11 — state: Open
- dudykr/ddbase: Soundness issue: BytesString::split_off can break UTF-8 invariant and cause UB via safe APIs — 2026-03-11 — state: Closed
- http-rs/http-types: {Authorization, WwwAuthenticate}::value can construct a non-ASCII HeaderValue through Safe Rust — 2026-03-11 — state: Open
- unicode-org/icu4x: Soundness issue: from_utf8_lossy and from_utf16_lossy can trigger UB from Safe Rust with non-ASCII replacement — 2026-03-11 — state: Closed
- apache/arrow-rs: arrow-buffer: Potential Undefined Behavior Reported by Miri — 2026-01-28 — state: Closed
- apache/arrow-rs: arrow-buffer: Potential Undefined Behavior Reported by Miri — 2026-01-28 — state: Closed
- apache/arrow-rs: arrow-buffer: Potential Undefined Behavior Reported by Miri — 2026-01-28 — state: Closed
- huanli-00/Safe4U-replication: Error emerges when run "cargo run target" — 2026-01-24 — state: Closed
- DragonOS-Community/DragonOS: [BUG REPORT] read_all_from_buf中可能存在指针未对齐导致UB — 2025-12-22 — state: Closed
- DragonOS-Community/DragonOS: [BUG REPORT] unix ring_buffer 未检测参数范围可能导致panic — 2025-12-22 — state: Closed
- DragonOS-Community/DragonOS: [BUG REPORT] TCP socket listen/close 方法存在资源泄露问题 — 2025-12-20 — state: Open
- DragonOS-Community/DragonOS: [BUG REPORT] TCP listen()函数缺少backlog参数校验，backlog=0导致整数下溢 — 2025-12-20 — state: Open
- smol-rs/parking: Potential DeadLock Reported by Miri — 2025-10-10 — state: Open
- matklad/once_cell: Potential DeadLock Reported by Miri — 2025-10-10 — state: Open
- actix/actix-net: Potential DeadLock Reported by Miri — 2025-10-10 — state: Closed
- bodil/bitmaps: Potential Undefined Behavior Reported by Miri — 2025-10-09 — state: Open
- avitex/rust-aliasable: Potential Undefined Behavior Reported by Miri — 2025-10-08 — state: Open
- rust-lang/rust: Fix inconsistent safety requirement in VecDeque::nonoverlapping_ranges — 2026-06-26 — state: Merged
- rust-lang/rust: Add safety section for DisjointBitor::disjoint_bitor — 2026-06-25 — state: Closed
- rust-lang/rust: Add safety section for SliceIndex::get_unchecked(mut) — 2026-06-25 — state: Merged
- rust-lang/rust: Fix incorrect unsafe debug assertion in unchecked_div_exact — 2026-06-23 — state: Merged
- rustsec/advisory-db: Add advisory for http-types: violated ASCII invariants — 2026-05-28 — state: Merged
- rustsec/advisory-db: Add advisory for domain: Dnskey::parse bypass the 16-bit RDATA length invariant — 2026-05-28 — state: Closed
- rustsec/advisory-db: Add advisory for loom: Lazy::get can return a dangling &'static reference — 2026-05-28 — state: Closed
- rustsec/advisory-db: Add advisory for bytes-str: BytesString::split_off can break UTF-8 invariant — 2026-05-28 — state: Closed
- tokio-rs/loom: Fix #406 — 2026-05-28 — state: Open
- anza-xyz/solana-sdk: stable-layout: change fields visibility of StableVec from public to private — 2026-05-26 — state: Open
- libpnet/libpnet: pnet_sys: change visibility of FileDesc.fd from public to private — 2026-05-26 — state: Open
- alloy-rs/nybbles: change debug_assert!() to assert!() in Nibbles::len() — 2026-05-26 — state: Closed
- rust-lang/rust: rustdoc: Prototype implement RFC 3842 with safety::requires attribute — 2026-04-12 — state: Open
- DragonOS-Community/DragonOS: Add assert in ring_buffer.rs — 2025-12-22 — state: Closed