Splint

Шинна є інструментом для перевірки статично C програми для вразливостей і помилок програмування.
Шинна робить багато хто з традиційних перевірок небудь смачненьке, включаючи невикористані декларацій, невідповідностей типу, використання перед визначенням, недосяжного коду, ігноруються повертаються значень, шляхів виконання без повернення, ймовірно, нескінченні цикли, і провалюються випадках.
Більш потужні перевірки стало можливим завдяки додатковій інформації, представленої у вихідний код анотації. Анотації стилізовані коментарі, що припущення про документ функцій, змінних, параметрів і типів.
На додаток до перевірок, спеціально включені за анотації, багато з традиційних перевірок линт поліпшені за рахунок використання цієї додаткової інформації.
Чим більше зусиль введений в пояснювальних програм, кращих результатів перевірки. Репрезентативна крива зусилля вигод для використання шини показана на малюнку 1.
Шина призначена для гнучкої і дозволяють програмістам, щоб вибрати відповідні пункти на кривій зусилля вигод для конкретних проектів.
Оскільки різні перевірки включений і більше інформації дається в коді анотації кількість помилок, які можуть бути виявлені різко зростає.
Проблеми, виявлені шини включають в себе: