<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
On 11/2/11 6:02 PM, Baishakhi Ray wrote:
<blockquote
cite="mid:CAMKYqxBD-2UE2zOzUWCYPTod4pFUm_nM-=r_rQHswwbkj3_YEg@mail.gmail.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=ISO-8859-1">
<br clear="all">
<div>Hi,</div>
<div>I was wondering, is there any code available on LLVM for flow
sensitive context sensitive (fscs) pointer analysis?</div>
</blockquote>
<br>
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.<br>
<br>
You might try the analyses written by Ben Hardekopf at
<a class="moz-txt-link-freetext" href="http://www.cs.ucsb.edu/~benh/downloads.html">http://www.cs.ucsb.edu/~benh/downloads.html</a>. 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.<br>
<br>
-- John T.<br>
<br>
<blockquote
cite="mid:CAMKYqxBD-2UE2zOzUWCYPTod4pFUm_nM-=r_rQHswwbkj3_YEg@mail.gmail.com"
type="cite">
<div><br>
</div>
<div>Thanks,</div>
<div>Ray</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <a class="moz-txt-link-freetext" href="http://llvm.cs.uiuc.edu">http://llvm.cs.uiuc.edu</a>
<a class="moz-txt-link-freetext" href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a>
</pre>
</blockquote>
<br>
</body>
</html>