papers
March 8, 2011 ยท View on GitHub
- 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
JVM bytecode static analysis tools
Scala source-level static analysis tools
analysis tools, i dunno which level
static analysis books
- Secure Programming with Static Analysis
- Principles of Program Analysis
- Path-Oriented Program Analysis
- Data-Flow Analysis