hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #10377 from geoffw0/deprecate-pointsto

Browse Source 
C++: Put a warning on the PointsTo library.
This commit is contained in:
Mathias Vorreiter Pedersen
2022-09-12 16:25:40 +01:00
committed by GitHub
parent eadb8a3988 842af4bf74
commit 6e4b3c242f
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/pointsto/PointsTo.qll
View File

@@ -19,6 +19,10 @@
* `pointstoinfo` predicate determines the transitively implied points-to
* information by collapsing pointers into equivalence classes. These
* equivalence classes are called "points-to sets".
*
* WARNING: This library may perform poorly on very large projects.
* Consider using another library such as `semmle.code.cpp.dataflow.DataFlow`
* instead.
*/
import semmle.code.cpp.commons.File