I rewrote the mutation testing tool that I created for Bitcoin Core. It was originally written in Python but I got some issues that made me to rewrite it in Rust. It contains the same features as the original tool has: - Generate mutants only for code touched in specific branches (useful for testing PRs) - Skip useless mutants (comments, LogPrintf statements, etc.) - One mutant per line mode for faster analysis - Support for functional and unit test mutation - Coverage-guided mutation testing Check it out:

GitHub

GitHub - brunoerg/bcore-mutation: A mutation testing tool for Bitcoin Core, written in Rust

A mutation testing tool for Bitcoin Core, written in Rust - brunoerg/bcore-mutation

We successfully migrated corecheck to use this new tool recently.

New bugs/inconsistencies found by bitcoinfuzz: panic when parsing a PSBT on btcd, core lightning not validating pub keys in routing hints, overflow on lnd, and more… Check the complete list in the README:

GitHub

GitHub - bitcoinfuzz/bitcoinfuzz: Differential Fuzzing of Bitcoin protocol implementations and libraries

Differential Fuzzing of Bitcoin protocol implementations and libraries - bitcoinfuzz/bitcoinfuzz

Just shilled this PR to the Floresta guys, interesting one!

Bitcoin Core PR Review Club

Separate UTXO set access from validation functions

Notes

Maaaaaany advancements on bitcoinfuzz during these last months, I should write a blog post about it.

People should study more about the fork button on GH and the git cherry-pick command

I spent some time rewriting bitcoinfuzz recently, it's better modularized and organized (note that v2 branch is the main one now). Also, I added a target for descriptor parse and here is one of the first finds:

GitHub

descriptor_parse: crash with `pk(xprv.../*)` · Issue #70 · bitcoinfuzz/bitcoinfuzz

Input: pk(xprv9s21ZrQH143K31xYSDQpPDxsXRTUcvj2iNHm5NUtrGiGG5e2DtALGdso3pGz6ssrdK4PFmM8NSpSBHNqPqm55Qn3LqFtT2emdEXVYsCzC2U/*) Bitcoin Core successfu...

Happy that my paper "Software testing for peer-to-peer systems: Challenges and the state-of-the-art" was accepted for publication at Journal of Software Engineering Research and Development. It took me a lot of time, but was worth it! excited to share the findings!

Mullvad is really great, but I’m not using it to access X from 🇧🇷, ok gov??

🇧🇷🇧🇷🇧🇷🇧🇷

Super grateful! Thanks @OpenSats for the support! Couldn’t be happier! View quoted note →

Some thoughts…

Delving Bitcoin

Property-based testing for Bitcoin Core

I just want to share some initial experiments I’ve done regarding property-based testing for Core. Property-based tests are designed to test the...

Back here