https://github.com/awruef/crab-clang

translate clang AST into CRAB
https://github.com/awruef/crab-clang

abstract-interpretation clang llvm verification

Last synced: 4 months ago
JSON representation

translate clang AST into CRAB

• Host: GitHub
• URL: https://github.com/awruef/crab-clang
• Owner: awruef
• Created: 2017-08-06T01:19:50.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-11-20T08:19:53.000Z (about 6 years ago)
• Last Synced: 2023-09-07T17:57:56.550Z (over 1 year ago)
• Topics: abstract-interpretation, clang, llvm, verification
• Language: C++
• Homepage:
• Size: 85.9 KB
• Stars: 6
• Watchers: 4
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project