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

67
голосов
1
ответ
У меня есть C-код, который выглядит следующим образом. Известно, что функция takeString() вступает во владение аргументом malloc-ed указателя. Статический анализатор Clang будет жаловаться, что str...
4 месяца назад GoZoner
55
голосов
2
ответа
У меня есть случай, когда анализатор XCode помещает действительный код. У нас есть категория NSString с методом isEmpty который проверяет, является ли строка пустой, включая проверку нулевой строки...
4 месяца назад RehcsifMit
55
голосов
1
ответ
По какой-то причине Clath Static Analyzer в моем Xcode ничего не жалуется. Я сделал большие ошибки управления памятью, чтобы попробовать (выделить и не выпускать), но он никогда не находит их и не ...
4 месяца назад dontWatchMyProfile
131
голос
5
ответов
У меня есть кусок кода Objective-C, который выглядит следующим образом: - (NSString *)copyData:(NSData *)data { NSString *path = [[[self outputDirectory] stringByAppendingPathComponent:@"archive"] ...
4 месяца назад mipadi
55
голосов
1
ответ
Я пытаюсь добавить свою собственную проверку, чтобы использовать статический анализатор . Следуя инструкциям по добавлению проверки для clang , я сделал следующее: Написал скелетную проверку в MyCh...
4 месяца назад Increasingly Idiotic
77
голосов
1
ответ
Я анализирую проект Objective-C iPhone с помощью статического анализатора LLVM/Clang. Я продолжаю получать две сообщенные ошибки, но я уверен, что код верен. 1) Метод удобства. + (UILabel *)simpleL...
4 месяца, 1 неделя назад pirags
67
голосов
3
ответа
Я установил окончательную версию Xcode 4.2 для компиляции для iOS 5. Мы используем Jenkins для CI и запускаем Clang scan-build со страницы проекта llvm.org. (Версия 258) Проект настроен на использо...
4 месяца, 2 недели назад ThWee
55
голосов
1
ответ
Я все еще новичок и изучаю способ написания шашек для статического анализатора clang. Мне нужно сделать проверку на Linux, и я прочитал много материалов из блогов и веб-сайтов, но почти все они осн...
4 месяца, 2 недели назад Annie Liao
95
голосов
1
ответ
У меня есть предупреждения о 500+ памяти после запуска статического анализатора. Это что-то мне нужно беспокоиться и тратить время на исправление, или это действительно не поможет улучшить сбой при...
4 месяца, 2 недели назад VTS12
106
голосов
1
ответ
В настоящее время я использую Xcode 3.2.1 для изучения iPhone SDK и задаюсь вопросом, можно ли использовать Clang-LLVM и статический анализатор, чтобы помочь в отладке моего кода. В настоящее время...
4 месяца, 3 недели назад fuzzygoat
56
голосов
2
ответа
Я получил предупреждение Analyzer Аргумент в выражении сообщения является неинициализированным значением с небольшой оранжевой стрелкой под второй квадратной скобкой на второй строке следующего код...
4 месяца, 3 недели назад HurkNburkS
96
голосов
2
ответа
У меня есть сборка, которая использует clang-tidy через cmake: set_target_properties(project PROPERTIES ... CXX_CLANG_TIDY "/usr/bin/clang-tidy" "-checks=modernize-*,readability-*,performance-*" "-...
4 месяца, 3 недели назад Mac
55
голосов
2
ответа
Предположим, мы хотим создать свои собственные функции CFRetain и CFRelease , называемые MyRetain и MyRelease . Для последнего мы можем просто написать: void MyRelease(CFTypeRef __attribute__((cf_c...
4 месяца, 3 недели назад Werner Jainek
55
голосов
1
ответ
Привет, У меня есть проект XCode, который является ARCd, но использует некоторые сторонние (AFNetworking) классы, которые не являются ARCd. Я указал флаг -fno-objc-arc для этих файлов, однако, когд...
4 месяца, 3 недели назад MandyW
87
голосов
1
ответ
Статический анализатор Clang оказался намного более надежным, чем PC-Lint и другие варианты Lint и аналогичное программное обеспечение для сбора актуальных проблем (что не удивительно, когда вы чит...
5 месяцев назад 0xC0000022L
94
голоса
1
ответ
Есть ли инструмент, который может выполнять статический анализ и находить возможные варианты прямого и возможного нулевого разыменования. Я знаю, что покрытие довольно часто используется, а также п...
5 месяцев назад Lalat
57
голосов
1
ответ
При анализе некоторого кода, зависящего от Boost, через статический анализатор Clang, я получил следующую ошибку: Ошибка логики Указанный указатель объекта C++ равен null use.hpp 22 из следующего к...
5 месяцев назад TemplateRex
67
голосов
2
ответа
Я хотел бы знать, есть ли какой-либо учебник по использованию инструмента построения xcode и anylyse... pls предоставляют мне ссылки, которые указывают на него. Спасибо за любую помощь
5 месяцев назад user198725878
79
голосов
1
ответ
Я установил Jenkins CI на сервере Mac для выполнения автоматических сборок/анализа для проектов iOS с использованием модулей Xcode Build и Clang Scan-Build. У меня есть уведомления по электронной п...
5 месяцев назад A Random User
55
голосов
2
ответа
Я получил этот код: - (void)saveImageWithData:(NSData*)jpeg andDictionary:(NSDictionary*)dicRef andName:(NSString*)name { self.capturedImageName = name; self.dict = dicRef; NSLog(@"%@",dicRef); CGI...
5 месяцев, 1 неделя назад Pochi
97
голосов
1
ответ
При попытке распечатать первый аргумент командной строки: std::cout << argv[0] << std::endl; clang-tidy дает предупреждение: предупреждение: 'не использовать арифметику указателей' из [...
5 месяцев, 1 неделя назад user7119460
87
голосов
1
ответ
У меня есть следующий код (в проекте, отличном от ARC): - (void)loadWithCompleteBlock:(void (^)(void))complete { ... complete = [complete copy]; ... [[NSOperationQueue mainQueue] addObserver:self f...
6 лет, 10 месяцев назад Alexander
86
голосов
0
ответов
Я использую библиотеку sds из redis и запускаю scan-build. Затем я получаю две ошибки, которые очень похожи. Я приведу одну из ошибок здесь. sds.c:92:22: warning: Out of bound memory access (access...
2 года, 10 месяцев назад iveqy
56
голосов
1
ответ
Я пишу чекер для clang-tidy, который проверяет приведение между int и указателем. например, для кода: int val = 0xbaddeef; char* ptr = (char*)val; Я хочу исправить это: char* ptr = (char*)(uintptr_...
1 год, 4 месяца назад NingLee
55
голосов
0
ответов
Привет, поэтому я могу сопоставлять вызовы функций с помощью ASTMatchers. Но мне нужно найти инструкцию, в которой был инициализирован один из параметров этой функции. Как я могу это сделать? int m...
2 года, 1 месяц назад Naimesh Maddula
88
голосов
2
ответа
Я пытаюсь использовать clang-tidy интеграцию с cmake , и я бы хотел передать аргумент -check . Я попытался добавить -DCMAKE_CXX_CLANG_TIDY="/usr/local/opt/llvm38/bin/clang-tidy-3.8;
3 года, 9 месяцев назад Mike Ellery
56
голосов
0
ответов
Я хотел бы получить ограничения пути для каждой возможной ветки в программе. Скажем, у меня простая программа int x; cin >> x; if (x > 0) { cout << "Path A"; } else { cout << "...
2 года, 2 месяца назад Albert
56
голосов
0
ответов
OCLint интегрирован в проект Xcode (в качестве цели Agregate). Но я пишу/редактирую правила OCLint в отдельных файлах (например, простые текстовые файлы), а затем создаю новые/измененные правила из...
3 года назад Yulia
56
голосов
1
ответ
Пожалуйста, пройдите, если кто-нибудь знает о Vera++ или статическом анализаторе. Как я могу реализовать сложный механизм проверки правил C++ как статический анализатор? Я хочу реализовать сложные ...
7 лет, 8 месяцев назад Vikrant Ghai
78
голосов
1
ответ
Я пытаюсь проверить, являются ли входные аргументы для CallExpr равными null/nil в Objective C, используя Clang AST Я видел, что существует метод isNullPointerConstant(), который кажется, что он сд...
4 года, 1 месяц назад Jeremy Kuah
79
голосов
1
ответ
У меня есть шаблонный шаблон SafeInt<T> (от Microsoft). Этот класс в теории может использоваться вместо целочисленного типа POD и может обнаруживать любые целые переполнения во время арифмети...
4 года, 3 месяца назад 0x97c8
68
голосов
1
ответ
После обновления до iOS 4.1 (Xcode 3.2.4) я получаю предупреждения при использовании статического анализатора, который, как я полагаю, не получал при использовании 3.2.3 Теперь проект компилируется...
9 лет, 10 месяцев назад fuzzygoat
102
голоса
1
ответ
Ниже приведены методы из DDAbstractDatabaseLogger CocoaLumberjack : - (void)createAndStartDeleteTimer { if ((deleteTimer == NULL) && (deleteInterval > 0.0) && (maxAge > 0.0)) ...
7 лет, 1 месяц назад Heath Borders
56
голосов
1
ответ
Я новичок в API Clang AST Matcher. У меня есть наивный вопрос, который можно совместить с. или sth. ? лайк: functionDecl(hasName("a") or hasName("b")) или нам нужно использовать " addMatcher ", что...
3 года назад ignorer
95
голосов
1
ответ
В следующем коде я анализирую O [C] -c ode, используя clang API, а затем пытаюсь 1) Добавьте HTML-код и нижний колонтитул в код, чтобы его можно было просматривать в браузере 2) Получение номера ст...
7 лет назад user763410
103
голоса
1
ответ
В Clang Static Analyzer у меня есть возможность заразить любой SVal, который меня интересует. Однако мне интересно, как я могу испортить аргументы командной строки. Простой пример: int main(int arg...
2 года назад OSICracker
55
голосов
2
ответа
CFArrayRef refAllPeople = ABAddressBookCopyArrayOfAllPeople( addressBook ); NSArray * arPeople = (__bridge_transfer NSArray*)(refAllPeople); Когда я анализирую, это говорит о потенциальной утечке п...
7 лет, 4 месяца назад J. Chang
67
голосов
1
ответ
Я обертываю определенный API C в Objective-C. У меня есть метод удобства, который принимает несколько CFTypeRef из процедурного API и возвращает объект-обертку из API ООП. Этот объект сохраняет про...
9 лет, 4 месяца назад zoul
55
голосов
0
ответов
Ситуация: мой код использует класс указателя подсчета ссылок (по духу похожий на boost :: intrusive_ptr ) для управления его динамическими распределениями и предотвращения утечек памяти. AFAICT это...
1 год, 6 месяцев назад Jeremy Friesner
140
голосов
1
ответ
Я хотел бы увидеть небольшой, но полный фрагмент кода, который заставит Clang static analyzer жаловаться. Моя мотивация в основном заключается в том, что я пытаюсь заставить ее работать над моим ко...
9 лет, 11 месяцев назад detly
Чтобы , пожалуйста,
Выберите тему жалобы:

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