SMT solver

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

  1. ormoulu

    ormoulu Well-Known Member

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

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

    who_know777 Member

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

    ormoulu Well-Known Member

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

    c17179n New Member

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

    alex_dz Active Member

    Публикаций:
    0
    Регистрация:
    26 июл 2006
    Сообщения:
    340
    Жопати спросите
    оно все знает :)
     
    alex_dz, 3 мар 2023
    #5