<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Date: Mon, 14 May 2018 14:26:13 -0400<br>
From: Kenneth Adam Miller via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>><br>
To: llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>><br>
Subject: [llvm-dev] <span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Andresen Algorithm</span><br>
Message-ID:<br>
        <<a href="mailto:CAK7rcp_yXA79UuLvcD6LPMQBvi9tTpOGAcuWZUx1tFKTyvuh2Q@mail.gmail.com">CAK7rcp_<wbr>yXA79UuLvcD6LPMQBvi9tTpOGAcuWZ<wbr>Ux1tFKTyvuh2Q@mail.gmail.com</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Hello all,<br>
<br>
<br>
I'm looking for something simple - does anybody know if there is an<br>
implementation of Andresen's algorithm anywhere in LLVM?<br></blockquote><div><br></div><div>Apart from the Andersen's analysis in lib/Analysis/CFLAndersAliasAnalysis.cpp, we also implemented a primitive Shapiro-Horowitz alias analysis here: <a href="https://github.com/sohamm17/ShapiroHorwitz/">https://github.com/sohamm17/ShapiroHorwitz/</a> . We didn't have much documentation. The report is here: <a href="http://cs-people.bu.edu/soham1/docs/680_Final_Report.pdf">http://cs-people.bu.edu/soham1/docs/680_Final_Report.pdf</a></div></div></div></div>