Futexes are complex enough that make it a good candidate for applying fuzzy testing techniques to the various inputs and operations that can be performed. Instead of re-writing any testing infrastructure, make use of the trinity system call fuzzing tool. While trinity does apply fuzzing to futexes, it does so with very limited knowledge, using only generic callbacks to the different steps involved. As such the main goal is extending testing coverage and making it more ad-hoc.

Looking for hackers with the skills:

Nothing? Add some keywords!

This project is part of:

Hack Week 13

Activity

  • about 4 years ago: dbueso started Improve futex coverage in trinity
  • about 4 years ago: dbueso originated Improve futex coverage in trinity

  • Comments

    Be the first to comment!

    Similar Projects

    This project is one of its kind!