We are building an open source symbolic executor based of BARF [1] starting reimplementing pathgrind [2], which it is not working on modern Linux distributions

We are building an open source symbolic executor based of BARF [1] starting reimplementing pathgrind [2], which it is not working on modern Linux distributions because of the use of SSE2/3 instructions on the current libc versions. After we have a beta, we plan to use it submit bugs on the fuzzing project [3]. [1]: https://github.com/programa-stic/barf-project https://github.com/programa-stic/barf-project [2]: https://github.com/codelion/pathgrind https://github.com/codelion/pathgrind [3]: https://fuzzing-project.org/ https://fuzzing-project.org/