DigiD case study

From Arnout Engelen

• DigiD benchmarks

Looking at the DigiD-code manually, i broke down the required annotations:

• non-nullness-related (~5)
  • Exception (~2)
• 'simple' non-null parameters at methods (~15)
• assumptions about libraries (~2)
• method returns nonnull (~3)
• non_null initialized field (~6)
• 'bug' (~1)