Describir: Identifying and Documenting False Positive Patterns Generated by Static Code Analysis Tools