GitHub repository: smackers/lockpwn
Primary language: C#
Description: blazing fast symbolic analysis for concurrent C programs