Displaying 20 results from an estimated 4000 matches similar to: "[LLVMdev] Schedule for poolalloc/DSA"
2010 Apr 28
0
[LLVMdev] Schedule for poolalloc/DSA
Kevin Streit wrote:
> Hi all,
>
> is there any plan when poolalloc and DSA will be adapted to compile and run with LLVM 2.7? I'm currently about to start a bigger project using DSA and it would be nice if I could use LLVM 2.7 instead of porting everything I do now from 2.6 to 2.7 later.
>
Mainline DSA/Poolalloc already compiles with LLVM 2.7. I will probably
create a
2010 Aug 24
4
[LLVMdev] DSA Analysis
Hi,
I'm still using the release_26 version of Poolalloc/DSA with llvm 2.6 for my analyses and am currently trying to switch to llvm 2.7 for several reasons. I tried to use the trunk of the poolalloc svn repository with the llvm 2.7 release which is working fine for most of the programs I ran it on so far but for sqlite it's running into a stack overflow since it is endlessly looping in
2010 Aug 24
0
[LLVMdev] DSA Analysis
Kevin Streit wrote:
> Hi,
>
> I'm still using the release_26 version of Poolalloc/DSA with llvm 2.6 for my analyses and am currently trying to switch to llvm 2.7 for several reasons. I tried to use the trunk of the poolalloc svn repository with the llvm 2.7 release which is working fine for most of the programs I ran it on so far but for sqlite it's running into a stack overflow
2007 Feb 13
2
[LLVMdev] using dsa from llvm-poolalloc
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
2012 Dec 06
2
[LLVMdev] Status of poolalloc, and in particular DSA
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
2012 Dec 08
0
[LLVMdev] Status of poolalloc, and in particular DSA
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.
2011 Oct 09
2
[LLVMdev] interprocedural static backwards slicing
Thanks John. I appreciate your help and I look forward to obtaining the code.
A proper LLVM sub-project: No rush on this and please take your time. Thanks.
- Jin
-----Original Message-----
From: Criswell, John T [mailto:criswell at illinois.edu]
Sent: Saturday, October 08, 2011 11:58 AM
To: Jinwook Shin; llvmdev at cs.uiuc.edu
Subject: RE: interprocedural static backwards slicing
Dear Jin,
2007 Feb 13
4
[LLVMdev] using dsa from llvm-poolalloc
> 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
2011 Oct 08
2
[LLVMdev] Compiling problem with steensgaard alias analysis
Hi,
This is Jiesheng Wei from UBC. Now I am working on a project with LLVM
and I want to use steensgaard alias analysis tool. I saw on the website
that steensgaard analysis is available for LLVM 2.9 and it is under
poolalloc/ directory. I downloaded several versions but none of them is
compatible with LLVM 2.9. Can you please tell me which version of
poolalloc is for LLVM 2.9? Thanks,
Jiesheng
2010 Dec 13
1
[LLVMdev] How can I determine safely if a CallSite is "live" in a DSGraphs context
Hi,
I believe shouldHaveNodeForValue() should return false for
ConstantPointerNullValue.
Fixed in r121707.
Arushi
On Mon, Dec 13, 2010 at 12:10 PM, Kevin Streit
<kevin.streit at googlemail.com>wrote:
> I'm using BUDataStructures... But I tried LocalDatastructures and it didn't
> work either...
> On Dec 13, 2010 6:52 PM, "Arushi Aggarwal" <arushi987 at
2015 May 15
2
[LLVMdev] DSA / poolalloc: incorrect callgraph for indirect call
Hello,
I am trying to apply DSA (from the poolalloc project - I'm on LLVM 3.2)
on the following C program and found that the generated callgraph
over-approximates the callees for the simple indirect call.
#include <stdio.h>
__attribute__((noinline)) static int f1(int arg1, int arg2) {
return arg1 + arg2;
}
__attribute__((noinline)) static int run_func(int (*fptr)(int, int), int
2007 Feb 13
0
[LLVMdev] using dsa from llvm-poolalloc
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
2011 Oct 11
2
[LLVMdev] interprocedural static backwards slicing
Thanks John for the super quick checkin. I was a little surprised here.
Yesterday/today I spent some time trying to build poolalloc on my mac dev
machine. Unfortunately, it failed to build [1]. Looks like the compiler
can't find the header files under /usr/include/c++. I also tried to build
on my linux box and saw the same problem. giri built successfully. Are you
sure poolalloc builds on
2011 Oct 10
0
[LLVMdev] interprocedural static backwards slicing
On 10/9/11 12:12 AM, Jinwook Shin wrote:
> Thanks John. I appreciate your help and I look forward to obtaining the code.
>
> A proper LLVM sub-project: No rush on this and please take your time. Thanks.
Okay, I've created a new LLVM sub-project called Giri(*). It currently
contains only the static backwards slicing pass. I'll add the dynamic
slicing code to the project later.
2007 Feb 13
0
[LLVMdev] using dsa from llvm-poolalloc
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
2011 Oct 19
0
[LLVMdev] Compiling problem with steensgaard alias analysis
On 10/7/11 11:56 PM, Jiesheng Wei wrote:
> Hi,
>
> This is Jiesheng Wei from UBC. Now I am working on a project with LLVM
> and I want to use steensgaard alias analysis tool. I saw on the website
> that steensgaard analysis is available for LLVM 2.9 and it is under
> poolalloc/ directory. I downloaded several versions but none of them is
> compatible with LLVM 2.9. Can you
2011 Oct 11
0
[LLVMdev] interprocedural static backwards slicing
On 10/11/11 5:05 PM, Jinwook Shin wrote:
> Thanks John for the super quick checkin. I was a little surprised here.
Creating a new project was easy, and it seemed the easiest way to send
the code to you.
:)
>
> Yesterday/today I spent some time trying to build poolalloc on my mac dev
> machine. Unfortunately, it failed to build [1].
Can you do a make VERBOSE=1 and send me the
2011 Sep 21
3
[LLVMdev] Alias Analysis (Andersen pointer analysis)
Thanks Everyone for the info.
I am planning to work with DSA on llvm-2.9. Hope it is working as John
mentioned.
Manish
On Tue, Sep 20, 2011 at 7:06 AM, John Criswell <criswell at illinois.edu>wrote:
> On 9/19/11 9:12 PM, Manish Gupta wrote:
>
> Dear All,
>
> I am curious to know the reason for removal of andersen pointer analysis.
> Is it because of some issues? We
2010 Mar 06
2
[LLVMdev] How do I download the "poolalloc" module ?
Hi,
I'm interested in using the "Data Structure Analysis" that is apparently in the "poolalloc" module according to the documentation on alias analysis in LLVM. I have downloaded and built LLVM 2.6 on MinGW but the sources do not seem to include anything related to pool allocation. I don't think MinGW includes svn. Is there an download location where I can get the
2010 Mar 09
0
[LLVMdev] Changed: Build errors for poolalloc using MinGW/gcc 4.4.0
Dear Patrick and Antron,
I've modified the Makefiles in the poolalloc module so that they do not
build shared libraries on MingW or Cygwin. Patrick, if you do an "svn
up" you should be able to compile the poolalloc project now.
-- John T.