SMT solver

Тема в разделе "WASM.RESEARCH", создана пользователем ormoulu, 4 сен 2022.

  1. ormoulu

    ormoulu Well-Known Member

    Публикаций:
    0
    Регистрация:
    24 янв 2011
    Сообщения:
    1.026
    Раз уж форум немного расшевелился )

    Что сейчас по smt-решателям, есть нормально допиленые инструменты?
    Допустим я хочу найти в бинарнике все вызовы функции, где аргумент не константа, есть шанс такое автоматизировать?
     
  2. who_know777

    who_know777 Member

    Публикаций:
    2
    Регистрация:
    29 мар 2021
    Сообщения:
    95
    Адрес:
            
    Всю полезную информацию можно найти в гугле
     
  3. ormoulu

    ormoulu Well-Known Member

    Публикаций:
    0
    Регистрация:
    24 янв 2011
    Сообщения:
    1.026
    Можно также не найти, найти не в Гугле, найти не всю или найти неполезную, много опций в общем.