Продолжаем нашу серию заметок по статическому анализатору кода Kiuwan. Данный класс инструментов исследует текст программ на предмет выявления в них каких-то известных шаблонов уязвимостей, ошибок, неточностей, неэффективных действий и многого другого. Откуда берутся эти шаблоны, мы писали в [прошлый раз][1]. Для каждого языка программирования эти шаблоны будут свои в силу понятных отличий в синтаксисе, но будут и общие правила качественного кода, типа избегать использования повторяющихся блоков кода. Однако, не всегда этих шаблонов и правил хватает для оценки определенных качеств написанной программы. В каждом конкретном случае может понадобиться свой определяющий параметр. Например, нам важно убедиться, нет ли в написанной банковской программе скрытых транзакций копеечек на чей-нибудь счет. Или проверить, что не используются никакие недопустимые внешние библиотеки. В этом случае, нам просто необходимо иметь возможность заставить анализатор проверять не только штатные шаблоны, но и наши дополнительные правила. ![][2] [Читать дальше →][3]

[1]: https://habrahabr.ru/company/softmart/blog/275037/
[2]: https://habrastorage.org/files/5b4/9bc/d51/5b49bcd512234304b16f45a791de3158.png
[3]: https://habrahabr.ru/post/277291/#habracut