🌱 Open Source
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