llvm dev - Aug 2008 - [LLVMdev] Interprocedural Program Slicing

Dear all,

Is anyone aware of any implementation of an inter procedural slicing
algorithm
for LLVM? I am mostly interested in a static algorithm but a dynamic one can
be helpful too.

Thanks,

Silviu Ganceanu
Research Student,
Ecole Polytechique Federale de Luasanne
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20080815/3397de3b/attachment.html>

We have done a few class projects on static interprocedural slicing  
but they are all of "course project" quality.  I will put you in touch
with some of the students who did those, if you're interested?

--Vikram
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve




On Aug 15, 2008, at 8:48 AM, Silviu-Ionut Ganceanu wrote:
> Dear all,
>
> Is anyone aware of any implementation of an inter procedural slicing  
> algorithm
> for LLVM? I am mostly interested in a static algorithm but a dynamic  
> one can
> be helpful too.
>
> Thanks,
>
> Silviu Ganceanu
> Research Student,
> Ecole Polytechique Federale de Luasanne
> <ATT00001.txt>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20080815/21d2bda8/attachment.html>

On Fri, Aug 15, 2008 at 4:20 PM, Vikram S. Adve <vadve at cs.uiuc.edu>
wrote:
> We have done a few class projects on static interprocedural slicing but
> they are all of "course project" quality.  I will put you in
touch with some
> of the students who did those, if you're interested?
>
That would be great!

Thanks :)

>
> --Vikram
> *Associate Professor, Computer Science*
> *University of Illinois at Urbana-Champaign*
> *http://llvm.org/~vadve <http://llvm.org/%7Evadve>*
>
>
>
>
> On Aug 15, 2008, at 8:48 AM, Silviu-Ionut Ganceanu wrote:
>
> Dear all,
>
> Is anyone aware of any implementation of an inter procedural slicing
> algorithm
> for LLVM? I am mostly interested in a static algorithm but a dynamic one
> can
> be helpful too.
>
> Thanks,
>
> Silviu Ganceanu
> Research Student,
> Ecole Polytechique Federale de Luasanne
> <ATT00001.txt>
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20080815/d9dffbf2/attachment.html>