https://github.com/smackers/lockpwn

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

Last synced: 8 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 (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2019-12-11T17:52:55.000Z (over 6 years ago)
• Last Synced: 2025-03-01T00:25:38.294Z (about 1 year 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#)