CHESS: Systematic Concurrency Testing

chesstool.zip (40,6 MB)
CHESS is a tool for systematic and disciplined concurrency testing. Given a concurrent test, CHESS systematically enumerates the possible thread schedules to find hard-to-find concurrency errors, including assertion violations, deadlocks, data-races, and atomicity violations.

Waf File Hash Generator

fhg.zip (1,9 MB)
Waf File Hash Generator is a simple tool to generate the hash values of one or more files. It supports the SHA1 and MD5 hash algorithm.