Я пытаюсь сгенерировать граф вызовов для ядра Linux, который будет включать указатели на функции...

Я хотел бы знать, как создать шаблон кода Resharper (6.1) для поиска и замены следующих проблем:...

Я использую инструмент frama-c для анализа кода ниже. int main (int argc, char *argv[]) { int i,a;...

У меня есть эта строка кода: this.Path = pathLookUpLocation.GetValue(RegLookupKey, null)

У меня есть следующий код: RegistryKey installKey = Registry.LocalMachine.OpenSubKey(installKey); Я...

В Википедии есть определение для графика потока управления .Я также слышал терминологию,...

Я смотрел на несколько (дорогих) инструментов статического анализа для C / C ++, которые проверяют...

Я только что взял кодовую базу MATLAB, которая легка в документации и оригинальных разработчиках...

Я уверен, что статический анализатор, вероятно, прав в этом случае, но я не совсем понимаю, почему

Я использую инструмент Frama-C для генерации графика зависимости этой программы (main.c)....

Есть ли способ обнаружить жестко закодированный текст метки, который потенциально может быть...

Я хочу сгенерировать график зависимости программы (PDG) из исходного кода C.Я нашел документы,...

Я пишу код, который работает как конечный автомат.Итак: некоторые функции устанавливают...

У меня есть код, который выглядит так: function processRequest() { // get the verb $method =...

Я хочу отследить ответ HTTP на обратном прокси-сервере и, если ответ HTTP содержит JavaScript, я...

Я знаю, что есть список ошибок, но я хотел бы иметь список с дополнительной информацией о ранге (от...

Я хочу настроить свой сервер Jenkins для пометки сборки как нестабильной, если обнаружены нарушения...

Как программно определить, какие переменные могут повлиять на результаты функции, определенной в...

Я знаю, что существует довольно много инструментов статического анализа для C # или .Net.Посмотрите...

Например, мое правило именования для метода - SampleName, а для параметра - sampleName. В следующем...

Я использую сонар для анализа кода в моем текущем проекте, и мой вопрос заключается в том, как я...

Наша команда отвечает за большую кодовую базу, содержащую юридические правила. Кодовая база...

Привет, я хотел начать играть со статическим анализом исходного кода Java. Для начала кажется, что...

Я не уверен, почему Xcode 4.3 сообщает «Логическая ошибка. Неопределенное значение или значение...

У меня есть язык AST of WHILE (http://www.program -analysis.com / while.html) в формате XML.В...