/**
 * @name Wait with two locks held
 * @description Calling 'Object.wait' while two locks are held may cause deadlock.
 * @kind problem
 * @problem.severity error
 * @precision low
 * @id java/wait-with-two-locks
 * @tags reliability
 *       correctness
 *       concurrency
 *       external/cwe/cwe-833
 */

import java

/** A `synchronized` method body or statement. */
class Synched extends Stmt {
  Synched() {
    this.getParent().(Method).isSynchronized() or
    this instanceof SynchronizedStmt
  }
}

from MethodCall ma, SynchronizedStmt synch
where
  ma.getMethod().hasName("wait") and
  ma.getMethod().getDeclaringType().hasQualifiedName("java.lang", "Object") and
  ma.getEnclosingStmt().getEnclosingStmt*() = synch and
  synch.getEnclosingStmt+() instanceof Synched
select ma, "This calls 'Object.wait()' with two locks held."