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:
- 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: Open
- NLnetLabs/domain: Dnskey::parse bypasses 16-bit RDATA length invariant via new_unchecked — 2026-03-11 — state: Open
- 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: Open
- http-rs/http-types: Authorization::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
- 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: 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