GitHub repository: robertluo/tools.analyzer.jvm
Description: additional jvm-specific passes for tools.analyzer