Java Card - 静态源代码分析工具

Question

存在一些非常有趣的工具，可以提供项目的静态源代码分析。但是，我没有找到任何Java Card工具。 Java Card有一些非常具体的问题，尤其是：

• 内存使用问题（RAM与EEPROM）
• 签名字节（if (p1 > 0) { ... }）
的危险比较
• 错误使用new
• ...

您是否知道可以解决这些问题的工具？