Skip to content

Commit 4473ccd

Browse files
committed
Java: Add Mockito.verify to MockitoMockMethod.
1 parent 4051e34 commit 4473ccd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

java/ql/src/semmle/code/java/frameworks/Mockito.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -397,7 +397,7 @@ class MockitoSettableField extends Field {
397397
class MockitoMockMethod extends Method {
398398
MockitoMockMethod() {
399399
this.getDeclaringType().hasQualifiedName("org.mockito", "Mockito") and
400-
this.hasName("mock")
400+
(this.hasName("mock") or this.hasName("verify"))
401401
}
402402
}
403403

0 commit comments

Comments
 (0)