[www] r298384 - Remove project. Steensgaard algorithm is patented.

Vassil Vassilev via llvm-commits llvm-commits at lists.llvm.org
Tue Mar 21 12:42:22 PDT 2017


On 21/03/17 19:50, Daniel Berlin wrote:
> I"m not sure this makes sense this point, given the state of the patents.
> However, at the same time, for escape analysis, andersen's is not 
> really slower in practice.
IIUC, implementations of this algorithm have been removed from the 
codebase before. Anna could give more details about that.
>
>
> On Tue, Mar 21, 2017 at 9:15 AM, Vassil Vassilev via llvm-commits 
> <llvm-commits at lists.llvm.org <mailto:llvm-commits at lists.llvm.org>> wrote:
>
>     Author: vvassilev
>     Date: Tue Mar 21 11:15:48 2017
>     New Revision: 298384
>
>     URL: http://llvm.org/viewvc/llvm-project?rev=298384&view=rev
>     <http://llvm.org/viewvc/llvm-project?rev=298384&view=rev>
>     Log:
>     Remove project. Steensgaard algorithm is patented.
>
>     Modified:
>         www/trunk/OpenProjects.html
>
>     Modified: www/trunk/OpenProjects.html
>     URL:
>     http://llvm.org/viewvc/llvm-project/www/trunk/OpenProjects.html?rev=298384&r1=298383&r2=298384&view=diff
>     <http://llvm.org/viewvc/llvm-project/www/trunk/OpenProjects.html?rev=298384&r1=298383&r2=298384&view=diff>
>     ==============================================================================
>     --- www/trunk/OpenProjects.html (original)
>     +++ www/trunk/OpenProjects.html Tue Mar 21 11:15:48 2017
>     @@ -40,9 +40,6 @@
>            <li><a href="#clang-sa-atomics">Model C++11 and C11 atomics
>     in the
>                analyzer</a>
>            </li>
>     -      <li><a href="#clang-sa-escape-analysis">Implement fast
>     escape analysis for
>     -          clang AST</a>
>     -      </li>
>          </ul>
>          </li><li>
>          <a href="http://compiler-rt.llvm.org/
>     <http://compiler-rt.llvm.org/>"><b>Compiler-rt</b></a><ul>
>     @@ -507,21 +504,6 @@ Welcome prospective Google Summer of Cod
>        <p><b>Confirmed Mentor:</b> Anna Zaks</p>
>      </div>
>
>     -<!--
>     ***********************************************************************
>     -->
>     -<div class="www_subsubsection">
>     -  <a name="clang-sa-escape-analysis">Implement fast escape
>     analysis for
>     -    clang AST.</a>
>     -</div>
>     -<!--
>     ***********************************************************************
>     -->
>     -
>     -<div class="www_text">
>     -  <p><b>Description of the project: </b>
>     -    The static analyzer and the compiler that operate on top of
>     clang AST could
>     -    use the results of a fast pointer analysis such as "Points-to
>     analysis in
>     -    almost linear time" by Bjarne Steensgaard.
>     -  </p>
>     -  <p><b>Confirmed Mentor:</b> Devin Coughlin</p>
>     -</div>
>
>
>      <!--
>     ***********************************************************************
>     -->
>
>
>     _______________________________________________
>     llvm-commits mailing list
>     llvm-commits at lists.llvm.org <mailto:llvm-commits at lists.llvm.org>
>     http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits
>     <http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits>
>
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170321/d22d41e8/attachment.html>


More information about the llvm-commits mailing list