Тут исходный материал --> Link <--

Я взял EP модуля, обработанного вмп и вручную почистил мусор. Это мелкая тех задача, я её решу на днях(те проблема с кседом и нужно продумать алгоритмы по графам). Суть не в этом.

Исходный код:


После удаления мусора(если контекст сбрасывается, то предыдущая цепочка cfg мусорная, те clc/cmp -> clc мусор, так как EF.CF функция утеряна).



Этого примера более чем достаточно что бы понять всю обработку, которую необходимо выполнить.

В этом примере два блока с bswap. Это некоторая последовательность простых операций, которая известна и её нужно свернуть, те упростить.

Vamit сделал это через хардкод всех таких конструкций.

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

В простейшем случае такие блоки можно выполнить с нулевым аргументом, это без учёта условий.

-----
vx

| Сообщение посчитали полезным:

Alchemistry пишет:
Уже упоминался убердвиг уничтоживший всех аверов?
Это прошлый век. На подходе мотор, который уничтожит протекторы. Причем не какие-то там, а принципиально все. Все, Карл.

| Сообщение посчитали полезным:

difexacaw пишет:
Я тот же вопрос задал на кл https://exelab.ru/f/action=vthread&forum=6&topic=25760
Есть некоторая функция, не аналоговая", те булевые операции вперемешку с обычной математикой.
Как решать что то на подобие (A xor B) + C ?
Как понимаю нужна некоторая теория и теоремы, как это делается ?
Это нужно что бы свернуть морф/вм код.
И это спрашивает гений, который всем рекомендует учить мать часть. Вот это парадокс.

| Сообщение посчитали полезным:

yashechka

А что собственно не так с вопросом, нет никакой теории что бы на неё опираться в этой теме. Не ясно вообще ничего. Если функции есчо как то можно выделить, даже описать символически, что делать потом совершенно не понятно. А матчасти оказывается нет никакой.

Тему наверно следует почистить, гадят там где ходят.

-----
vx

| Сообщение посчитали полезным:

difexacaw пишет:
А что собственно не так с вопросом
Не понятно, что ты в (a^b)+c упрощать собрался. Очевидно же, что это примитив. Подставляешь из dfg значения и вычисляешь.

| Сообщение посчитали полезным:

SegFault пишет:
Индий я смотрю на вас напали овощи довайте я вам помогу
просто скомпелируйте очередной мотор и объявите что вмпрот повержен
вы же так победили уже все протекторы

На этот раз добрым "овощам" удалось все же отразить атаку злого овоща.
Но гарантий от последующих "удачных" атак нет никаких.
И ни разу не Менделееву - приснится, все же, очередная его непериодическая система в вакууме.

| Сообщение посчитали полезным:

dma
эй "добрый овощ", вы случаем не в одной палате с тс лежали? чем он вам неугодил что вы тригеритесь до сих пор? в утку вашу нагадил?)

| Сообщение посчитали полезным:

Alchemistry пишет:
чем он вам неугодил что вы тригеритесь до сих пор? в утку вашу нагадил?)

Ну, во-первых, у ТС есть чувство юмора и он на новичков не обижается.
Во-вторых, вычисляю адептов ТС - вы уже второй после Плутоса.

| Сообщение посчитали полезным:

dma
Это, а можно по блату меня на первое место, а? Ну там подкрути свой вычислятор, свёртку ему сделай

| Сообщение посчитали полезным:

Alchemistry, вот не поверите - свертка показала, что вы единственный и неповторимый и никакого Плутоса там даже близко нет.

| Сообщение посчитали полезным:

Эх!
Как обычно, полезных тулзов никто не выкладывает.
______
Вот линки на скачивание тех книжек про которые mak писал:
--> Link <-- Reversible and Quantum Circuits: Optimization and Complexity Analysis 2016

И --> Link <-- Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays 2016
____

difexacaw пишет:
Я пытался найти два дока на которые вы ссылаетесь, но во первых они не доступны(один есть у гугла)
Нужно вот этой штукой пользоваться --> Link <--
А не гуглом(в таких случаях). Всем советую и будет Вам счастье =)

