– програма, яка перевіряє правильність написання програмного коду і його відповідність стандартам.