miri

Tag

Cards List
#miri

GitHub Actions leaking secrets when Miri output is cached

Lobsters Hottest ↗ · 2d ago Cached

Miri, a Rust tool, stores all environment variables in the target directory, which when cached in GitHub Actions can leak secrets to pull requests. The Rust team has implemented a fix to only preserve specific variables and advises users to check their CI setups for vulnerabilities.

0 favorites 0 likes
#miri

FFI in Miri at 8000 segfaults per second

Lobsters Hottest ↗ · 2026-06-14 Cached

Nia Deckers presented a new scheme at RustWeek to implement FFI execution for Miri using ptrace and SIGSEGV. The method involves forking a process, setting memory protection, and disassembling instructions to determine memory access details, and uses mutex locks to resolve race conditions. This approach allows Miri to track any external function call at the cost of '8000 segfaults per second', and unexpectedly provides debugger functionality.

0 favorites 0 likes
#miri

Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"

Hacker News Top ↗ · 2026-05-15 Cached

Bun's Rust rewrite fails basic Miri checks, allowing undefined behavior in safe Rust, raising serious safety concerns.

0 favorites 0 likes
← Back to home

Submit Feedback