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