Coverity Scan:Java的用户模型-重写Java.lang类的资源泄漏检查器模型

我在一个项目中使用Coverity来扫描Java卡源代码。由于Java卡是Java的一个子集，Coverity基本上理解Java，因此确实可以用它扫描Java卡源代码，但它无法正确地检测大量内容。其中之一就是对象的资源分配。由于Java卡小程序是在智能卡上运行的，所以基本上所有对象都是在非易失性内存中使用“new”关键字创建的。因此，我想使用Primitives API将Java类的对象定义为新的资源，以便从中创建用户模型文件进行分析。我已经能够将Java卡API的类和方法建模为这样的资源。我还想对java.lang中的类执行此操作。我在java.lang.Object上试过，结果也很好。但我还想将新创建的数组定义为资源。我试图找出如何使用Primitives API覆盖java数组的泄漏检查器行为，但没有找到有效的解决方案（用户模型文件没有检查数组创建，使用callgraph度量验证了这一点）。我想知道这是否是一个覆盖性的限制，或者是否确实可以使用原语API将java数组建模为资源