[LLVMdev] Problem of running data structure analysis (DSA) on Linux kernel

[Haifeng He]

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
>