AdaControl — утилита, которая находит конструкции в коде на Ada и проверяет их соответствие правилам.
