[LLVMdev] Status of poolalloc, and in particular DSA

Zvonimir Rakamaric
Thu, 06 Dec 2012 22:47:51 -0000

Hi all,

I've been using LLVM in my software analysis projects for quite a few
years now, and several years back I relied on results of DSA analysis
in my SMACK tool for checking C programs.

At some point that part of SMACK got deprecated, but now I would like
to revisit it since it was working quite well.

Therefore, I would like to learn what's the status of the poolalloc
project, and in particular its DSA analysis. I've seen there are
regular commits, and also there is a branch called release_32, which
is I presume following LLVM's 3.2 release. If that about right?

Basically, I would appreciate if somebody would comment if I can count
on DSA being supported and following LLVM releases in the future.

Thanks a lot!

-- Zvonimir