ESP Wiki is looking for moderators and active contributors!
Difference between revisions of "Steensgaard's algorithm"
(Created page with "[http://dl.acm.org/citation.cfm?id=237727 Steensgaard's algorithm] is a novel and very efficient algorithm for alias analysis patented by Microsoft. It is widely known to be p...") |
(link Microsoft) |
||
| Line 1: | Line 1: | ||
| − | [http://dl.acm.org/citation.cfm?id=237727 Steensgaard's algorithm] is a novel and very efficient algorithm for alias analysis patented by Microsoft. It is widely known to be patented, and it is often considered that all "unification based pointer analysis" is claimed by patents. | + | [http://dl.acm.org/citation.cfm?id=237727 Steensgaard's algorithm] is a novel and very efficient algorithm for alias analysis patented by [[Microsoft]]. It is widely known to be patented, and it is often considered that all "unification based pointer analysis" is claimed by patents. |
In 2006, [http://lists.cs.uiuc.edu/pipermail/llvmdev/2006-December/007552.html LLVM decided to remove an implementation of the algorithm due to patent concerns]. LLVM mailing list regularly receives queries related to the algorithm, which are invariably answered that it was removed due to patent concerns. [http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-November/011529.html In 2007]. [http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-September/025631.html In 2009]. | In 2006, [http://lists.cs.uiuc.edu/pipermail/llvmdev/2006-December/007552.html LLVM decided to remove an implementation of the algorithm due to patent concerns]. LLVM mailing list regularly receives queries related to the algorithm, which are invariably answered that it was removed due to patent concerns. [http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-November/011529.html In 2007]. [http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-September/025631.html In 2009]. | ||
Revision as of 21:01, 21 April 2015
Steensgaard's algorithm is a novel and very efficient algorithm for alias analysis patented by Microsoft. It is widely known to be patented, and it is often considered that all "unification based pointer analysis" is claimed by patents.
In 2006, LLVM decided to remove an implementation of the algorithm due to patent concerns. LLVM mailing list regularly receives queries related to the algorithm, which are invariably answered that it was removed due to patent concerns. In 2007. In 2009.
