rust-lang/miri on Hacker News

…and Creusot but I've not used any of them so I'll refrain from trying to differentiate them. [0] https://github.com/rust-lang/miri [1] https://github.com/model-checking/kani [2] https://github.com/creusot-rs/creusot

comment by 63 · 2026-09-17 · in Developing provably correct Rust code with Verus

…documented features and not on whatever happens to work right now. See for example this PR comment: https://github.com/rust-lang/miri/pull/4840#discussion_r2836...

comment by jojomodding · 2026-02-22 · in Windows: Prefer the Native API over Win32

…bugs are sufficiently rare in rust so as to be notable. That is the opposite of "regular" [0]: https://github.com/rust-lang/miri/blame/master/README.md

comment by joshuamorton · 2026-02-20 · in Zero-day CSS: CVE-2026-2441 exists in the wild

…implementation interpreter where C++ designates Store_elem as integration testing in ecosystem. > https://github.com/rust-lang/miri

comment by ballpug0x9 · 2026-01-02 · in Miri: Practical Undefined Behavior Detection for Rust [pdf]

…tests for a codebase at work through Miri a while ago and found a couple of distinct classes of UB: https://github.com/rust-lang/miri/issues/1807#issuecomment-8... These can be summarized as: 1. Converting a reference to the first field of…

comment by landr0id · 2026-01-02 · in Miri: Practical Undefined Behavior Detection for Rust [pdf]

Why would Rust need formal verification tools like https://github.com/rust-lang/miri if the programming language is so safe that it prevents them[1]?! [1] Undefined Behaviors.

comment by johnisgood · 2025-11-21 · in The Lions Operating System

▲ 3

Definite Rust bugs found by the Miri UB detector

story by exikyut · 2025-09-03 · 0 comments

…or other calls into non-Rust code, and it emulates all multithreaded code on a single thread. [0] https://github.com/rust-lang/miri

comment by LegionMammal978 · 2025-08-09 · in Why Cargo Check Is So Slow

Here's the implementation in Miri for those interested: https://github.com/rust-lang/miri/tree/master/src/borrow_tra...

comment by nixpulvis · 2025-07-10 · in Tree Borrows

…to work short of the Valgrind route of emulating the whole process on an instruction level. [0] https://github.com/rust-lang/miri

comment by LegionMammal978 · 2025-02-16 · in Rethinking the C Time API

Miri is a Rust tool with a similar function to Valgrind, it checks for undefined behavior. https://github.com/rust-lang/miri

comment by Deukhoofd · 2025-01-20 · in Rhai: An embedded scripting language for Rust

