Skip to content

Commit a01ef83

Browse files
authored
Merge pull request github#3270 from hvitved/csharp/dataflow/library-field-flow
C#: Field-sensitive summaries for library code
2 parents a981350 + c7763e6 commit a01ef83

17 files changed

+998
-663
lines changed

csharp/ql/src/semmle/code/csharp/Caching.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -68,6 +68,8 @@ module Stages {
6868
or
6969
exists(any(DataFlow::Node n).getType())
7070
or
71+
exists(any(DataFlow::Node n).getTypeBound())
72+
or
7173
exists(any(DataFlow::Node n).getLocation())
7274
or
7375
exists(any(DataFlow::Node n).toString())

0 commit comments

Comments
 (0)