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: 4 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 (about 8 years ago)
• Default Branch: master
• Last Pushed: 2019-10-29T22:41:37.000Z (over 5 years ago)
• Last Synced: 2024-07-30T20:40:38.773Z (6 months ago)
• Topics: c, haskell, locking, signals, static-analysis, static-code-analysis
• Language: Haskell
• Size: 228 KB
• Stars: 26
• Watchers: 6
• Forks: 2
• Open Issues: 9

Awesome Lists containing this project