Catching secure annotation violation