https://github.com/evincarofautumn/ward
A static analysis tool for C.
https://github.com/evincarofautumn/ward
c haskell locking signals static-analysis static-code-analysis
Last synced: 6 months ago
JSON representation
A static analysis tool for C.
- Host: GitHub
- URL: https://github.com/evincarofautumn/ward
- Owner: evincarofautumn
- License: other
- Created: 2016-11-01T19:45:31.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2019-10-29T22:41:37.000Z (almost 6 years ago)
- Last Synced: 2025-04-06T13:17:26.303Z (7 months ago)
- Topics: c, haskell, locking, signals, static-analysis, static-code-analysis
- Language: Haskell
- Size: 228 KB
- Stars: 27
- Watchers: 5
- Forks: 2
- Open Issues: 9