Merge pull request #173 from aschackmull/java/mockito-verify2

semmle-qlci · web-flow · commit 35a83bf0cb5c · 2018-09-10T14:31:43.000+01:00
Approved by yh-semmle
diff --git a/java/ql/src/semmle/code/java/frameworks/Mockito.qll b/java/ql/src/semmle/code/java/frameworks/Mockito.qll
@@ -397,7 +397,7 @@ class MockitoSettableField extends Field {
 class MockitoMockMethod extends Method {
   MockitoMockMethod() {
     this.getDeclaringType().hasQualifiedName("org.mockito", "Mockito") and
-    this.hasName("mock")
+    (this.hasName("mock") or this.hasName("verify"))
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -397,7 +397,7 @@ class MockitoSettableField extends Field {`
`397`	`397`	`class MockitoMockMethod extends Method {`
`398`	`398`	`MockitoMockMethod() {`
`399`	`399`	`this.getDeclaringType().hasQualifiedName("org.mockito", "Mockito") and`
`400`		`- this.hasName("mock")`
	`400`	`+ (this.hasName("mock") or this.hasName("verify"))`
`401`	`401`	`}`
`402`	`402`	`}`
`403`	`403`