Merge pull request #16088 from hvitved/csharp/library-property-store

C#: Include all non-source-code properties in data flow
github · Apr 4, 2024 · fc02938 · fc02938
2 parents 7beb737 + 64e82bb
commit fc02938
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -1997,6 +1997,8 @@ class FieldOrProperty extends Assignable, Modifiable {
           or
           p.getDeclaringType() instanceof AnonymousClass
         )
+        or
+        p.fromLibrary()
       )
   }