0
ответов
Существуют ли какие-либо библиотеки анализа Java с открытым исходным кодом для зависимости данных / управления?
Я ищу библиотеку / API, в которых есть готовые данные и анализ зависимости управления для программ на Java. Это будет статический анализ графа потока управления (CFG) данной программы ...
вопрос задан: 15 February 2012 23:24
0
ответов
Как мне найти все статические переменные в моем проекте C #?
Я хочу запустить некоторую часть моей программы командной строки параллельно с несколькими потоками, и я боюсь, что может остаться какая-то статическая переменная, которую я должен исправить (например, сделав его [ThreadStatic]). ...
вопрос задан: 10 February 2012 20:13
0
ответов
Есть ли инструмент статического анализа, который автоматически проверяет состояние гонки в Java-проектах? [закрыто]
Есть ли инструмент статического анализа, который автоматически проверяет состояние гонки в Java-проектах? Предпочтительно тот, который поддерживает Eclipse, Spring и Hibernate. Спасибо РЕДАКТИРОВАТЬ: Мне может не обязательно понадобиться ...
вопрос задан: 31 January 2012 11:27
0
ответов
Инструмент для инкрементного статического анализа кода?
Существуют ли какие-либо бесплатные инструменты, позволяющие выполнять инкрементный статический анализ кода (для SVN и предпочтительно Git)? В настоящее время мы используем Sonar (2.12, я думаю?), Но проблема в том, сколько времени нужно для анализа ...
вопрос задан: 10 January 2012 16:56
0
ответов
примеры кода для изучения программирования бэкендов LLVM
Я изучаю программирование бэкендов LLVM. В настоящее время меня интересуют проходы анализа, позже преобразования программ. (Я предполагаю, что когда я буду более свободно работать с анализом, тогда будет время для программных ...
вопрос задан: 8 January 2012 10:50
0
ответов
Как я могу выполнить проверку подключения сигнала/слота во время компиляции?
Проверка вызовов подключения сигнального слота Qt во время выполнения вызывает у меня беспокойство. Я должен иметь возможность выполнить статическую проверку операторов подключения. Существует ли такой инструмент?
вопрос задан: 3 January 2012 09:39
0
ответов
Существует ли инструмент статического обнаружения инвариантов для программ на языке Си?
Я ищу инструмент, который может статически обнаруживать инварианты в программах на языке Си. Я проверил Daikon, но он обнаруживает инварианты только динамически. Есть ли инструмент для того, что я ищу? ...
вопрос задан: 11 November 2011 02:06
0
ответов
Что-нибудь может предупредить меня о типе.equals (incompatibleType)?
Есть ли какой-нибудь инструмент, который может предостеречь меня от кода следующего типа: if (someClass.equals (someString)) Например: if (myObject.getClass (). equals (myClassName)) Такой вещь является законной Java (...
вопрос задан: 26 October 2011 16:02
0
ответов
Почему этот, казалось бы, правильный код .NET не компилируется?
I ' m спрашиваю на случай, если мне не хватает чего-то очевидного, но я думаю, что, возможно, наткнулся на ошибку в компиляторе .NET. У меня есть два проекта в .NET-решении, один Visual Basic, один C #. Код C #, состоящий из ...
вопрос задан: 25 October 2011 18:15
0
ответов
отслеживание неинициализированных статических переменных
Мне нужно отладить уродливую и огромную математическую библиотеку C, вероятно, когда-то созданную f2c. Код злоупотребляет локальными статическими переменными, и, к сожалению, где-то он, кажется, использует тот факт, что это ...
вопрос задан: 21 October 2011 09:28
0
ответов
Инструментирование кода C / C ++ с помощью LLVM
Я хочу написать проход LLVM для инструментария каждого доступа к памяти.
Вот что я пытаюсь сделать. Учитывая любую программу C / C ++ (например, приведенную ниже), я пытаюсь вставить вызовы какой-либо функции, прежде чем ...
вопрос задан: 18 October 2011 11:48
0
ответов
Поиск неперехваченных исключений в коде C #
Мне интересно, есть ли инструмент для поиска неперехваченных исключений в C # с использованием статического анализа кода? В основном я хочу выбрать methodA () и хочу получить список всех исключений, сгенерированных методом methodA (), и все ...
вопрос задан: 12 October 2011 09:45
0
ответов
Как подавить дефекты жандарма?
Действительно ли возможно подавить определенное сообщение дефекта жандарма? Я хотел бы сделать это в исходном коде с флагом или чем-то как он.
вопрос задан: 25 September 2011 14:53
0
ответов
Как найти незаметные ресурсы ввода / вывода в Java?
Многие ресурсы ввода / вывода в Java, таких как входные данные и выходные данные, должны быть закрыты, когда они будут завершены, как обсуждалось здесь. Как я могу искать мой проект для мест, где такие ресурсы не ...
вопрос задан: 8 September 2011 04:38
0
ответов
Динамический против статического компилятора (JavaScript)
В настоящее время я пишу компилятор JavaScript на ANTLR + Java . Я читал здесь вопросы о переполнении стека о том, как продолжить выполнение - и всегда отвечу, что было бы слишком сложно ...
вопрос задан: 24 August 2011 20:03
0
ответов
Перечисления флагов без степени двойки
В документации MSDN для атрибута Flag указано, что вы должны: Определить константы перечисления с степенью двойки, то есть 1, 2, 4, 8 и скоро. Это означает, что отдельные флаги объединены ...
вопрос задан: 20 August 2011 05:48
0
ответов
Проверка вредоносного исходного файла C?
Есть ли способ программно проверить, является ли один-единственный исходный файл C потенциально опасным? Я знаю, что никакая проверка не даст стопроцентной точности - но меня интересует хотя бы несколько базовых проверок, которые ...
вопрос задан: 25 July 2011 00:04
0
ответов
Разбор кода Objective-C для статического анализа
Я люблю статический анализ и проверки во время компиляции, почти до отказа, но большая часть моей повседневной работы связана с Objective-C. Чтобы разрешить это противоречие, я хотел бы иметь возможность писать свои собственные инструменты анализа, кото
вопрос задан: 22 July 2011 18:10
0
ответов
Маркировка примитивных типов фантомными типами в Scala
В Scala я могу использовать концепцию фантомных типов (как описано, например, здесь) для обозначения типов и удаления этой информации во время выполнения. Интересно, можно ли пометить примитивные типы фантомом ...
вопрос задан: 15 June 2011 13:43
0
ответов
Как статически анализировать ссылочные типы, передаваемые каждой инструкции байт-кода?
Я переписал вопрос (вопрос остается тем же, только с меньшим фоновым шумом) в надежде создать меньше путаницы, направленной на все неправильные вещи - из-за этого некоторые комментарии ...
вопрос задан: 7 June 2011 01:19
0
ответов
Инструмент статического анализа кода (линтер) для языка Go
Есть ли инструмент статического анализа для языка Go, например lint, pylint и т. Д. ? Насколько я искал, я не нашел ничего связанного. Я могу заниматься этим в качестве старшего студента в моем отделе. Я должен быть ...
вопрос задан: 21 May 2011 20:36
0
ответов
PHP_CodeSniffer, PHPMD or PHP Depend
I am looking at doing some static code analysis of an exisiting PHP project, and I'm having trouble understanding the distinctions between PHP_CodeSniffer, PHPMD, and PHP Depend. Are these simply ...
вопрос задан: 15 May 2011 16:15
0
ответов
Инструмент статического анализа кода для Common Lisp?
Я занят изучением Common Lisp, и я ищу инструмент статического анализа кода, который поможет мне разработать лучший стиль & избегать попадания в обычные ловушки. Я нашел Lisp Critic и думаю ...
вопрос задан: 13 May 2011 05:26
0
ответов
Как принудительно использовать аннотацию @Override? [закрыто]
Есть ли инструмент статического анализа, который может обеспечить последовательное использование аннотации @Override, который можно запускать вне IDE? CheckStyle имеет проверку MissingOverride, но она применяется только к методам ...
вопрос задан: 26 April 2011 22:04
0
ответов
Непонятный анализ потока управления из Parasoft C + + test
Мы используем тест Parasoft C ++ для статического анализа нашего кода. У него проблемы с кодом вроде следующего: void foo (int * x) {try {bar (); } catch (...) {удалить x; ...
вопрос задан: 26 April 2011 20:34
0
ответов
Are there any tools which can report on commented-out .NET code?
Has anyone come across a tool to report on commented-out code in a .NET app? I'm talking about patterns like: //var foo = "This is dead"; And /*
var foo = "Это мертво";
*/ This won't be found by ...
вопрос задан: 12 April 2011 08:56
0
ответов
Ищу парсер для файлов в формате QML [закрыто]
Мне нужно провести статический анализ файлов в формате QML (вики), но я не могу найти парсеры для их. Единственный способ, который я вижу, - это повторно использовать исходный код модуля Qt Declarative или написать свой собственный синтаксический анализа
вопрос задан: 25 March 2011 23:21
0
ответов
Статический анализ кода C ++, который можно запустить в сборке TFS 2010?
Я ищу собственный инструмент статического анализа C ++, который я могу использовать как из Visual Studio, так и как часть сборки TFS 2010. Он также должен работать для 64-битной компиляции. Кто-нибудь знает какие-нибудь инструменты ...
вопрос задан: 25 March 2011 08:22
0
ответов
iPhone - Почему статический анализатор не уловил это?
@property (неатомный, сохранить) NSMutableArray * playerList ; ... team.playerList = [[NSMutableArray alloc] initWithArray: self.playerList]; Это ведь утечка памяти? Так почему же статический ...
вопрос задан: 11 March 2011 03:41
0
ответов
Как сгенерировать график зависимости программы (PDG) из байт-кода в Java [закрыто]
Я хочу сгенерировать программную зависимость граф (PDG) из байт-кода Java для дальнейшего программного анализа. Так как это старая (бумага от 87 года) и предположительно хорошо известная технология, я подумал, что ...
вопрос задан: 24 February 2011 11:43