A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.
Primary LanguageC++Apache License 2.0Apache-2.0