Birgitta Böckeler 补充讨论了三种用于静态代码分析的传感器，重点在于检查并强制实施更好的模块化。用于依赖检查的计算型传感器在强制执行规则方面表现良好，但规则本身存在局限。构建用于耦合数据的计算型传感器效果平平。相比之下，通过提示推断型传感器审查模块化更为有效。