We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 820b5f2 commit 7ab3cdeCopy full SHA for 7ab3cde
ruby/ql/lib/codeql/ruby/typetracking/SummaryTypeTracker.qll
@@ -1,10 +1,10 @@
1
/**
2
- * Provides the implementation of a summary type tracker, that is type tracking through flow summaries.
+ * Provides the implementation of type tracking steps through flow summaries.
3
* To use this, you must implement the `Input` signature. You can then use the predicates in the `Output`
4
* signature to implement the predicates of the same names inside `TypeTrackerSpecific.qll`.
5
*/
6
7
-/** The classes and predicates needed to generate a summary type tracker. */
+/** The classes and predicates needed to generate type-tracking steps from summaries. */
8
signature module Input {
9
// Dataflow nodes
10
class Node;
0 commit comments