←
Back to Open Source
🐙 GitHub Detail
S
seahorn/sea-dsa
By seahorn
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
GitHub
C++
Other
Updated 19 May 2026
Live Snapshot
⭐
Stars
170
🍴
Forks
35
📄
License
Other
🧩
Type
C++
📘
About this open-source project
Live information fetched from GitHub.
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
🌿
Default Branch
main
🐞
Open Issues
18
👀
Watchers
170