0
ответов

Найти самую длинную цепочку вызовов в решении Visual Studio

Учитывая, что у нас есть много классов, которые реализуют интерфейсы в решении для ряда проектов. Есть ли способ найти самые длинные цепочки вызовов в решении, используя статический анализ? За ...
вопрос задан: 16 January 2019 08:00
0
ответов

Как сгенерировать график зависимости программы для программы C?

Я хочу сгенерировать график зависимости программы (PDG) из исходного кода C. Я нашел статьи, объясняющие, как это сделать, но все использовали коммерческий инструмент CodeSurfer. Существуют ли какие-либо бесплатные инструменты для этого?
вопрос задан: 23 December 2018 00:41
0
ответов

ClassCastException при преобразовании DTMManagerDefault в DTMManager во время создания maven jaxb codegen

У меня странная проблема при попытке запустить сборку maven, в которой для генерации кода JAXB используется плагин jaxb2 (см. Трассировку стека ниже). Лучшее, что я могу понять, это то, что есть некоторая реализация ...
вопрос задан: 3 November 2017 08:51
0
ответов

Инструменты для проверки линта для разработки Objective-C [закрыто]

Большие проекты с несколькими разработчиками часто приводят к написанию кода это несовместимо по стилю. Я ищу похожий на линт инструмент, адаптированный для Objective-C, который выходит за рамки Clang Static ...
вопрос задан: 23 May 2017 12:32
0
ответов

Как определить максимальное использование стека во встроенной системе?

