0
ответов
Практические различия между графом потока управления и графом вызова (потока?)?
В Википедии есть определение графа потока управления. Я также слышал терминологию, относящуюся к «графику вызовов (потока?)», но не могу найти соответствующие ресурсы. Какая связь...
вопрос задан: 22 March 2013 22:15
0
ответов
Is there a static analysis tool like Lint or Perl::Critic for shell scripts?
Are there any shell (specifically bash or ksh) checkers that test shell scripts for style, best practices, naming conventions, etc? (Something like Lint for C, or Perl::Critic for Perl.) I know with ...
вопрос задан: 24 August 2012 16:19
0
ответов
как генерировать отчеты для кода C с помощью clang
Следуя указаниям с главной веб-страницы статического анализатора clang(http://clang-analyzer.llvm.org/scan-build.html)... У меня есть небольшой C-файл, в котором содержится ужасная ошибка -пронизан (badcode.c ):int main (int...
вопрос задан: 17 August 2012 14:49
0
ответов
Почему Dialyzer не считает этот код неверным?
Я создал приведенный ниже фрагмент на основе этого руководства. Последние две строки (feed _squid (FeederRP )и feed _red _panda (FeederSquid ))явно нарушают определенные ограничения, однако Dialyzer находит...
вопрос задан: 7 August 2012 18:08
0
ответов
Почему этот код генерирует предупреждение «Возможная утечка ресурсов»?
Eclipse (Juno )выдает следующее предупреждение :Потенциальная утечка ресурсов :'os' не может быть закрыта в первой строке тела попытки в этом коде :static void saveDetails (byte[ ] деталиданные ){...
вопрос задан: 2 August 2012 22:48
0
ответов
Как создать инструмент статического анализа кода?
] Я нахожусь в процессе понимания и создания инструмента статического анализа кода для собственного языка от большой компании. Причина в том, что я должен просмотреть довольно большую базу кода, и ...
вопрос задан: 3 July 2012 07:02
0
ответов
Отключить дублирование Sonar в пакетах Entity, DTO
Есть ли способ отключить определенные показатели из выбранных пакетов в Sonar? Я использую Sonar для анализа своего проекта, и в пакетах Entity и DTO у меня есть некоторый код, который равен - тот же идентификатор поля с ...
вопрос задан: 18 June 2012 08:22
0
ответов
Анализатор статического кода для исходного кода Java для извлечения методов/комментариев
Я ищу анализатор, который может извлекать методы из класса java (статический исходный код -> файл .java) и сигнатуру метода, комментарии/документацию , переменные каждого из методов. Желательно в...
вопрос задан: 16 June 2012 03:51
0
ответов
Как получить статический анализ Coverity, совместимый со стандартом C ++ 0x?
Я использую компилятор Wind River 4 (gcc (C) и g ++ (C ++)), и он без проблем компилирует все мои проекты. Теперь мне нужно использовать Статический анализ Coverity, чтобы проверить свой код. Я настроил ...
вопрос задан: 14 June 2012 21:29
0
ответов
сборка сканирования clang не работает для простого файла cpp
Я не могу заставить c++-анализатор clang работать с игрушечным файлом C++. #include , используя пространство имен std; основной ()
{ интервал т[4]; интервал х, у; т[5]=1; если (х) у = 5; x = t[y];...
вопрос задан: 14 June 2012 16:19
0
ответов
Статический анализ Coffeescript / Статическая проверка типов — блокпосты
Я думаю, что Coffeescript — отличный язык! Я искал некоторые проекты/проблемы/функции, которые добавляют статический анализ в Coffeescript. Однако после некоторых поисков я обнаружил, что Coffeescript...
вопрос задан: 3 June 2012 23:59
0
ответов
Запустите инструменты статического анализа Intellij из командной строки
Я слышал, что у IntelliJ есть действительно хорошие инструменты статического анализа для обнаружения мертвого кода, неправильно инициализированных переменных и т. д. Однако я действительно не хочу багажа редактора, поэтому я искал способ...
вопрос задан: 31 May 2012 19:13
0
ответов
Как настроить PHP CodeSniffer, чтобы мои операторы case имели нужный отступ?
У меня есть такой код: function processRequest() { // получить глагол $method = strtolower($_SERVER['REQUEST_METHOD']); switch ($method) { case 'get': handleGet(); ...
вопрос задан: 25 May 2012 17:52
0
ответов
Сложность обнаружения ошибок IDE и автозаполнения зависит от синтаксиса языка?
Требуется ли меньше проверок/менее тщательный анализ кода для обеспечения обратной связи об ошибках среды разработки и автоматического завершения для языков программирования, которые состоят в основном из удобочитаемых ...
вопрос задан: 22 May 2012 14:10
0
ответов
Типобезопасные переменные varargs в C с gcc
Много раз я хочу, чтобы функция получала переменное количество аргументов, заканчивающихся NULL, например #define push(stack_t stack, . ..) _push(__VARARG__, NULL);
func _push(stack_t stack, char *s, .....
вопрос задан: 13 May 2012 06:56
0
ответов
Статический анализатор - утечка памяти
В Xcode при освобождении объекта в методе dealloc с помощью [self.object release] эта строка отображается как утечка памяти с использованием статического анализатора кода, но не отображается как утечка при работе инструментов. ...
вопрос задан: 8 May 2012 11:14
0
ответов
Какой инструмент статического анализа использовать для сканирования потока данных от одного метода к другому?
Скажем, в моей библиотеке есть два метода: void com.somepackage.SomeClass.someSink(String s) и int com.someotherpackage.SomeOtherClass.someSource(int i). Первый метод используется как приемник данных, ...
вопрос задан: 7 May 2012 07:53
0
ответов
Существуют ли удобные инструменты для автоматической проверки соглашений о кодировании C++ помимо проверки стиля?
Существуют ли хорошие инструменты для автоматической проверки проектов C++ на наличие соглашений о кодировании, таких как, например,. :все выброшенные объекты должны быть классами, производными от стандартного ::исключения (, т. е. throw 42; или выдать "о
вопрос задан: 3 May 2012 09:53
0
ответов
Как исключить заголовки библиотеки из анализа статического кода Visual Studio?
Я настроил buildbot для компиляции моего приложения Qt/C++ с флагом /analyze. Однако анализ также углубляется в заголовки qt, которые меня не интересуют :c :\qt\qt -везде -opensource -src -4....
вопрос задан: 17 April 2012 20:35
0
ответов
Какую форму анализа псевдонима Visual C++ использует?
Я пытаюсь выяснить, какая форма анализа псевдонима используется в Visual C++. Это также известно как анализ указателя, модификация - касательно анализа, точек - к анализу или анализу побочного эффекта, и достаточно близко к...
вопрос задан: 17 April 2012 09:35
0
ответов
Доступна ли статическая проверка кода для потенциальных ссылок на нулевые объекты?
Мне нужен способ получать предупреждения, когда ссылка на объект потенциально может генерировать исключение Null Reference Exception, чтобы я мог написать для них защитный код. Я просматривал Resharper, но не...
вопрос задан: 11 April 2012 15:44
0
ответов
@GuardedBy аннотация с java.util.concurrent.locks.ReadWriteLock
Какой правильный / предпочтительный способ аннотировать поля, защищенные с помощью ReadWriteLock, чтобы такие инструменты, как FindBugs, могли использовать аннотацию? Если имя ReadWriteLock просто будет ...
вопрос задан: 9 April 2012 18:22
0
ответов
Инструменты, такие как PVS-Studio для статического анализа кода в проектах C?
Я ищу альтернативы инструменту PVS-Studio для запуска статического кода анализ в C-проектах. У вас, ребята, есть какие-нибудь предложения?
вопрос задан: 4 April 2012 13:23
0
ответов
FORWARD_NULL после разыменования нуля?
У меня есть следующая строка кода: this.Path = pathLookUpLocation.GetValue(RegLookupKey, null).ToString(); Когда я запускаю инструмент статического анализа (Coverity) своего кода, я получаю здесь FORWARD_NULL, говорящий, что я...
вопрос задан: 29 March 2012 08:45
0
ответов
Инструменты анализа и визуализации кода MATLAB?
Я только что подобрал кодовую базу MATLAB, в которой мало документации и оригинальных разработчиков (все они давно прошли проверку). Я хорошо разбираюсь в MATLAB, но все еще могу использовать некоторые инструменты статического анализа...
вопрос задан: 26 March 2012 00:20
0
ответов
Почему граф зависимостей этой программы, использующей scanf() от Frama-C, выглядит так?
Я использую инструмент Frama-C для создания графика зависимости этой программы (main.c). #include int main() { int n,i,m,j; while(scanf("%d",&n)!=EOF) {...
вопрос задан: 25 March 2012 15:05
0
ответов
какие бесплатные инструменты можно использовать для создания графа программных зависимостей для кодов C
Я хочу сгенерировать граф программных зависимостей (PDG)из исходного кода C. Я нашел документы, объясняющие, как это сделать, но все они использовали коммерческий инструмент CodeSurfer. Существуют ли какие-либо бесплатные инструменты или открытый исходный
вопрос задан: 22 March 2012 11:15
0
ответов
Список ошибок FindBugs 2.0 по рангу?
Я знаю, что есть список ошибок, но я хотел бы иметь список с дополнительной информацией о ранге (от 1 до 20 в версии 2.0) или хотя бы о ранговых группах ( Тревожно, Тревожно, Страшно, Страшно).
...
вопрос задан: 6 March 2012 12:44
0
ответов
Статическая генерация графа вызовов для ядра Linux
Я ищу инструмент для статической генерации графа вызовов ядра Linux (для заданной конфигурации ядра). Сгенерированный граф вызовов должен быть "полным", в том смысле, что все вызовы ...
вопрос задан: 27 February 2012 19:18
0
ответов
Инструмент для анализа и сравнения логики схожих функций?
Недавно я обнаружил проект с большой базой кода, содержащей много дублирования. Проблема в том, что дублированные функции не были написаны одними и теми же людьми и не копировались между ними. Итак, ...
вопрос задан: 23 February 2012 03:22