diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll b/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll index 16cf16449a9..e8af3ce975e 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll @@ -25,7 +25,7 @@ class TypeTrackerContent extends OptionalTypeTrackerContent { TypeTrackerContent() { this != "" } } -/** The content string representing no value. */ +/** Gets the content string representing no value. */ OptionalTypeTrackerContent noContent() { result = "" } /** A content set, which is currently just a singleton set for Python. */ diff --git a/ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll b/ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll index c4192c3e2be..b6f02ed3c33 100644 --- a/ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll +++ b/ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll @@ -167,8 +167,8 @@ predicate basicStoreStep(Node nodeFrom, Node nodeTo, TypeTrackerContentSet conte } /** - * A `content`-store step from `nodeFrom -> nodeTo` where the destination node is a post-update - * node that should be treated as a local source node. + * Holds if a store step `nodeFrom -> nodeTo` with `contents` exists, where the destination node + * is a post-update node that should be treated as a local source node. */ predicate postUpdateStoreStep(Node nodeFrom, Node nodeTo, TypeTrackerContentSet contents) { // TODO: support SetterMethodCall inside TuplePattern