scan-build-3.7 - онлайн у хмарі

ПРОГРАМА:

ІМ'Я

сканування-збірка — Статичний аналізатор Clang

СИНТАКСИС

сканування-збірка [-ohkvV] [-analyze-headers] [-enable-checker [checker_name]]
[-вимкнути-перевірку [checker_name]] [--допомога] [--довідкові перевірки]
[--html-заголовок [=назва]] [--продовжуй] [-пліст] [-plist-html] [--помилки статусу]
[--use-c++ [=шлях_компілятора]] [--use-cc [=шлях_компілятора]] [--перегляд]
[- обмеження [модель]] [-maxloop N] [-звіти про відсутність збоїв] [- статистика]
[-магазин [модель]] Команда build_command [build_options]

ОПИС

сканування-збірка це сценарій Perl, який викликає статичний аналізатор Clang. Опції, які використовуються
сканування-збірка або аналізатором з'являються першими, а потім Команда build_command і будь-який
build_options зазвичай використовується для побудови цільової системи.

Статичний аналізатор використовує довгий список алгоритмів перевірки, див КОНТРОЛИ. Вихід може бути
написаний у стандартному форматі .plist та/або HTML.

Підтримуються такі параметри:

-analyze-headers
Також аналізуйте функції у файлах #included.

-enable-checker checker_name, -вимкнути-перевірку checker_name
Увімкнути / вимкнути checker_name, Побачити КОНТРОЛИ.

-h, --допомога
Відобразити це повідомлення.

--довідкові перевірки
Список шашок за замовчуванням, див КОНТРОЛИ.

--html-заголовок[=назву]
Вкажіть заголовок, який використовується на створених HTML-сторінках. Назва за замовчуванням створюється, якщо
назву не вказано.

-k, --продовжуй
Додайте опцію «Продовжуйте». Команда build_command. Наразі підтримує make і
xcodebuild. Це зручний варіант; цю поведінку можна вказати безпосередньо
використання параметрів збірки.

-o Цільовий каталог для файлів звітів HTML. Підкаталоги будуть створені за потребою
представляють окремі виклики аналізатора. Якщо цей параметр не вказано, а
каталог створюється в / Tmp (TMPDIR на Mac OS X) для зберігання звітів.

-пліст Виведіть результати у вигляді набору файлів .plist. (За замовчуванням вихід сканування-збірка is
набір файлів HTML.)

-plist-html
Виведіть результати у вигляді набору файлів HTML і .plist

--помилки статусу
Встановіть статус виходу на 1, якщо виявлено потенційні помилки, і на 0 в іншому випадку. За замовчуванням вихід
статус сканування-збірка це повернув Команда build_command.

--use-c++[=шлях_компілятора]
Вгадайте компілятор за замовчуванням для вашого коду C++ і Objective-C++. Використовуйте цю опцію, щоб
вказати альтернативний компілятор.

--use-cc[=шлях_компілятора]
Вгадайте компілятор за замовчуванням для вашого коду C і Objective-C. Використовуйте цю опцію, щоб
вказати альтернативний компілятор.

-v Детальний вихід із сканування-збірка і аналізатор. Другий і третій v збільшується
багатослівність.

-V, --перегляд
Перегляньте результати аналізу у веб-переглядачі після завершення збірки.

- обмеження [модель]
Вкажіть механізм обмеження, який використовується аналізатором. За замовчуванням модель «діапазон».
використаний. Указуючи 'basic', використовується простіша, менш потужна модель обмежень
шашка-0.160 і раніше.

-maxloop N
Перш ніж відмовитися, вкажіть, скільки разів блок можна відвідати. За замовчуванням 4.
Збільште для більш повного покриття за ціною швидкості.

-звіти про відсутність збоїв
Не створюйте підкаталог 'failures', який містить звіти про збій аналізатора та
попередньо оброблені вихідні файли.

- статистика Генерує статистику відвідувань для проекту, що аналізується.

-магазин [модель]
Вкажіть модель магазину, яку використовує аналізатор. За замовчуванням модель магазину «регіон».
використовується. 'region' визначає модель зберігання, чутливу до полів. Користувачі також можуть вказати
"basic", який набагато менш точний, але може швидше аналізувати код. "основний" був
модель магазину за замовчуванням для Checker-0.221 і раніше.

EXIT СТАТУС

сканування-збірка повертає значення, яке повертає Команда build_command якщо не --помилки статусу or --продовжуй
використовується.

КОНТРОЛИ

Перелічені нижче шашки можна ввімкнути/вимкнути за допомогою -enable-checker та
-вимкнути-перевірку варіанти. За замовчуванням запускається група шашок, якщо вона явно не вимкнена.
Які саме шашки складають групу за замовчуванням, залежить від операційної системи
використання; вони перераховані з --довідкові перевірки.

core.AdjustedReturnValue
Перевірте, чи відрізняється значення, що повертається викликом функції, ніж значення, що викликає
очікує (наприклад, від викликів через покажчики функцій).

core.AttributeNonNull
Перевірте наявність нульових покажчиків, які передаються як аргументи функції, аргументами якої є
позначений атрибутом 'nonnull'.

core.CallAndMessage
Перевірте логічні помилки для викликів функцій і виразів повідомлень Objective-C
(наприклад, неініціалізовані аргументи, нульові покажчики функцій).

core.DivideZero
Перевірити ділення на нуль.

core.NullDereference
Перевірте розіменування нульових покажчиків.

core.StackAddressEscape
Переконайтеся, що адреси пам’яті стека не виходять із функції.

core.UndefinedBinaryOperatorResult
Перевірка невизначених результатів бінарних операторів.

