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: https://github.com/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: https://github.com/bitcoinfuzz/bitcoinfuzz
Just shilled this PR to the Floresta guys, interesting one!
Maaaaaany advancements on bitcoinfuzz during these last months, I should write a blog post about it.
Is this true? Can’t believe
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:
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??
That’s nice!
🇧🇷🇧🇷🇧🇷🇧🇷
Super grateful! Thanks nostr:npub10pensatlcfwktnvjjw2dtem38n6rvw8g6fv73h84cuacxn4c28eqyfn34f for the support! Couldn’t be happier! nostr:note1stncp9lfpzlzzrrzmgq4js9w7sagkt8c0egwepl434n6pu5v6nfqzgjcux
Back here
