llvm dev - Sep 2007 - [LLVMdev] Problem of running data structure analysis (DSA) on Linux kernel

Hi,

I ran into a problem when running DSA on Linux kernel (the Kernel
version I used is
2.4.31). The analysis was aborted when it tried to do
DSNode::mergeTypeInfo on some data structure in the kernel. I have
filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656.

My question is what version of Linux kernel LLVM has been tested on
successfully? To run DSA analysis, should I use the latest version of
llvm and poolalloc or should I checkout a particular version?

thanks

haifeng

Haifeng He wrote:

We use DSA on a modified version of Linux 2.4.22 (specifically, this is
a port of Linux to the SVA virtual architecture, which is described in
part in the papers listed at the end of this email).  We use the SVA
branches of LLVM and poolalloc.  These branches are derived from the
release_19 branches of these projects (which corresponds to LLVM 1.9).

I'm not sure, but I think Andrew may have ported the DSA changes from
the SVA branch to mainline and is using it on Linux 2.6, so mainline
LLVM and DSA might work as well.

The LLVA papers:

o LLVA: A Low-level Virtual Instruction Set Architecture:
http://llvm.org/pubs/2003-10-01-LLVA.html
o A Virtual Instruction Set Interface for Operating System Kernels:
http://llvm.org/pubs/2006-06-18-WIOSCA-LLVAOS.html
o Secure Virtual Architecture: A Safe Execution Environment for
Commodity Operating Systems: To be presented at SOSP 2007
(http://www.sosp2007.org).

-- John T.
> Hi,
>
> I ran into a problem when running DSA on Linux kernel (the Kernel
> version I used is
> 2.4.31). The analysis was aborted when it tried to do
> DSNode::mergeTypeInfo on some data structure in the kernel. I have
> filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656.
>
> My question is what version of Linux kernel LLVM has been tested on
> successfully? To run DSA analysis, should I use the latest version of
> llvm and poolalloc or should I checkout a particular version?
>
> thanks
>
> haifeng
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>

On 9/13/07, Haifeng He <hehaifeng2nd at gmail.com>
wrote:
> Hi,
>
> I ran into a problem when running DSA on Linux kernel (the Kernel
> version I used is
> 2.4.31). The analysis was aborted when it tried to do
> DSNode::mergeTypeInfo on some data structure in the kernel. I have
> filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656.
It is possible there was a fix in the branch we used for the kernel
that didn't make it into mainline.  Also, mainline has deviated some
from lately, and those changes are not completed.  The SVA branch
should be the latest fully tested version that completely matches the
PLDI07 description.

Andrew

Thanks

Haifeng

On 9/14/07, Andrew Lenharth <andrewl at lenharth.org>
wrote:
> On 9/13/07, Haifeng He <hehaifeng2nd at gmail.com> wrote:
> > Hi,
> >
> > I ran into a problem when running DSA on Linux kernel (the Kernel
> > version I used is
> > 2.4.31). The analysis was aborted when it tried to do
> > DSNode::mergeTypeInfo on some data structure in the kernel. I have
> > filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656.
>
> It is possible there was a fix in the branch we used for the kernel
> that didn't make it into mainline.  Also, mainline has deviated some
> from lately, and those changes are not completed.  The SVA branch
> should be the latest fully tested version that completely matches the
> PLDI07 description.
>
> Andrew
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>