Checking annotation properties Structure of jpf-aprop is similar to jpf- core project, only jpf-aprop is significantly smaller and has a simpler file jpf.properties Annotation properties cover the following tasks: ◦ Unallowed assignment of null values (@Nonnull) ◦ Contracts (@Requires, @Ensures, @Invariant) ◦ Field access thread safety properties (@GuardedBy) ◦ Object mutability (@Const) ◦ and others…
{}