GitHub repository: spotbugs/spotbugs-jspecify-plugin
Primary language: Java
Description: A plugin that works with the new standard annotation definitions artifact