llvm dev - Sep 2018 - Can I use CFLAndersAliasAnalysis to get point-to set of a function pointer?

Hi

I am working on find the target of indirect call.

I know there are two classic pointer analysis algorithm : Andersen
and Steensgaard

And also these two algorithm are implemented in LLVM 6.0.

But, I only found that LLVM just use alias analysis to check two memory
location are alias or not.

For example : AAResults::isNoAlias , AAResults::isMustAlias

My question is

Can I use the alias analysis in LLVM to find the point-to set of a pointer?

Or I should implement a new pass to do my pointer analysis?

Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180920/4b3dc5e5/attachment.html>

On 09/20/2018 04:57 AM, PenYiWang via llvm-dev wrote:
Hi

I am working on find the target of indirect call.

I know there are two classic pointer analysis algorithm : Andersen and
Steensgaard

And also these two algorithm are implemented in LLVM 6.0.

But, I only found that LLVM just use alias analysis to check two memory location
are alias or not.

For example : AAResults::isNoAlias , AAResults::isMustAlias

My question is

Can I use the alias analysis in LLVM to find the point-to set of a pointer?

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.

 -Hal


Or I should implement a new pass to do my pointer analysis?

Thanks



_______________________________________________
LLVM Developers mailing list
llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev



--
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180920/7dea166e/attachment-0001.html>