L'objectif de cette milestone est d'ajouter quelques verfications statiques supplémentaire, qui pourrait aider le développeur à identifier la provenance d'un bug.

Ces verifications peuvent entrainer des erreurs, comme pour les dépacements de capacités des nombre entiers, ou des warning comme dans le cas de retour de pointeur local.