<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<br>
<div class="moz-cite-prefix">On 09/20/2018 04:57 AM, PenYiWang via llvm-dev wrote:<br>
</div>
<blockquote type="cite" cite="mid:CAOFnARE+=v3TKAVfG-P9bPq6jVegWNHxYn4BkAE_J4OfGeWoEA@mail.gmail.com">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">Hi
<div><br>
</div>
<div>I am working on find the target of indirect call.</div>
<div><br>
</div>
<div>I know there are two classic pointer analysis algorithm : Andersen and Steensgaard</div>
<div><br>
</div>
<div>And also these two algorithm are implemented in LLVM 6.0.</div>
<div><br>
</div>
<div>But, I only found that LLVM just use alias analysis to check two memory location are alias or not.</div>
<div><br>
</div>
<div>For example : AAResults::isNoAlias , AAResults::isMustAlias</div>
<div><br>
</div>
<div>My question is </div>
<div><br>
</div>
<div>Can I use the alias analysis in LLVM to find the point-to set of a pointer?</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<br>
The AA infrastructure does not represent global points-to sets. We do have an AliasSetTracker, which can collect sets of mutually-aliasing pointers, and you might find that helpful.<br>
<br>
-Hal<br>
<br>
<blockquote type="cite" cite="mid:CAOFnARE+=v3TKAVfG-P9bPq6jVegWNHxYn4BkAE_J4OfGeWoEA@mail.gmail.com">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">
<div><br>
</div>
<div>Or I should implement a new pass to do my pointer analysis?</div>
<div><br>
</div>
<div>Thanks</div>
</div>
</div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset> <br>
<pre wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory</pre>
</body>
</html>