seahorn/sea-dsa

Context, field, and array-sensitive heap analysis for LLVM based on DSA.

语言：C++ · GitHub 星标：171 · Fork：37

话题：llvm · pointer-analysis · static-analysis · verification

在 GitHub 上查看原仓库