Можно ли извлечь ограничения из функции, чтобы использовать ее для размытия? - PullRequest
Новая
       77

Можно ли извлечь ограничения из функции, чтобы использовать ее для размытия?

0 голосов
/ 29 февраля 2020

Например, у меня есть файл elf, скомпилированный из cpp, который содержит функцию: 

int f(int param) {
...
   if (param > 123456 && param < 456789) {
      ... // TODO
   }
...
}

Я хочу запихнуть эту функцию со случайными значениями param, но это займет слишком долго (только представьте, если вы собираетесь сказать мне, что это не так), чтобы перебрать все возможные значения int. Из кода мы знаем, что param должен находиться в интервале (123456; 456789), но если у нас есть только файл elf, можно ли извлечь эти ограничения? Я хочу создать значения для param из этого интервала. Может быть, с помощью инструмента angr или любого другого в паре с IDA ... Это задача выполнения concoli c?

...