We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 24e7aad commit e40ee82Copy full SHA for e40ee82
javascript/ql/lib/semmle/javascript/dataflow/Nodes.qll
@@ -1095,7 +1095,8 @@ class ClassNode extends DataFlow::SourceNode instanceof ClassNode::Range {
1095
/**
1096
* Gets a property read that accesses the property `name` on an instance of this class.
1097
*
1098
- * Concretely, this holds when the base is an instance of this class or a subclass thereof.
+ * This includes accesses on subclasses (if the member is not overridden) and accesses in a base class
1099
+ * (only if accessed on `this`).
1100
*/
1101
pragma[nomagic]
1102
DataFlow::PropRead getAnInstanceMemberAccess(string name, DataFlow::TypeTracker t) {
0 commit comments