https://github.com/seahorn/llvm-dsa
LLVM DSA fork for SeaHorn
https://github.com/seahorn/llvm-dsa
llvm pointer-analysis
Last synced: 3 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 (over 10 years ago)
- Default Branch: master
- Last Pushed: 2019-08-17T06:01:31.000Z (almost 6 years ago)
- Last Synced: 2025-04-15T05:55:09.936Z (3 months ago)
- Topics: llvm, pointer-analysis
- Language: C++
- Homepage:
- Size: 281 KB
- Stars: 21
- Watchers: 6
- Forks: 8
- Open Issues: 1