• On static analysis for expressive pattern matching
• Static type analysis of pattern matching by abstract interpretation
• State exploration of Scala actor programs
• Encoding Scala programs for the Boogie verifier
• On satisfiability modulo computable functions

existing software

JVM bytecode analysis libraries

• Watson Libraries for Analysis
• Apache BCEL manual
• ASM bytecode framework

JVM bytecode static analysis tools

• FindBugs manual
• ClassUtil

Scala source-level static analysis tools

• scalapatterns
• ENSIME
• Scala Refactoring

analysis tools, i dunno which level

• Java PathFinder
• sav07
• Soot optimization framework
• PMD
• COMFUSY
• Bogor
• bddbddb

static analysis books

• Secure Programming with Static Analysis
• Principles of Program Analysis
• Path-Oriented Program Analysis
• Data-Flow Analysis

JVM books

• Java Virtual Machine Specification, 2nd edition
• Programming for the Java Virtual Machine
• Inside the Java 2 Virtual Machine
• Java Virtual Machine
• Java and the Java Virtual Machine
• Covert Java
• Decompiling Java