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

[Daniel Berlin via llvm-commits]

On Tue, Mar 21, 2017 at 12:58 PM, Anna Zaks <ganna at apple.com> wrote:

> Daniel,
>
> Did the patients expire and is LLVM now open to accepting Steensgaard?
>

Errr, LLVM already has a linear time aa that will generate sets equivalent
to steensgaard
(That's what cflsteens does)



> We did not have time to look into that.
>
> Thanks!
> Anna
>
>
> On Mar 21, 2017, at 12:42 PM, Vassil Vassilev <v.g.vassilev at gmail.com>
> wrote:
>
> 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> 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
>> 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
>> ============================================================
>> ==================
>> --- 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/"><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
>> 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/20170331/a13cf57d/attachment.html>