| Сообщение посчитали полезным:

kampaster

> полезных тулзов никто не выкладывает.

Ну и накой мне нужен какой то тулз ?
Или какие то доки ниочём, mak выдернул кусок из доков по логическим матрицам, без смысла что бы прокачать звезду. Какие нах матрицы, наркоман чтоле ??

> http://gen.lib.rus.ec

А что это за херня ?

-----
vx

| Сообщение посчитали полезным: Alchemistry

difexacaw пишет:
Ну и накой мне нужен какой то тулз ?
Не тебе а народу.
__
difexacaw пишет:
> http://gen.lib.rus.ec
Теневая библиотека.

| Сообщение посчитали полезным:

kampaster

В запросы, тут тема есть для этого.

-----
vx

| Сообщение посчитали полезным:

kampaster пишет:
Эх!
Как обычно, полезных тулзов никто не выкладывает.

Т.е. я так понимаю, вы по-прежнему что-то ждете и надеятесь на ТС? Похоже, что период времени на пути к коммунизму - вас ничему не научил. Ну, честно признаться, я тоже все еще верю в талант и неординарность ТС.


kampaster пишет:
http://gen.lib.rus.ec

http://gen.lib.rus.ec
http://libgen.io/

Эти адреса чем-то напоминают почерк difexacaw - названия разные, а результат одинаковый.
Это я к тому, что только difexacaw для любой обыденной и повседневной вещи - может придумать свой термин.

| Сообщение посчитали полезным:

dma

А почему тебя до сих пор не забанили ?
Ты ведь не из наших, те никакого отношения не имеешь к коденгу или RE etc.

Судя по твоей одной теме ты просто попиздеть зашёл --> Link <--

-----
vx

| Сообщение посчитали полезным: morgot

difexacaw пишет:
Ну и накой мне нужен какой то тулз ?
Или какие то доки ниочём, mak выдернул кусок из доков по логическим матрицам, без смысла что бы прокачать звезду. Какие нах матрицы, наркоман чтоле ??

Отличный у тебя вывод, но твоя дедукция тебя сегодня подвела, посмотри на свои лайки и посмотри на мои лайки, а потом медитируй на звёзды .. Я уже по комментам понял, что в целом хэндлеры вмки никто даже в глаза не видел Спасибо за комплимент .. умываю руки.

-----
RE In Progress [!] Coding Hazard [!] Stay Clear of this Cube

| Сообщение посчитали полезным: plutos, DimitarSerg

difexacaw пишет:
Судя по твоей одной теме ты просто попиздеть зашёл --> Link <--

Хотите сказать, что по вашим темам можно сделать какой-то другой вывод?


mak пишет:
Спасибо за комплимент .. умываю руки.


mak, ну вы нашли на кого обижаться. Он же все это делает не со зла, а с целью повеселить публику.
Моторы, графы, вмпроты - это все вторично. Главная цель - атмосфера схоластики и веселья на форуме.
Всерьез и близко к сердцу - это все воспринимать не нужно. Всерьез - это все воспринимает только f13nd.

| Сообщение посчитали полезным:

А по-моему ситуация с mak'ом очень поучительная для тех, кто искренне не понимает почему к клерку такое предвзятое отношение у большинства.

-----
2 оттенка серого

| Сообщение посчитали полезным: Gideon Vi, hlmadip

mak пишет:
Спасибо за комплимент .. умываю руки.

лол, уже? ) а ведь так отважно ринулся что-то инде объяснять.

| Сообщение посчитали полезным:

Gideon Vi пишет:
ведь так отважно ринулся что-то инде объяснять

Ты же сам говорил: "вы зацепились языками..." не помню как там дальше, но смысл ясен.
В этой компании только слово скажешь и понеслась моча по трубам.
А потом думаешь: "куда ушли 3 часа жизни...?" =>

-----
Give me a HANDLE and I will move the Earth.

| Сообщение посчитали полезным: Gideon Vi

plutos пишет:
А потом думаешь: "куда ушли 3 часа жизни...?"

