标签：java multithreading annotations static-analysis

我正在尝试编写规则来检测带注释的多线程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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。