https://github.com/seahorn/llvm-dsa

LLVM DSA fork for SeaHorn
https://github.com/seahorn/llvm-dsa

llvm pointer-analysis

Last synced: 2 months ago
JSON representation

LLVM DSA fork for SeaHorn

• Host: GitHub
• URL: https://github.com/seahorn/llvm-dsa
• Owner: seahorn
• License: other
• Created: 2015-02-28T06:03:58.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2019-08-17T06:01:31.000Z (over 5 years ago)
• Last Synced: 2024-01-06T06:02:43.343Z (about 1 year ago)
• Topics: llvm, pointer-analysis
• Language: C++
• Homepage:
• Size: 281 KB
• Stars: 20
• Watchers: 8
• Forks: 7
• Open Issues: 1

Awesome Lists containing this project