Cloud9 is a project that has an extensive POSIX environment model
which also lets you symbolically execute multithreaded programs. It is
based on KLEE.
Portend builds on top of Cloud9 to perform race detection/classification:
Cloud9 code base is also public, it might be of interest to you: