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

[Finkel, Hal J. via llvm-dev]

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>