core.VLASize
Перевірте оголошення VLA невизначеного або нульового розміру.

core.builtin.BuiltinFunctions
Оцінити вбудовані функції компілятора, напр розподілити†

core.builtin.NoReturnFunctions
Оцініть функції «паніки», які, як відомо, не повертаються до абонента.

core.uninitialized.ArraySubscript
Перевірте наявність неініціалізованих значень, які використовуються як індекси масиву.

core.uninitialized.Assign
Перевірте наявність неініціалізованих значень.

ядро.неініціалізоване.Гілку
Перевірте наявність неініціалізованих значень, які використовуються як умови розгалуження.

core.uninitialized.CapturedBlockVariable
Перевірте наявність блоків, які захоплюють неініціалізовані значення.

core.uninitialized.UndefReturn
Перевірте, чи не повертаються неініціалізовані значення абоненту.

мертвий код.DeadStores
Перевірте наявність значень, збережених у змінних, які потім ніколи не читаються.

debug.DumpCFG
Відображення графіків потоку керування.

debug.DumpCallGraph
Показати графік викликів.

debug.DumpDominators
Надрукуйте дерево домінування для заданого графіка потоку керування.

debug.DumpLiveVars
Роздрукуйте результати аналізу змінних в реальному часі.

debug.Stats
Видавати попередження зі статистикою аналізатора.

debug.TaintTest
Позначте зіпсовані символи як такі.

debug.ViewCFG
Перегляньте графіки потоку керування за допомогою GraphViz.

debug.ViewCallGraph
Перегляньте графік викликів за допомогою GraphViz.

llvm.Умовності
Перевірте код на наявність умов кодової бази LLVM.

osx.API Перевірте, чи правильно використовуються різні API Mac OS X.

osx.AtomicCAS
Оцініть дзвінки до OSAtomic функції.

osx.SecKeychainAPI
Перевірте належне використання API Secure Keychain.

osx.cocoa.AtSync
Перевірте наявність нульових покажчиків, які використовуються як мьютекси для @synchronized.

osx.cocoa.ClassRelease
Перевірте, чи не надсилаються "retain", "release" або "autorelease" безпосередньо до класу.

osx.cocoa.IncompatibleMethodTypes
Попереджати про сигнатури методу Objective-C з несумісністю типів.

osx.cocoa.NSAutoreleasePool
Попереджати про неоптимальне використання NSAutoreleasePool в режимі Objective-C GC.

osx.cocoa.NSError
Перевірте використання параметрів NSError**.

osx.cocoa.NilArg
Перевірте наявність заборонених аргументів nil для викликів методів Objective-C.

osx.cocoa.RetainCount
Перевірте наявність витоків і неправильне керування підрахунком посилань.

osx.cocoa.SelfInit
Перевірте, чи правильно ініціалізовано 'self' всередині методу ініціалізації.

osx.cocoa.UnusedIvars
Попереджайте про приватні ivars, які ніколи не використовуються.

osx.cocoa.VariadicMethodTypes
Перевірте, чи не передаються типи, які не є Objective-C, змінним методам, які лише очікують
Типи Objective-C.

osx.coreFoundation.CFError
Перевірте використання параметрів CFErrorRef*.

osx.coreFoundation.CFNumber
Перевірте правильне використання CFNumberCreate†

osx.coreFoundation.CFRetainRelease
Перевірте наявність нульових аргументів для CFRetain(), CFRеліз(), і CFMakeCollectable†

osx.coreFoundation.containers.OutOfBounds
Перевіряє наявність індексу за межами під час використання CFArray API.

osx.coreFoundation.containers.PointerSizedValues
Попереджає, якщо CFArray, CFDictionaryабо CFSet створюються зі значеннями, які не мають розміру вказівника.

security.FloatLoopCounter
Попередження про використання значення з плаваючою комою як лічильника циклу (CERT: FLP30-C, FLP30-CPP).

security.insecureAPI.UncheckedReturn
Попереджати про використання функцій, повернуті значення яких потрібно завжди перевіряти.

security.insecureAPI.getpw
Попереджати про використання getpw†

security.insecureAPI.gets
Попереджати про використання отримує†

security.insecureAPI.mkstemp
Попередити, коли mkstemp() передається менше ніж 6 X у рядку форматування.

security.insecureAPI.mktemp
Попереджати про використання mktemp†

security.insecureAPI.rand
Попереджати про використання рядок(), випадковий(), і пов'язані з ними функції.

security.insecureAPI.strcpy
Попереджати про використання strcpy() і strcat†

security.insecureAPI.vfork
Попереджати про використання vfork†

unix.API
Перевірте виклики різних функцій UNIX/Posix.

unix.Malloc
Перевірте, чи немає витоків пам’яті, подвійне звільнення та використання після звільнення.

unix.cstring.BadSizeArg
Перевірте аргумент розміру, переданий у рядкові функції C, на наявність поширених помилок
моделі.

unix.cstring.NullArg
Перевірте, чи не передаються нульові покажчики як аргументи рядковим функціям C.

приклад

сканування-збірка -o /tmp/myhtmldir зробити -j4

Наведений вище приклад призводить до того, що звіти аналізу зберігаються в підкаталозі
/tmp/myhtmldir і бігти зробити з -j4 варіант. Створюється інший підкаталог
щоразу сканування-збірка аналізує проект. Аналізатор повинен підтримувати більшість паралельних збірок,
але не розподілені збірки.

AUTHORS

сканування-збірка написав Тед Кременек. Документацію надав
Джеймс К. Лоуден[захищено електронною поштою]>.

Використовуйте scan-build-3.7 онлайн за допомогою служб onworks.net