checker-framework
checker-framework copied to clipboard
Rename `stores` to `inputs` for consistency with `AbstractAnalysis`