SMT solver

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

  1. ormoulu

    ormoulu Well-Known Member

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

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

    who_know777 Member

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

    ormoulu Well-Known Member

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

    c17179n New Member

    Публикаций:
    0
    Регистрация:
    27 сен 2022
    Сообщения:
    1
  5. alex_dz

    alex_dz Active Member

    Публикаций:
    0
    Регистрация:
    26 июл 2006
    Сообщения:
    376
    Жопати спросите
    оно все знает :)