[LLVMdev] Status of poolalloc, and in particular DSA
zvonimir at cs.utah.edu
Thu Dec 6 14:47:51 PST 2012
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!
More information about the llvm-dev