Is there any way for me to statically analyze Scala code for locking / synchronization issues using the JCIP or JSR-305 annotations (e.g. @GuardedBy).
Both FindBugs and IntelliJ IDEA have excellent support for these annotations when checking Java code, but I haven't had much luck getting them to work with Scala code. When I've tried applying these annotations in my Scala code, the code compiles fine but both tools fail to flag violations in intentionally-buggy programs.
I know that FindBugs analyzes JVM bytecode, so perhaps the annotations aren't compiling to the expected output when applied in Scala.