Merge pull request #12969 from atorralba/atorralba/java/fix-model-generator-sinks-instance-parameters

Java: Fix sink model generator for instance parameters
This commit is contained in:
Tony Torralba
2023-05-02 10:10:59 +02:00
committed by GitHub

View File

@@ -236,7 +236,7 @@ predicate apiSource(DataFlow::Node source) {
string asInputArgumentSpecific(DataFlow::Node source) {
exists(int pos |
source.(DataFlow::ParameterNode).isParameterOf(_, pos) and
result = "Argument[" + pos + "]"
if pos >= 0 then result = "Argument[" + pos + "]" else result = qualifierString()
)
or
source.asExpr() instanceof J::FieldAccess and