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 mad skills in:

Nothing? Add some keywords!

This project is part of:

Hack Week 13

Activity

  • almost 4 years ago: dbueso started Improve futex coverage in trinity
  • almost 4 years ago: dbueso originated Improve futex coverage in trinity
  • Show History

    Comments

    Be the first to comment!

    Similar Projects

    This project is one of its kind!