https://github.com/lambdageek/centrinel

Analyze how a C program uses memory regions
https://github.com/lambdageek/centrinel

haskell language-c region-inference static-analysis

Last synced: 25 days ago
JSON representation

Analyze how a C program uses memory regions

• Host: GitHub
• URL: https://github.com/lambdageek/centrinel
• Owner: lambdageek
• License: other
• Created: 2017-01-26T23:34:07.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2019-03-10T22:13:16.000Z (over 5 years ago)
• Last Synced: 2023-03-11T11:46:41.387Z (over 1 year ago)
• Topics: haskell, language-c, region-inference, static-analysis
• Language: Haskell
• Homepage:
• Size: 191 KB
• Stars: 7
• Watchers: 2
• Forks: 0
• Open Issues: 5

Awesome Lists containing this project