…well specified to build formal models of (see https://github.com/rust-lang/a-mir-formality and https://github.com/rust-lang/miri ), as well as the ferrocene spec ( https://spec.ferrocene.dev/general.html ) that's suitable for certification…

comment by AlotOfReading · 2024-11-11 · in US government wants devs to stop using C and C++

The one link for those who think that 'Rewrite it All in Rust' will, well, settle any debates: https://github.com/rust-lang/miri/

comment by PreInternet01 · 2024-07-30 · in Translating All C to Rust (TRACTOR)

…that its inner pointer is not aliased to another Box (even if used for readonly operations). See: https://github.com/rust-lang/miri/issues/1800#issuecomment-8... )

comment by landr0id · 2024-05-02 · in Rust: Box Is a Unique Type

…And why does miri exist? It is a lot slower. However it can check for some undefined behavior. [0]: https://github.com/rust-lang/miri

comment by _nalply · 2024-05-01 · in Bytecode VMs in Surprising Places

…must follow, even when using raw pointers and `unsafe`, are written in terms of provenance. Miri ( https://github.com/rust-lang/miri ) represents provenance as an actual value stored alongside each pointer's address, so it can check for…

comment by Rusky · 2024-02-01 · in RFC: Rust Has Provenance

…undecided. See for example: - https://github.com/rust-lang/unsafe-code-guidelines/issues/8... - https://github.com/rust-lang/miri/issues/2732

comment by oconnor663 · 2023-03-05 · in Safety and Soundness in Rust

…and will reject valid programs. Hence why the unsafe keyword exists, and why tools like Miri ( https://github.com/rust-lang/miri ) exist specifically for rust.

comment by krona · 2022-10-18 · in Rewriting a high performance vector database in Rust

…low hanging yet wide-ranging fruit there. Been playing around with Miri lately, it's a joy to use. https://github.com/rust-lang/miri

comment by Grimburger · 2022-09-15 · in It Pays to Be Circomspect

…Miri[2], which is incredibly neat. [1] https://twitter.com/Gankra_/status/1486928208528293888 [2] https://github.com/rust-lang/miri

comment by DenseComet · 2022-02-14 · in Learning rust with entirely too many linked lists (2019)

…is not settled yet, AFAIK, at the language design level), in order to demonstrate the difference ( https://github.com/rust-lang/miri/issues/1638 ). The other claim, "dereferencing is illegal", is more likely, but unlike popular…

comment by eddyb · 2022-01-30 · in Uninitialized memory: Unsafe Rust is too hard

Turns out there's been some work, and the rust part has actually been the main issue: https://github.com/rust-lang/miri/issues/722

comment by qw3rty01 · 2021-12-04 · in Rust programming for web developers, by a web developer

Not for Rust itself, but there's an interpreter for Rust's MIR: https://github.com/rust-lang/miri

comment by tcard · 2021-11-03 · in Python interpreter written in rust reaches 10000 commits

…through Miri. Moreover, I wouldn't call a thousand-fold slowdown [2] "relatively lightweight". [1]: https://github.com/rust-lang/miri#miri [2]: https://www.reddit.com/r/rust/comments/hosvqu/will_the_miri_...

comment by NieDzejkob · 2021-01-27 · in Heap-based buffer overflow in Sudo

TIL Rust is working on its own version of ASAN and UBSAN: https://github.com/rust-lang/miri How shocking.

comment by jart · 2020-09-20 · in Why Not Rust?

…https://github.com/thepowersgang/mrustc [2]: https://github.com/bjorn3/rustc_codegen_cranelift [3]: https://github.com/rust-lang/miri

comment by cbarrick · 2020-06-12 · in A New RegExp Engine in SpiderMonkey

…get the MIR, you can do that today. In the playground, expand the "Run" menu and select "MIR". [1]: https://github.com/rust-lang/miri/issues/511

comment by shepmaster · 2019-03-27 · in Miri: Interpreter for Rust's mid-level intermediate representation

▲ 218

Miri: Interpreter for Rust's mid-level intermediate representation

story by ingve · 2019-03-27 · 38 comments

…itself, its interface is restricted a bit; we haven't fully defined what "const fn" will be. https://github.com/solson/miri is probably the best place to start poking around :)

comment by steveklabnik · 2018-08-08 · in Stacked Borrows: an aliasing model for Rust

The idea is reminiscent of Miri for Rust: https://github.com/solson/miri

comment by sanxiyn · 2018-03-08 · in Sulong: Finding Errors in C Programs [pdf]

…changed a lot since the slides were written — and it is now close to being merged into rustc. miri: https://github.com/solson/miri

comment by kzrdude · 2017-11-26 · in Rust: Enable WebAssembly backend by default

…I can't say for certain what its intended scope is. Historically it's been developed in this repo: https://github.com/solson/miri , so you could try opening an issue there and asking, though it seems as though it might soon migrate to the…

comment by kibwen · 2017-10-17 · in Enabling Rust on Embedded Platforms – Linux, RTOS, Bare Metal

…approach it takes should perform pretty well and won't require people to learn a new language. [1] https://github.com/solson/miri

comment by curun1r · 2017-05-09 · in Making a Game in Rust

…Also, Scheme and CL allow free reign on data mutation and RDD/HS work fantastically in them [0]: https://github.com/solson/miri

comment by nonsince · 2017-04-29 · in Rust for Clojurists

Which makes me wonder if Miri ( https://github.com/solson/miri ) counts as an alternate implementation of the frontend. Combined with, say, Cretonne ( https://internals.rust-lang.org/t/possible-alternative-compi... ) I wonder if we…

comment by kibwen · 2016-12-02 · in Reflections on Rusting Trust

The project you're thinking of is called miri, I don't really know the state of it either. https://github.com/solson/miri

comment by tatterdemalion · 2016-10-22 · in 2017 Rust Roadmap

…interpreter would work great on MIR, which is why Scott Olson (@tsion) has been working on one: https://github.com/tsion/miri (check out the slides and the report).

comment by eddyb · 2016-04-27 · in Introducing MIR

…the post[1], is an example: it interprets MIR, rather than using LLVM to generate machine code. 1: https://github.com/tsion/miri

comment by steveklabnik · 2016-04-27 · in Introducing MIR

…to bytecode, there's currently a student writing a MIR interpreter as part of their research: https://github.com/tsion/miri . There are some that foresee this being added to the Rust compiler itself, to enable more extensive compile-time…

comment by kibwen · 2016-04-27 · in Introducing MIR

…into the compiler and use the datastructures as well, they don't parse the output you see here: https://github.com/tsion/miri/blob/master/src/bin/miri.rs (The post has been amended to try to clear this up a bit)

comment by steveklabnik · 2016-04-27 · in Introducing MIR

…with interpreting it [2]. [1] https://internals.rust-lang.org/t/mir-constant-evaluation/31... [2] https://github.com/tsion/miri

comment by eddyb · 2016-03-04 · in No Compiler – On LLVM, and writing software without a compiler