Clang-Static-Analyzer – вопросы и ответы

75
голосов
1
ответ
У меня есть следующий код (в проекте, отличном от ARC): - (void)loadWithCompleteBlock:(void (^)(void))complete { ... complete = [complete copy]; ... [[NSOperationQueue mainQueue] addObserver:self f...
6 лет, 4 месяца назад Alexander
74
голоса
0
ответов
Я использую библиотеку sds из redis и запускаю scan-build. Затем я получаю две ошибки, которые очень похожи. Я приведу одну из ошибок здесь. sds.c:92:22: warning: Out of bound memory access (access...
2 года, 4 месяца назад iveqy
49
голосов
1
ответ
Я пишу чекер для clang-tidy, который проверяет приведение между int и указателем. например, для кода: int val = 0xbaddeef; char* ptr = (char*)val; Я хочу исправить это: char* ptr = (char*)(uintptr_...
10 месяцев, 2 недели назад NingLee
48
голосов
0
ответов
Привет, поэтому я могу сопоставлять вызовы функций с помощью ASTMatchers. Но мне нужно найти инструкцию, в которой был инициализирован один из параметров этой функции. Как я могу это сделать? int m...
1 год, 7 месяцев назад Naimesh Maddula
76
голосов
2
ответа
Я пытаюсь использовать clang-tidy интеграцию с cmake , и я бы хотел передать аргумент -check . Я попытался добавить -DCMAKE_CXX_CLANG_TIDY="/usr/local/opt/llvm38/bin/clang-tidy-3.8;
3 года, 2 месяца назад Mike Ellery
48
голосов
0
ответов
Я хотел бы получить ограничения пути для каждой возможной ветки в программе. Скажем, у меня простая программа int x; cin >> x; if (x > 0) { cout << "Path A"; } else { cout << "...
1 год, 8 месяцев назад Albert
48
голосов
0
ответов
OCLint интегрирован в проект Xcode (в качестве цели Agregate). Но я пишу/редактирую правила OCLint в отдельных файлах (например, простые текстовые файлы), а затем создаю новые/измененные правила из...
2 года, 5 месяцев назад Yulia
49
голосов
1
ответ
Пожалуйста, пройдите, если кто-нибудь знает о Vera++ или статическом анализаторе. Как я могу реализовать сложный механизм проверки правил C++ как статический анализатор? Я хочу реализовать сложные ...
7 лет, 2 месяца назад Vikrant Ghai
67
голосов
1
ответ
Я пытаюсь проверить, являются ли входные аргументы для CallExpr равными null/nil в Objective C, используя Clang AST Я видел, что существует метод isNullPointerConstant(), который кажется, что он сд...
3 года, 6 месяцев назад Jeremy Kuah
69
голосов
1
ответ
У меня есть шаблонный шаблон SafeInt<T> (от Microsoft). Этот класс в теории может использоваться вместо целочисленного типа POD и может обнаруживать любые целые переполнения во время арифмети...
3 года, 9 месяцев назад 0x97c8
59
голосов
1
ответ
После обновления до iOS 4.1 (Xcode 3.2.4) я получаю предупреждения при использовании статического анализатора, который, как я полагаю, не получал при использовании 3.2.3 Теперь проект компилируется...
9 лет, 4 месяца назад fuzzygoat
88
голосов
1
ответ
Ниже приведены методы из DDAbstractDatabaseLogger CocoaLumberjack : - (void)createAndStartDeleteTimer { if ((deleteTimer == NULL) && (deleteInterval > 0.0) && (maxAge > 0.0)) ...
6 лет, 7 месяцев назад Heath Borders
48
голосов
1
ответ
Я новичок в API Clang AST Matcher. У меня есть наивный вопрос, который можно совместить с. или sth. ? лайк: functionDecl(hasName("a") or hasName("b")) или нам нужно использовать " addMatcher ", что...
2 года, 5 месяцев назад ignorer
82
голоса
1
ответ
В следующем коде я анализирую O [C] -c ode, используя clang API, а затем пытаюсь 1) Добавьте HTML-код и нижний колонтитул в код, чтобы его можно было просматривать в браузере 2) Получение номера ст...
6 лет, 6 месяцев назад user763410
89
голосов
1
ответ
В Clang Static Analyzer у меня есть возможность заразить любой SVal, который меня интересует. Однако мне интересно, как я могу испортить аргументы командной строки. Простой пример: int main(int arg...
1 год, 6 месяцев назад OSICracker
48
голосов
2
ответа
CFArrayRef refAllPeople = ABAddressBookCopyArrayOfAllPeople( addressBook ); NSArray * arPeople = (__bridge_transfer NSArray*)(refAllPeople); Когда я анализирую, это говорит о потенциальной утечке п...
6 лет, 10 месяцев назад J. Chang
58
голосов
1
ответ
Я обертываю определенный API C в Objective-C. У меня есть метод удобства, который принимает несколько CFTypeRef из процедурного API и возвращает объект-обертку из API ООП. Этот объект сохраняет про...
8 лет, 10 месяцев назад zoul
47
голосов
0
ответов
Ситуация: мой код использует класс указателя подсчета ссылок (по духу похожий на boost :: intrusive_ptr ) для управления его динамическими распределениями и предотвращения утечек памяти. AFAICT это...
1 год назад Jeremy Friesner
121
голос
1
ответ
Я хотел бы увидеть небольшой, но полный фрагмент кода, который заставит Clang static analyzer жаловаться. Моя мотивация в основном заключается в том, что я пытаюсь заставить ее работать над моим ко...
9 лет, 5 месяцев назад detly
76
голосов
1
ответ
Я пытаюсь запустить встроенный статический анализатор Xcode Clang в ObjectiveCProject. Я хочу знать, можно ли преобразовать вывод Obj-C Analyzer в другой формат, который может потреблять плагин сон...
6 лет, 7 месяцев назад user2506411
82
голоса
1
ответ
У меня есть этот код: - (BOOL)peoplePickerNavigationController:(ABPeoplePickerNavigationController *)peoplePicker shouldContinueAfterSelectingPerson:(ABRecordRef)personRecord property:(ABPropertyID...
7 лет, 3 месяца назад okysabeni
47
голосов
1
ответ
Я ищу способ вызвать предупреждение статического анализатора на конкретный путь кода, который обычно не происходит или указывает на необработанное состояние ошибки. Например, я хотел бы написать чт...
1 год, 1 месяц назад Droopycom
59
голосов
0
ответов
У меня есть файл ac, и я хочу написать checker, чтобы проверить, что каждая из функций в этом файле имеет прототип или нет. Может ли кто-нибудь помочь мне в этом. Я очень новичок в Clang. У меня ес...
6 лет, 1 месяц назад user1497818
67
голосов
4
ответа
Выполнение статического анализа с использованием как XCode 3.2, так и Инструмент анализа Nikita Zhuk Я часто сталкивался с этой парой предупреждений: Метод возвращает объект Objective-C со значение...
10 лет, 3 месяца назад Felixyz
82
голоса
3
ответа
Хотя теоретически возможно интегрировать внешний статический анализатор в Eclipse, как показано здесь (т.е. Для Cppcheck), мне было интересно, существует ли более современное решение, не требующее ...
3 года, 5 месяцев назад Teodor Nikolov
69
голосов
0
ответов
В этом коде после std :: make_shared статический анализатор больше не может находить ошибки (например, деление на ноль). Кто-нибудь имел подобную проблему или знает, почему это происходит? Кроме то...
8 месяцев, 2 недели назад Ognjen Plavsic
48
голосов
0
ответов
Для следующего фрагмента #include <stdio.h> enum index{ one = 5, two, three, four, five }; int fun(){ int arr[3] = {1,2,3}; int i = arr[index::one]; printf("%d\n", i); int j = arr[index::four...
1 год, 9 месяцев назад Hemant
47
голосов
0
ответов
Я пытаюсь написать checker, чтобы поймать потенциальные утечки дескрипторов (это на Windows: т. CloseHandle должен быть закрыт CloseHandle ). Поэтому checkPreCall() проверяет, вызывается ли CloseHa...
1 год, 8 месяцев назад Artem Razin
66
голосов
0
ответов
Я пытаюсь получить список всех SVal доступных в данной ProgramState как часть
1 год, 8 месяцев назад Increasingly Idiotic
58
голосов
0
ответов
Установщик двоичных окон для clang включает scan-build, но когда вы запускаете его с msbuild, ничего не происходит. Даже если я сделаю что-то вроде: "C:\Program Files\LLVM\bin\scan-build.bat" "C:\P...
1 год, 9 месяцев назад Jaime
66
голосов
2
ответа
У меня есть следующий метод в категории NSDictionary, чтобы сделать глубокую копию, которая отлично работает. Я просто обновился с Xcode 4.1 до 4.2, а функция Analyze дает два предупреждения анализ...
8 лет, 3 месяца назад Dejal
75
голосов
1
ответ
У нас есть анализаторы Roslyn, написанные для VS2013, хотя он официально не поддерживается MSFT. Мы решили обновить их до VS2015. API-интерфейсы сильно отличаются друг от друга, но нам это удалось....
3 года, 11 месяцев назад Joy George Kunjikkuru
67
голосов
1
ответ
Я пытаюсь использовать clang StatementMatcher для поиска переменных во вложенном цикле for(i=0;i<10;i++) for(j=0;j<10;j++) //I have i and j Я не уверен, может ли он обрабатывать любой уровень...
3 года, 9 месяцев назад Nhome
48
голосов
2
ответа
Можно ли получить результат в формате XML из анализатора Clang scan-build? В настоящее время следующая команда генерирует вывод в формате html для просмотра в webbrowser. scan-build xcodebuild -con...
6 лет, 7 месяцев назад user2506411
47
голосов
0
ответов
Здесь приведенный тестовый пример: #include <QTimer> #include <QApplication> #include <QtDebug> int main(int argc, char *argv[]) { QApplication app(argc, argv); QObject boo; QTime...
1 год, 10 месяцев назад user1244932
58
голосов
0
ответов
У меня есть новый пользовательский checker (TransactionChecker.cpp). Вот TransacationState: struct TransactionState { private: enum Kind { OpenedT, StartedT, FinalizedT, ClosedT } K; TransactionSta...
2 года назад cehptr
75
голосов
0
ответов
Коллега видит странное предупреждение статическим анализатором clang (фактически из проверки clang-check). Этот код: #include <regex> int main() { std::regex_match("jee", std::regex("lol")); ...
3 года назад lstipakov
57
голосов
2
ответа
У меня есть простой метод в моей модели, чтобы создать объект NSDictionary, содержащий его свойства. К сожалению, этот метод обнаруживает, что "Анализ" является утечкой памяти: Потенциальная утечка...
7 лет, 7 месяцев назад dvkch
59
голосов
3
ответа
Пожалуйста, есть ли какие-либо инструменты, которые будут анализировать мой исходный код, чтобы перечислять все зависимости класса и функции для моего проекта (C, С#, С++ или Java) и сохранять его ...
9 лет, 1 месяц назад ChinCo
50
голосов
1
ответ
Я работаю над настраиваемой проверкой для статического анализатора clang, который проверяет неправильное использование API-интерфейсов CPython. Я сделал некоторый прогресс, но я застрял: как я могу...
3 года, 4 месяца назад Bradford Larsen
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема