similar to: [LLVMdev] llvm DSA - reproduce the result in PLDI 07 paper

Dear John, I intend to implement the improvements on DSA. After running DSA on SPEC, I found DSA gives low precision for mcf and bzip2. I have checked the most imprecise c files in mcf an found that the code seems to be a mixture of "PHI" and "GEP" instructions. Could you please give me some hints about what the big picture of the improvement should be and how to start? Thank

Hi Xin, Thank you for your reply! I have tried the 3 alias analyses you have mentioned on LLVM 3.5: 1) $ opt -globalsmodref-aa -aa-eval < xxx.bc > /dev/null (May-alias response 100%) 2) $ opt -tbaa -aa-eval < xxx.bc > /dev/null (May-alias response 100%) 3) $ opt -cfl-aa -aa-eval < xxx.bc> /dev/null (Unknown command line argument '-cfl-aa') It seems that they are not

Hi guys, So, I've been a long-term user of LLVM, and currently me and my students are actively using LLVM in several projects of ours. At this point, I would greatly appreciate if you could add SMACK static checker, which relies on LLVM, to the list of LLVM projects. SMACK is an open-source static checker built on top of LLVM, and we are hoping to get more collaborators and contributors this

Thanks Bill! So should I email you again in 5 months? -- http://www.zvonimir.info On Wed, Feb 6, 2013 at 1:10 AM, Bill Wendling <wendling at apple.com> wrote: > Hi Zvonimir, > > We normally list projects that use LLVM when we do a release. The next release will be 3.3, which will probably start up in 5 months or so. > > -bw > > On Feb 3, 2013, at 9:16 PM, Zvonimir

On Feb 6, 2013, at 7:22 AM, "Criswell, John T" <criswell at illinois.edu> wrote: > Dear All, > > We can add a link to the SMACK project on the LLVM User's page at http://llvm.org/Users.html at any time. Bill, does your comment refer to the release notes, or something else? > Just to the release notes. At least, that's when we do blurbs. :) -bw > In any

Hi Zvonimir, We normally list projects that use LLVM when we do a release. The next release will be 3.3, which will probably start up in 5 months or so. -bw On Feb 3, 2013, at 9:16 PM, Zvonimir Rakamaric <zvonimir at cs.utah.edu> wrote: > Hi guys, > > So, I've been a long-term user of LLVM, and currently me and my > students are actively using LLVM in several projects of

Dear All, We can add a link to the SMACK project on the LLVM User's page at http://llvm.org/Users.html at any time. Bill, does your comment refer to the release notes, or something else? In any event, if the SMACK project has a web site, I can add the URL to the User's page. Is the Github URL what you want to use, or is there a web page with more information that we should link to

Hi, Our tool SMACK (https://github.com/smackers/smack/) relies on installing LLMV from APT packages that used to be provided here: http://llvm.org/apt/ This link has been down for several weeks at this point (I think). Do you have a rough estimate for when you will bring this back? Our users are having trouble installing SMACK due to the above problem, and so I am wondering if we should look

What versions of llvm and llvm-poolalloc should I check out of cvs, in order to use DSA? In a previous post John Criswell suggested checking llvm and llvm-poolalloc out of cvs using the -r release_19 flag. However, there were several post later that said that changes should not be made to the release_19 branch. At any rate, I've not seen any update on which versions of llvm and

I updated dsa to mainline cvs. Poolalloc is broken, however. On Mar 6, 2007, at 3:39 AM, Ryan M. Lefever wrote: > What versions of llvm and llvm-poolalloc should I check out of cvs, in > order to use DSA? In a previous post John Criswell suggested checking > llvm and llvm-poolalloc out of cvs using the -r release_19 flag. > However, there were several post later that said that

Forgot to hit "Reply All." -- John T. -------------- next part -------------- An embedded message was scrubbed... From: John Criswell <criswell at cs.uiuc.edu> Subject: Re: using dsa Date: Tue, 06 Mar 2007 09:53:43 -0600 Size: 3103 URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070306/ef7c2f29/attachment.mht>

I have a few questions on using dsa now that it has been moved out of llvm. I have llvm -r release_19 checked out from cvs, and llvm-poolalloc -r release_19 checked out from cvs into the projects directory, as John Criswell previously suggested. 1) I have some compiler transforms that I'm writing that use DSA. They can no longer find the header files for DSA. My transforms are located

> I recommend that you stick with the release_19 branch of both llvm and > llvm-poolalloc. I and others are actively using these branches, so > llvm-poolalloc bug fixes will most likely be made to this branch in > addition to mainline CVS for the forseeable future. The release_19 > branch of llvm-poolalloc is designed to always work with the release_19 > branch of LLVM, which

How do I acquire that version of DSA that you've updated to mainline cvs? Do I still check out llvm-poolalloc, or is there a way to only check out DSA? Patrick Meredith wrote: > I updated dsa to mainline cvs. Poolalloc is broken, however. > > On Mar 6, 2007, at 3:39 AM, Ryan M. Lefever wrote: > >> What versions of llvm and llvm-poolalloc should I check out of cvs, in

Tanya M. Lattner wrote: >>I recommend that you stick with the release_19 branch of both llvm and >>llvm-poolalloc. I and others are actively using these branches, so >>llvm-poolalloc bug fixes will most likely be made to this branch in >>addition to mainline CVS for the forseeable future. The release_19 >>branch of llvm-poolalloc is designed to always work with the

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

On 12/6/12 4:47 PM, Zvonimir Rakamaric wrote: > 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.

Ryan M. Lefever wrote: > I have a few questions on using dsa now that it has been moved out of > llvm. I have llvm -r release_19 checked out from cvs, and > llvm-poolalloc -r release_19 checked out from cvs into the projects > directory, as John Criswell previously suggested. > > 1) I have some compiler transforms that I'm writing that use DSA. They > can no longer

On Wed, Apr 23, 2008 at 11:59 PM, John Criswell <criswell at cs.uiuc.edu> wrote: > Dear Tianwei, > > You can use the -analyze option to the opt tool to tell the DSA passes > to store their results in files. When you use the -analyze option, the > DSA passes will create a separate file for each function (and possible > one file to hold the globals graph). For this reason,

Thanks for the fast response John. On Thu, Oct 1, 2015, at 04:51 PM, John Criswell wrote: > Dear Ed, > > First, someone has updated the DSA code in the poolalloc project to LLVM > 3.7, and a Master's student worked for me over the summer to update a > large chunk of SAFECode to LLVM 3.7. However, the update to LLVM 3.7 > isn't finished (we need to finish integrating