http://klee.llvm.org/ - это инструмент анализа программ, который работает символьное выполнение и разрешение ограничений, поиск возможных входных данных, которые вызовут сбой программы, и вывод их в виде тестовых примеров ....
У меня есть следующий вопрос: Решите рекуррентное соотношение, упрощающее ответ, используя нотацию большой буквы «O»: f (0) = 2Решите рекуррентное соотношение, упрощающее ответ, используя нотацию Big 'O': f (0) = 2Решите рекуррентное соотношение, упрощаю
У меня есть свойство класса, которое выглядит следующим образом: public List <
{получить {вернуть this._recipeList; } установить {this._recipeList = значение; OnPropertyChanged ("...
Я давно размышлял об этом, но не могу найти однозначного ответа. Всякий раз, когда я конвертирую целое число в строку с помощью метода ToString (), и я запускаю код ...
Есть ли (предпочтительно бесплатный) инструмент, который может проанализировать, сколько различных комбинаций возможно в методе? В настоящее время я занимаюсь рефакторингом метода, в котором много статусов if / switch, и мне любопытно ...
looking for a code analysis tool for some legacy c/c++ code on unix
specifically to identify dependencies to specific functions
specific (include?) files
File/Socket I/O calls etc.
function ...
Я работаем над проектом рельсов, и мы запускаем над ним Flay. Его оценка ~ 1400, и я не уверен, что это на самом деле означает. Я знаю, что 0 - идеальный вариант, но я не уверен, какая будет хорошая цель и что ...
Мне нужно установить значение по умолчанию и доступ к множеству разных страниц и их обновление .. сначала я могу установить значение по умолчанию в конструкторе класса, как это? Как правильно это сделать в C # .NET? public ...
Я хочу сгенерировать программную зависимость граф (PDG) из байт-кода Java для дальнейшего программного анализа. Так как это старая (бумага от 87 года) и предположительно хорошо известная технология, я подумал, что ...
Мы хотим проанализировать наше огромное дерево исходного кода C ++, чтобы получить достаточно информации для передачи в другой инструмент для построения диаграмм отношений классов и объектов, определения общей организации вещей и т. Д. лучше попытаться т
Я получаю следующее предупреждение от анализа кода в VS2010 CA1704: Microsoft.Naming: Исправьте написание «Ps» в имени элемента «MyClass.PsCalculatedAmount» или полностью удалить его, если ...
Я получаю предупреждение CA1506 анализа кода Visual Studio для класса C #. Он говорит: «FormMain сочетается с 93 различными (не входящими в IComponent) типами из 25 различных пространств имен. Перепишите или реорганизуйте это ...
Некоторые из вас могли наткнуться на эту милую статью - http://igoro.com/archive/quicksort-killer/ \ Что действительно интересно, так это то, как он исправляет быструю сортировку, выполняемую за O (N log N) против ...
Я включаю анализ кода в старом проекте. Большинство замечаний, которые приводят к этому результату, я могу понять, но CA2000: Dispose объектов до потери области видимости трудно понять. Например, этот код из ...
Какие инструменты быть наиболее полезным для анализа кодовой базы C ++?
Сколько они стоят?
Можем ли мы обойтись с помощью бесплатного и пробного программного обеспечения, или есть хорошее коммерческое программное обеспечение, которое нам действительно ст
Для моего приложения я бы хотел проанализировать сборку и извлеките каждый метод и сохраните имя метода и исходный код в одном из моих объектов (я определил в своем коде). где я должен ...
Есть ли у кого-нибудь предложения по инструментам анализа файлов сборки? Я пытаюсь проанализировать файлы ASM ARM / Thumb-2, сгенерированные LLVM (или, альтернативно, GCC) при передаче параметра -S. Я особенно ...
Я хотел бы вручную запустить анализ кода для всего решения, а не при создании проекта и, если возможно, без использования FXCop. Я включил CA при сборке, но это действительно сильно замедлило сборку ...
Каков самый простой способ определить, читает ли данный метод или записывает переменную-член или свойство? Я пишу инструмент для помощи в системе RPC, в которой доступ к удаленным объектам ...
I ' m поддержка / разработка платформы для тестирования домашних заданий. В основном это автоматически. Теперь мне нужно добавить анализ кода. Мне нужно проверить код на наличие конкретных конструкций. Например: Есть ли ...
Подкаталоги в рамках проектов VS2008 главным образом используются для физического представления на диске структуры пространства имен для проекта. Каждая папка имеет булево свойство, названное “Поставщик Пространства имен”, который...