Only flag up the deepest properties
This commit is contained in:
parent
eb1c7a3887
commit
86ead5e019
1 changed files with 3 additions and 1 deletions
|
|
@ -25,7 +25,9 @@ class EventContextAccessConfiguration extends DataFlow::Configuration {
|
|||
}
|
||||
|
||||
override predicate isSink(DataFlow::Node sink, DataFlow::FlowLabel lbl) {
|
||||
sink instanceof DataFlow::PropRead and lbl instanceof ParsedLabel
|
||||
sink instanceof DataFlow::PropRead and
|
||||
lbl instanceof ParsedLabel and
|
||||
not exists(DataFlow::PropRead n | sink = n.getBase())
|
||||
}
|
||||
|
||||
override predicate isAdditionalFlowStep(
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue