Giters

seahorn / llvm-dsa

LLVM DSA fork for SeaHorn

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

llvmpointer-analysis

llvm-dsa

DSA fork for SeaHorn. Based on the DSA for in SMACK. Originally from PoolAlloc. LLVM version is 5.0

About

LLVM DSA fork for SeaHorn

llvmpointer-analysis

License:Other

Languages

Language:C++ 99.3%Language:CMake 0.6%Language:Makefile 0.1%