| So, we have to wait for the next version of Intel Parallel Lint. | Будем ждать следующую версию Intel Parallel Lint. |
| The analyzer is a subsystem of Intel C++ compiler and is called Parallel Lint. | Анализатор встроен в качестве подсистемы в компилятор Intel C++ и имеет название Parallel Lint. |
| Unfortunately, Intel Parallel Lint analyzer did not manage to detect any error in Tachyon project. | К сожалению, анализатор Intel Parallel Lint не выявил ни одной ошибки в проекте Tachyon. |
| The post must be of a medium size and show what warnings are generated by Intel Parallel Lint at various stages of modifying the parallel code of Tachyon project. | Пост должен был быть среднего размера и показать, какие предупреждения выдает Intel Parallel Lint на различных этапах модификации параллельного кода в проекте Tachyon. |
| We decided to make a separate post to discuss the analysis of Tachyon project with Parallel Lint in order not to overburden the reader with diverse information. | Было принято решение вынести рассмотрение проверки проекта Tachyon с помощью Parallel Lint в отдельный пост, чтобы не перегружать читателя разноплановой информацией. |
| The uses of the information obtained from the analysis vary from highlighting possible coding errors (e.g., the lint tool) to formal methods that mathematically prove properties about a given program (e.g., its behaviour matches that of its specification). | Способы использования полученной в ходе анализа информации также различны - от выявления мест, возможно содержащих ошибки (утилиты типа Lint), до формальных методов, позволяющих математически доказать какие-либо свойства программы (например, соответствие поведения спецификации). |