Лаборатория LabyREnth 2016, Windows stash, task 4

timcess
, 15 августа 2016

Задание - JugsOfBeer.exe

Самое интересное из всех представленных crackme заданий. Сначала попробовал скормить бинарь Angr-у, но он упал с Segmentation Fault после 15 минут раздумий. После ковыряния скрипта Angr смог пройти первую из двух проверок, которая и так была очевидна. Первый чек проверяет, что длина вводимой строки чётная, >=32 и что строка состоит из символов ‘1’, ‘2’ и ‘3’. Затем выполняется второй чек – функция sub_140001750.

И если к ней внимательно присмотреться, то можно понять, что бинарь не зря назван БочонкиПива.exe. В функции реализован алгоритм проверки нашей строки на соответствие решению задачи о переливаниях.   Есть захардкоженная константа xmmword_1400190D0, которая определяет содержимое бочонков в начальный момент – 1 бочонок – 0 литров, 2 – 13 л., 3 – 7 л. Их максимальные объёмы, как видно из switch а втором скрине – 19л., 13л. и 7л.

Первый кусок функции просто преобразует символ цифры в саму цифру

Второй осуществляет переливание по очередной паре цифр из введённой строки, например 12 – из первого бочонка перелить всё что можно во второй.

По скрину видно, что наша задача разделить 20 имеющихся литров пополам в две первые бочки.

Есть несколько алгоритмов решения, я взял вот этот алгоритм на графах - https://habrahabr.ru/sandbox/27416/

Скрипт решалка - требует библиотечки networkx для работы с графами.

1 комментарий:

  1. RoberNage
       #   23:17, 23 мая 2017
    Buy Amoxicillin Antibiotic Online Cialis Online Buy Provera Best Website Amex Accepted Tomar Viagra Mujeres Kamagra Viagra Vancouver Remanso De Propecia Buy Generic Kamagra Online Cialis Meilleur Site Cheap Kamagra Bangkok Sildenafil Viagra Kaufen Ohne Vorkasse 466 Primatene Mist For Sale Canada Mail Order Zoloft Cialis 5 Mg Baclofene Tabac Posologie Kamagra Online Cialis Questions And Answers Clomid Et Anovulation Zoloft Fast Delivery Finasteride Vs Minoxidil Propecia Levitra Online Pharmacy In Usa Buy Cialis Online Usa Where To Buy Cialis Where Can You Get Mebendazole From Low Price Zoloft Viagra Professional Canadian

Авторизуйтесь, что бы оставить комментарий