mutagen
rr
Our great sponsors
mutagen | rr | |
---|---|---|
8 | 98 | |
615 | 8,556 | |
- | 1.1% | |
0.0 | 9.6 | |
10 months ago | 7 days ago | |
Rust | C++ | |
Apache License 2.0 | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mutagen
-
Rust Tests Itself (Kind of!)
There are two testing techniques you didn't mention: Snapshot tests (which are greatly simplified using the insta crate and mutation testing (which can be done on nightly with my mutagen crate.
-
What's everyone working on this week (6/2022)?
How does this compare to mutagen?
-
Hey Rustaceans! Got an easy question? Ask here (52/2021)!
Do you mean as part of build.rs? Yes, that's certainly doable, and has been done in the past. You can use env!("OUT_DIR") for that. Examples you may want to refer to include my mutagen crate and criterion.
-
Uncovered Intermediate Topics
Would be great if this could include mutation testing.
-
Question for experienced Rustaceans
I wrote a good number of macros though, both macro_rules! and various proc_macros. The latest iteration of overflower has both, for example. mutagen is a mutation testing tool built as a proc macro, and it's helper library has a bunch of macros, too. compact_arena uses macros to tie unique lifetime tags to arenas.
-
Mutable Arguments Considered Harmful | micouy.github.io
Cargo (and Rust) makes it so easy to write test cases that you should really use it to find these kinds of bugs. And there are other good test crates available: mutagen, quickcheck, etc.
-
Project Ideas
I had a student completely reachitecture my mutagen tool, and saw some working on various clippy contributions.
rr
-
So you think you want to write a deterministic hypervisor?
https://rr-project.org/ had the same problem. They use the retired conditional branch counter instead of instruction counter, and then instruction steeping until at the correct address.
-
Is Something Bugging You?
That'll work great for your Distributed QSort Incorporated startup, where the only product is a sorting algorithm.
Formal software verification is very useful. But what can be usefully formalized is rather limited, and what can be formalized correctly in practice is even more limited. That means you need to restrict your scope to something sane and useful. As a result, in the real world running thousands of tests is practically useful. (Well, it depends on what those tests are; it's easy to write 1000s of tests that either test the same thing, or only test the things that will pass and not the things that would fail.) They are especially useful if running in a mode where the unexpected happens often, as it sounds like this system can do. (It's reminiscent of rr's chaos mode -- https://rr-project.org/ linking to https://robert.ocallahan.org/2016/02/introducing-rr-chaos-mo... )
-
When "letting it crash" is not enough
The approach of check-pointing computation such that it is resumable and restartable sounds similar to a time-traveling debugger, like rr or WinDbg:
https://learn.microsoft.com/windows-hardware/drivers/debugge...
-
When I got started I debugged using printf() today I debug with print()
https://rr-project.org
This is indeed a problem people have with debuggers, so some very smart people found a way to fix it.
...and you're not on Linux, because on Linux we have rr! https://rr-project.org/
(I still use print statements 99.99% of the time though)
- OpenBSD KDE Plasma Desktop
-
Firefox 118
> I've heard Linux support was down to like one guy [...]
Linux support is down to you. It's down to all of us. Install rr (https://rr-project.org/) and capture a crash with it.
Then you can replay the crash, find out that it's actually crashing in your closed-source graphics driver, which will motivate you to switch to an open source driver and fix your issue.
Also, while you're at it, update your linux kernel and wayland. They've both had bugs that could manifest as random firefox crashes in the last several months.
- A Modern C Development Environment
-
Raku: A Language for Gremlins
I imagine you are referring to https://rr-project.org/ ?
Had never heard of it, looks pretty amazing, I might actually enjoy debugging now!
What are some alternatives?
CodeLLDB - A native debugger extension for VSCode based on LLDB
gef - GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
rrweb - record and replay the web
Module Linker - browse modules by clicking directly on "import" statements on GitHub
nbdev - Create delightful software with Jupyter Notebooks
clog-cli - Generate beautiful changelogs from your Git commit history
rustfmt - Format Rust code
Clippy - A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
quickjs-emscripten - Safely execute untrusted Javascript in your Javascript, and execute synchronous code that uses async functions
just - 🤖 Just a command runner
rustfix - Automatically apply the suggestions made by rustc
FlatBuffers - FlatBuffers: Memory Efficient Serialization Library