Описание тега dynamic-analysis

Описание тега Вопросы с тегом
Динамический анализ извлекает информацию о программах, выполняя их на реальном или виртуальном процессоре.
0 ответов

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

Я ищу инструмент, который анализирует и оптимизирует мою иерархию зависимостей в моих проектах Gradle. Я уже взглянул на https://github.com/wfhartford/gradle-dependency-analyze и на этот, пришедший от Netflix https://github.com/nebula-plugins/gradle…
28 июл '16 в 10:09
1 ответ

Анализ программы с заданным входом

У меня есть программа на C, и я хочу отслеживать все условия ветвления, которые принадлежат пути выполнения, соответствующему конкретному вводу. Например, рассмотрим простую программу: #include <stdio.h> #include <string.h> int test(char…
28 окт '13 в 11:46
3 ответа

Ускорить скомпилированные программы, используя информацию времени выполнения, как, например, JVM делает это?

Java-программы могут превзойти скомпилированные языки программирования, такие как C, в определенных задачах. Это потому, что JVM имеет информацию во время выполнения и выполняет JIT-компиляцию при необходимости (я думаю). (пример: http://benchmarksg…
16 дек '14 в 12:55
0 ответов

Как перехватить код в PHP динамически во время выполнения?

Мне нужен инструмент PHP, расширение или что-то такое, что позволит мне динамически анализировать весь код, выполняемый в сценарии PHP (не инструмент статического анализа), например: У меня есть интерфейс с некоторыми методами и некоторыми классами,…
08 янв '15 в 08:29
1 ответ

Почему динамический анализ не может охватить весь путь выполнения программы?

Я новичок в области анализа программ, и после прочтения некоторых материалов в этой области у меня возникли вопросы, на которые я не могу найти соответствующие ответы. Смотрите, если я реализую инструмент: символическое выполнение + конкретное выпол…
27 фев '14 в 05:03
1 ответ

Самый простой способ собрать динамическое количество выполнений команд?

Я хотел бы получить простой и быстрый способ собрать количество раз, когда каждая инструкция в битовом коде LLVM выполнялась при данном запуске приложения. Насколько я могу судить, существует несколько подходов: Используйте PIN-код. Это потребует ис…
28 май '15 в 13:24
3 ответа

Возможная ошибка во время выполнения с while loop-Polyspace

Я работаю с языком Embedded C и недавно запустил MathWorks Polyspace Code Prover (динамический анализ) для всего проекта, чтобы проверить наличие критических ошибок во время выполнения. Он обнаружил одну ошибку (красное предупреждение) в цикле "В то…
17 апр '18 в 06:21
1 ответ

Инструменты для визуализации объектов Javascript в реальном времени

Как и у многих людей, мой мозг хорошо работает с визуальной (нетекстовой) информацией для чтения, письма и создания. Какие инструменты позволяют мне каким-то образом визуально увидеть мою текущую среду javascript? Одним из очевидных примеров было бы…
04 окт '13 в 21:22
1 ответ

Можно ли динамически анализировать предикаты?

Допустим, у меня есть эти три предиката: Predicate<int> pred1 = x => x > 0; Predicate<int> pred2 = x => x > 0 && true; Predicate<int> pred3 = x => false; С человеческой точки зрения, тривиально сказать, что p…
13 июн '14 в 13:09
1 ответ

iOS проект: статический / динамический анализ кода и графы вызовов

Я ищу несколько удобных инструментов анализа кода для проектов iOS, особенно. проводить статический анализ, динамический анализ и генерировать графы вызовов. В моем исследовании до сих пор я нашел Dtrace как объяснено здесь и здесь Лязг как объяснен…
30 июн '14 в 16:48
0 ответов

Как мне следить за распространением значений через вызовы функций с помощью обратной отладки GDB?

Я пытаюсь найти способ проследить распространение значений через вызовы функций и копии переменных в программе, используя обратную отладку GDB. В прошлом я много использовал GDB, но я относительно новичок в обратной отладке. Я думаю, что проще всего…
09 сен '16 в 16:47
1 ответ

Тип тестирования безопасности в веб-приложении

Ищите Тип тестирования безопасности являются динамическим и статическим анализом частью тестирования безопасности? в качестве тестера QA нам нужно знать знание языка программирования или кодирования для тестирования безопасности? на каком этапе STLC…
10 янв '14 в 01:02
1 ответ

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

Я пытаюсь понять разницу между статическим анализом и динамическим анализом с целью выполнения программных потоков, для обнаружения уязвимостей в безопасности. Совершенно очевидно, что основной недостаток динамического анализа заключается в том, что…
08 июн '14 в 00:18
4 ответа

Что такое динамический анализ кода?

Что такое динамический анализ кода? Чем он отличается от статического анализа кода (то есть, что он может поймать, который не может быть пойман в статическом)? Я слышал о проверке границ и анализе памяти - что это? Какие еще вещи проверяются с помощ…
08 сен '08 в 15:23
1 ответ

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

Я хочу найти адреса памяти, которые использует исполняемый файл. У меня есть исполняемый файл, и я хочу иметь список адресов, которые он использует. Это должно быть сделано статически и без запуска самого исполняемого файла. Кто-нибудь может мне пом…
10 май '13 в 07:25
1 ответ

Pin: инструмент для указанной библиотеки

Я выполняю простую задачу инструментария для исполняемого файла и связанных с ним общих библиотек, записываю все выполненные инструкции в основной файл, а также в общие библиотеки. Тем не мение, Pin всегда бросать Pin is out of memory: MmapChecked В…
05 сен '16 в 19:48
2 ответа

Предопределенный алгоритм для быстрого анализа типов и анализа переменных типов

Я пытаюсь выполнить программный анализ исходного файла Java. Существует ли какой-либо предопределенный алгоритм для выполнения анализа переменных типов и быстрого анализа типов?
20 фев '12 в 14:06
1 ответ

Windows эквивалент System.map?

Я выполняю динамический анализ на Windows VM в QEMU. Я хотел бы посмотреть, какая функция в настоящее время выполняется в гостевой ОС на основе EIP (я просто хочу иметь представление о том, что делает ОС). Есть ли эквивалент System.map для Windows? …
11 авг '15 в 21:02
1 ответ

Ресурсы по прогнозированию типов переменных для Javascript?

Цитата из этой академической статьи: Синтаксическое и семантическое прогнозирование в динамических языках: IntelliSense практически основан на знании типа переменных. Следовательно, символы, описывающие переменные, должны содержать свой тип, если он…
21 ноя '12 в 15:27
2 ответа

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

Я работаю в анализе бинарных файлов, используя Python. Я использую отладчики для динамического анализа (т.е. запуска приложения и использования точек останова для выполнения во время выполнения). Тем не менее, результаты могут быть улучшены, если я …
03 дек '10 в 11:52