https://github.com/smackers/lockpwn

blazing fast symbolic analysis for concurrent C programs
https://github.com/smackers/lockpwn

Last synced: about 2 months ago
JSON representation

blazing fast symbolic analysis for concurrent C programs

• Host: GitHub
• URL: https://github.com/smackers/lockpwn
• Owner: smackers
• License: mit
• Created: 2015-03-22T18:58:44.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2019-12-11T17:52:55.000Z (over 5 years ago)
• Last Synced: 2025-01-11T15:23:37.975Z (3 months ago)
• Language: C#
• Homepage:
• Size: 2.28 MB
• Stars: 3
• Watchers: 7
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project

• awesome-blazingly-fast - lockpwn - blazing fast symbolic analysis for concurrent C programs (C#)