add instance methods in the same class to localFieldStep

This commit is contained in:
Erik Krogh Kristensen
2021-03-10 15:19:07 +01:00
parent ea6d3bde9c
commit c993f9a3a3
2 changed files with 10 additions and 1 deletions

View File

@@ -1545,7 +1545,9 @@ module DataFlow {
*/
predicate localFieldStep(DataFlow::Node pred, DataFlow::Node succ) {
exists(ClassNode cls, string prop |
pred = cls.getAReceiverNode().getAPropertyWrite(prop).getRhs() and
pred = cls.getAReceiverNode().getAPropertyWrite(prop).getRhs() or
pred = cls.getInstanceMethod(prop)
|
succ = cls.getAReceiverNode().getAPropertyRead(prop)
)
}