Когда я даю компилятору Keil параметр "--callgraph", он статически вычисляет для меня точное «максимальное использование стека». Увы, сегодня он дает мне «Максимальное использование стека = 284 байта + Неизвестно» (...
вопрос задан: 23 May 2017 12:32
0
ответов

Может ли Klocwork (или другие инструменты) знать о типах, typedefs и директивах #define?

Я искал инструменты, помогающие обнаруживать ошибки, мешающие правильной работе программы в виде 64-битного кода. Совсем недавно я играл с Klocwork и его настраиваемой функцией проверки, которая ...
вопрос задан: 23 May 2017 12:00
0
ответов

Есть ли способ принудительно использовать табуляцию вместо пробелов в Java?

CheckStyle предлагает проверить единообразное использование пробелов, но, к сожалению, отсутствует противоположная идея: заставить исходный код использовать вкладки. Есть ли способ добавить эту функциональность? Это не должно быть ...
вопрос задан: 23 May 2017 11:58
0
ответов

Существует ли инструмент для.Net/C #для захвата *времени выполнения -*зависимостей между классами?

Какой инструмент я могу использовать для проекта.Net/C #для захвата зависимостей времени выполнения -между классами? Я нашел этот вопрос очень полезным, но предлагаемые инструменты фиксируют статический граф зависимостей. Я просто...
вопрос задан: 23 May 2017 11:48
0
ответов

Существуют ли какие-либо статические анализаторы PHP, которые обнаруживают не- вызовы методов существующего класса?

Ниже представлена ​​синтаксически допустимая программа PHP, которая работает половину времени. На любом статическом языке эквивалентные строки будут ошибкой компиляции:
вопрос задан: 23 May 2017 11:47
0
ответов

Python төрлийг шалгах [хуулбарлах]

Боломжит хуулбар: Python дээр статик төрлийг шалгах хэрэгслүүд Ихэнх тохиолдолд та ямар ч төрлийг авч унах боломжтой байдаг. Python дээр дуртай газраа оруулаад нугас шивэхэд л хангалттай ...
вопрос задан: 23 May 2017 11:46
0
ответов

Статический анализатор кода для C ++ в Linux [дубликат]

Возможный дубликат: Какие инструменты статического анализа C ++ с открытым исходным кодом доступны? Кто-нибудь знает о хорошем статическом анализаторе кода C ++ в Linux с открытым исходным кодом? Идея в том, чтобы поймать ...
вопрос задан: 23 May 2017 11:44
0
ответов

Инструмент статического анализа для проверки блокировки перед доступом к переменной

Я знаю, что существует довольно много инструментов статического анализа для C # или .Net вокруг. См. В этом вопросе хороший список доступных инструментов. Я использовал некоторые из них в прошлом, и у них есть хороший способ ...
вопрос задан: 23 May 2017 10:34
0
ответов

Как использовать LLVM для создания графа вызовов?

Я пытаюсь сгенерировать граф вызовов для ядра Linux, который будет включать указатели на функции (дополнительную информацию см. в моем предыдущем вопросе Генерация статического графа вызовов для ядра Linux). Я'...
вопрос задан: 23 May 2017 10:34
0
ответов

В чем разница между PMD и FindBugs?

Был вопрос, сравнивающий PMD и CheckStyle. Однако я не могу найти подробного описания различий / сходств между PMD и FindBugs. Я считаю, что ключевое различие заключается в том, что PMD работает с ...
вопрос задан: 23 May 2017 10:31
0
ответов

Как определить максимальное использование стека во встроенной системе с помощью gcc?

Я пишу код запуска для встроенной системы - - код, который загружает начальный указатель стека перед переходом к функции main () - и мне нужно сказать ему, сколько байтов в стеке у меня ...
вопрос задан: 23 May 2017 10:30
0
ответов

Должны ли аннотации в jar305.jar быть предпочтительнее аналогичных аннотаций в annotation.jar для FindBugs?

В дистрибутиве FindBugs annotations.jar не является подмножеством jsr305.jar. Однако некоторые аннотации кажутся дублированными (точно или очень близко). Следует ли мне предпочитать аннотацию в ...
вопрос задан: 20 March 2017 10:29
0
ответов

Как статически обнаружить отсутствующие аннотации @Override?

Между Java 5 и Java 6 правила, касающиеся аннотаций @Override для методов, происходящих из интерфейсов (в отличие от суперклассов), были изменены — раньше они были не разрешены, но после того, как они были....
вопрос задан: 7 February 2017 20:39
0
ответов

Безопасность типов в Clojure

Я хочу спросить, какие конструкции языков безопасности типов есть в Clojure? Я уже несколько раз читал «Practical Clojure» Люка Вандерхарта и Стюарта Сьерры, но у меня все еще есть отчетливые ...
вопрос задан: 23 November 2016 03:25
0
ответов

Как вывести AST, построенный с использованием ANTLR?

Я делаю статический анализатор для C. Я сделал лексический анализатор и анализатор с использованием ANTLR, в котором генерируется код Java. Создает ли ANTLR AST автоматически с помощью параметров {output = AST;}? Или у меня ...
вопрос задан: 19 April 2016 12:19
0
ответов

Instrumenting C/C++ codes using LLVM

Я только что прочитал о проекте LLVM и о том, что его можно использовать для статического анализа C/C++ кодов с помощью анализатора Clang, который является передней частью LLVM. Я хотел бы узнать, можно ли извлечь ...
вопрос задан: 8 December 2015 23:14
0
ответов

Проверка, может ли перекрестное приведение работать?

Я знаю, что использование dynamic_cast для перекрестного преобразования в иерархии классов разрешено. Например, если у меня есть классы, которые выглядят следующим образом: AB \ / C Если у меня есть указатель A *, который ...
вопрос задан: 7 August 2015 14:44
0
ответов

Тип проверки для JavaScript?

Кто-нибудь знает, есть ли хороший инструмент для анализа кода JavaScript и обнаружения ошибок типа? Я знаю, что сам JavaScript имеет слабую и динамическую типизацию, но было бы здорово, если бы я мог ...
вопрос задан: 7 August 2015 14:27
0
ответов

Понимание большого кода php, какие методы использовать?

Мне передали большой недокументированный код приложения, написанного на php, когда исходный кодировщик ушел в самоволку. Моя задача - добавлять новые функции, но я не могу этого сделать, не разбираясь в коде. Я ...
вопрос задан: 15 July 2015 03:40
0
ответов

Потенциальная утечка объекта - NSData

Когда я анализирую класс, я работаю над этой строкой кода: myObject.myImageData = [NSData dataWithContentsOfURL: [[NSURL alloc] initWithString: myObject.thumbnailUrlString]]; есть предупреждение Потенциал ...
вопрос задан: 25 February 2015 13:53
0
ответов

Как заставить Vera ++ игнорировать разделы кода для некоторых / всех правил?

Я использую Vera ++ для выполнения статического анализа моего кода C ++. (в Visual Studio 2008) Однако у меня есть некоторые блоки кода, которые я знаю и принимаю, которые нарушают определенные правила. Я хотел бы иметь возможность ...
вопрос задан: 14 November 2014 18:21
0
ответов

Инструменты анализа кода для Android

Существуют ли какие-либо инструменты статического анализа кода для Android, которые подбирали бы простые вещи, такие как NullPointerExceptions, при попытке доступа к объекту, который может иметь значение null (без проверки на него сначала) ... ...
вопрос задан: 19 June 2014 01:12
0
ответов

Странные результаты анализа Xcode

Когда я анализирую свой проект в Xcode, я получаю несколько странных ошибок. Весь этот код является частью единого метода, который создает массивы, которые можно использовать для создания MKAnnotations . Извините, если это наводнение ...
вопрос задан: 11 April 2014 15:33
0
ответов

Xcode Build and Analyze - Можно ли намеренно пропустить анализ конкретного файла?

У меня есть один конкретный файл в моем проекте, над которым работает кто-то другой. Я не хочу связываться с этим и не хочу ждать, пока "Build and Analyze" его обработает. Есть ли способ ...
вопрос задан: 20 February 2014 20:01
0
ответов

Рекомендации PyLint?

pyLint выглядит как хороший инструмент для анализа кода Python. Однако наша главная цель - отловить любые потенциальные ошибки, а не соглашения о кодировании. Включение всех проверок pyLint, похоже, генерирует много ...
вопрос задан: 4 October 2013 08:03
0
ответов

Инструмент для автоматической проверки стиля строки документации в соответствии с PEP257 [закрыто]

Инструменты, подобные pep8, могут проверять стиль исходного кода, но они не проверяют, имеют ли строки документации атрибуты в соответствии с pep257, pep287. Есть такие инструменты? Update Решил реализовать такой статический анализ ...
вопрос задан: 22 June 2013 10:46