AnnaBot: A Static Verifier for Java Annotation Usage

Table 1

Usage results.

Codebase	Kloc	Classes Entity/Total	Errors	Time (Seconds)
seambay	2.27	7, 22	0	0.6
TCP	26.8	94/156	0	∼3 (see Section 4.1)