Skip to content

Commit 6e4b3c2

Browse files
authored
Merge pull request #10377 from geoffw0/deprecate-pointsto
C++: Put a warning on the PointsTo library.
2 parents eadb8a3 + 842af4b commit 6e4b3c2

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

cpp/ql/lib/semmle/code/cpp/pointsto/PointsTo.qll

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,10 @@
1919
* `pointstoinfo` predicate determines the transitively implied points-to
2020
* information by collapsing pointers into equivalence classes. These
2121
* equivalence classes are called "points-to sets".
22+
*
23+
* WARNING: This library may perform poorly on very large projects.
24+
* Consider using another library such as `semmle.code.cpp.dataflow.DataFlow`
25+
* instead.
2226
*/
2327

2428
import semmle.code.cpp.commons.File

0 commit comments

Comments
 (0)