适用于Java的跨类可扩展静态分析工具？

我正在尝试编写规则来检测带注释的多线程java程序中的一些错误.作为玩具示例,我想检测是否有任何使用@ThreadSafe注释的方法调用没有这样注释的方法,而没有同步.我正在寻找一种可以让我编写这样一个测试的工具.

我看过源分析器,比如CheckStyle和PMD,他们并没有真正的跨类分析功能.像FindBugs和JLint这样的字节码分析器似乎很难扩展.

我会解决一个更简单的解决方案,但也会遇到同样的困难：编写一个自定义规则来检查每个覆盖方法是否都使用@Override进行注释.

解决方法:

你试过FindBugs吗？它实际上支持一组annotations for thread safety(与Java Concurrency in Practice中使用的相同).此外,您可以编写自己的自定义规则.我不确定你是否可以进行跨阶段分析,但我相信如此.

Peter Ventjeer有一个concurrency checking tool(使用ASM)来检测这样的东西.我不确定他是否公开发布,但他可以帮助你.

我相信用于线程安全的Coverity’s静态/动态分析工具会像这样进行检查.

标签：java,multithreading,annotations,static-analysis
来源： https://codeday.me/bug/20190622/1260909.html