[LLVMdev] Status of poolalloc, and in particular DSA

Zvonimir Rakamaric zvonimir at cs.utah.edu
Thu Dec 6 14:47:51 PST 2012

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

More information about the llvm-dev mailing list