Ну, 3 часа из жизни - это еще то, что называется отделались легким испугом. От многих жизнь вообще уходит. Вот скажем, с Крисом Касперски что случилось? Никто же не знает. А может он накануне полемизировал с Инди на каком-нибудь форуме и утратил после этого интерес к жизни. Надо попросить Яшечку, чтобы он более детально изучил подробности инцедента. Или если кто помнит VodoleY - тоже ведь какая-то темная история. Уж не замешан ли и там ТС?

| Сообщение посчитали полезным:

dma пишет:
Или если кто помнит VodoleY - тоже ведь какая-то темная история.
Что случилось с VodoleY? О___0

| Сообщение посчитали полезным:

kampaster пишет:
Что случилось с VodoleY? О___0


--> VodoleY. RIP. <--

| Сообщение посчитали полезным:

прочитал взахлеб) похлеще игр престолов

Добавлено спустя 6 минут
Вообще, интересно без шуток, не занимался подобным никогда, я правильно понимаю задачу- восстановить исходную функцию после ее мутирования? Если да то почему и в чем смысл восстановления атомарных операций на которых зациклился Инди ксор и арифметическое сложение?

Добавлено спустя 8 минут
Если задачей стоит свертка к изначальному коду после разбавления и мутации то не стоит ли выделить операции до порога процессорной атомарности и исключить лишние результат которых не используется или что ведут никуда ни к чему в логике куска кода? Не пинайте сильно))

Добавлено спустя 10 минут
Выше же были примеры с псевдо сишным листингом, разве это не единственно верный и возможный результат разбиения на си-логичные куски , исключения мусора, и возвращения в ассемблер?

| Сообщение посчитали полезным:

По-моему эту кашу нужно анблочить, вернув для начала нормальный вид RISC-машины. Сейчас она XTS или как там в шифровании зовется, короче эту блочную хрень:

привести к:

...как-нибудь.
Разумеется лента p-code тут уже предполагается якобы "расшифрованной" и скоректированой под этот неблочный код, там сразу лежат готовые части. В итоге это просто обыкновенная ВМ, ну, каждая псевдо-уникальна на вид, конечно, и со своим байт-кодом.

У автора протекта стопудового сначала строится самая обыкновенная стековая ВМ, затем раскладывается в реальные инструкции процессора с этими "островками". Затем добавляет мусор и наконец шифрует где и лента и интерпретатор туда-сюда частично меняются/подстраиваются чтобы совместимы стали.

Интересно, а TensorFlow можно применить для чистки/девирта кода как-нибудь? Либа нейросети от Nvidia: the way it's meant to be cracked ))

| Сообщение посчитали полезным:

bizkitlimp
С хэндлером подсчёта CRC что-то надо делать, если лента будет уже раскриптована. Элемент с этой вм-командной будет недостаточно убрать, надо убирать часть от vm_calcCrc вплоть до вызова функции через vm_exit или vm_call

Добавлено спустя 3 минуты
Либо таблицу с CRC перебить. Их 2 вообще-то и покриптованы тоже. Одна маленькая для кусков кода до 255 байт, вторая для больших кусков.

-----
IZ.RU

| Сообщение посчитали полезным:

Походу лента всего лишь содержит оффсеты для кодов вида [rsp+reg] и адреса прыжков к примитивам. Я её уничтожил) Вообщем сделал сэмпл x64-dll https://www.sendspace.com/file/e2718h. Накрыл последним vmp который тут валялся. Исходник накрытого:


Частичный результат (VM_ENTER) https://pastebin.com/wn1rJq7f
Код полностью рабочий, но расколдовал только до развилки je @@valid.
И кажется там не мусорные инструкции, это одна вм покрытая другой

| Сообщение посчитали полезным:

difexacaw
клерк ну как дела, как обычно застрял на сложной задаче?

| Сообщение посчитали полезным:

SegFault

Ничего не застрял, покодить нужно - дизасм собрать, переписать конструктор(это долго).

-----
vx

| Сообщение посчитали полезным: