Merge pull request #569 from geoffw0/deprecate-pointsto-debug

CPP: Deprecate the PointsTo debug queries.

Author: jbj

cpp/ql/src/PointsTo/Debug.ql

@@ -3,7 +3,11 @@
  * @description Query to help investigate mysterious results with ReturnStackAllocatedObject
  * @kind table
  * @id cpp/points-to/debug
+ * @deprecated
  */
+
+// This query is not suitable for production use and has been deprecated.
+
 import cpp
 import semmle.code.cpp.pointsto.PointsTo
 

cpp/ql/src/PointsTo/PreparedStagedPointsTo.ql

@@ -3,8 +3,11 @@
  * @description Query to force evaluation of staged points-to predicates
  * @kind table
  * @id cpp/points-to/prepared-staged-points-to
+ * @deprecated
  */
 
+// This query is not suitable for production use and has been deprecated.
+
  import semmle.code.cpp.pointsto.PointsTo
 
  select count(int set, Element location | setlocations(set, unresolveElement(location))),

cpp/ql/src/PointsTo/Stats.ql

@@ -3,7 +3,11 @@
  * @description Count the number points-to sets with 0 or 1 incoming flow edges, and the total number of points-to sets
  * @kind table
  * @id cpp/points-to/stats
+ * @deprecated
  */
+
+// This query is not suitable for production use and has been deprecated.
+
 import cpp
 import semmle.code.cpp.pointsto.PointsTo
 

cpp/ql/src/PointsTo/TaintedFormatStrings.ql

@@ -2,7 +2,11 @@
  * @name Taint test
  * @kind table
  * @id cpp/points-to/tainted-format-strings
+ * @deprecated
  */
+
+// This query is not suitable for production use and has been deprecated.
+
 import cpp
 import semmle.code.cpp.pointsto.PointsTo
 import semmle.code.cpp.pointsto.CallGraph