llvm dev - Nov 2011 - [LLVMdev] flow sensitive context sensitive pointer analysis

Hi,
I was wondering, is there any code available on LLVM for flow sensitive
context sensitive (fscs) pointer analysis?

Thanks,
Ray
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20111102/01246f86/attachment.html>

On 11/2/11 6:02 PM, Baishakhi Ray wrote:
>
> Hi,
> I was wondering, is there any code available on LLVM for flow 
> sensitive context sensitive (fscs) pointer analysis?
There is not such an analysis either in LLVM or in any of its
"official"
subprojects as far as I know.  The closest is DSA, which is field 
sensitive, context sensitive but unification-based and flow insensitive 
(although SSA form buys you some limited flow sensitivity).  DSA should 
work (with varying quality of its results) with LLVM 2.7 and the 
upcoming LLVM 3.0.

You might try the analyses written by Ben Hardekopf at 
http://www.cs.ucsb.edu/~benh/downloads.html.  He's written some flow 
sensitive pointer analyses for LLVM, and it looks like he's made some of 
that code publicly available now.  I don't know with what version of 
LLVM that code works.

-- John T.
>
> Thanks,
> Ray
>
>
> _______________________________________________
> 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/20111102/c9fd9d0c/attachment.html>