PPhying中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Fuzzing an API with DeepState (Part 2)

blog.trailofbits.com | blog | #fuzzing | #mutation-testing | #symbolic-execution | #deepstate | #universalmutator
📄 Raw .md⬇️ Download .md🔗 Original ↗

Summary

Using the universalmutator tool, this sequel measures how well DeepState fuzzers kill auto-generated red-black tree mutants, comparing results across fuzzing and symbolic execution backends.
Published
Collected

Related coverage

blog · blog.trailofbits.com
Fuzzing an API with DeepState (Part 1)
Part 1 shows how DeepState turns a handwritten red-black tree fuzzer into a full test generator with regression replay, test reduction, and Manticore/angr/libFuzzer/AFL backends, catching missed bugs.
blog · blog.trailofbits.com
Mutation testing comes to DAML
Trail of Bits' Mewt mutation-testing engine adds DAML support: mutants for the Canton Network language, including two aimed at authorization primitives, grade tests by how many survive.
blog · blog.trailofbits.com
Trailmark turns code into graphs
Trailmark turns source code into a security-analysis graph, powering eight Claude Code skills for blast radius, taint propagation, and mutation test triage.
blog · blog.trailofbits.com
Mutation testing for the agentic era
Trail of Bits releases MuTON and mewt, mutation testing tools optimized for agentic workflows: MuTON supports TON languages, while mewt is a language-agnostic core for Solidity, Rust and Go.
blog · blog.trailofbits.com
Use mutation testing to find the bugs your tests don't catch
Mutation testing systematically introduces bugs to see if tests catch them, revealing blind spots that coverage metrics miss. It exposed a high-severity Arkis protocol flaw that ordinary tests missed.
blog · blog.trailofbits.com
Using mutants to improve Slither
Researchers used mutation testing to seed bugs in smart contracts and check whether Slither detects them, deriving new rules for Boolean constant misuse, type-based tautologies, and precision loss.
Back