Envoyer par SMS: Identifying and Documenting False Positive Patterns Generated by Static Code Analysis Tools