главная --> Link <--

roadmap --> Link <--
These are in no particular order:
1.Finish basic type recovery to distinguish between structs/stack/class variables and pointer types
2.Add support for detecting and defining how variables are passed through functions.
3.Copy data elements from executable into IR output to make it run in lli.
4.Target support - x86, mips, and PPC
5.Add recursive decent parser and capture all control flow (including annotations of invariants for loops)
6.More advanced type recovery using library and system calls
7.Indirect control flow smt/sat solver
8.Support for conditional instructions
9.Support for multi-def instructions
10.Support for conditionals
11.High level type recovery
12.Optimizing codeinvisel tables
13.Exception handlers, interrupts, signals and other things that can affect control flow
14.Recovery of complex language structs (slices in python or c++ classes)

пример вконце --> Link <--

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

чемто логику свипера напоминает

-----
Наша работа во тьме, Мы делаем, что умеем. Мы отдаем, что имеем, Наша работа во тьме....

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

Вот еще товарищи тем же самым занимались:
http://llvm.org/devmtg/2013-04/bougacha-slides.pdf

Но к сожалению пока ничего не выложили:
http://dagger.repzret.org/

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

Сегодня выложили исходники Dagger: --> Link <--

Right now, only X86-64 is supported; the best working object file format being mach-o

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

bbuc
как их скачивать то? Выложите исходники плиз

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

git пользоваться что ли не умете?

bbuc пишет:
Сегодня выложили исходники Dagger
я думал о том завести ли тему отдельную или обьеденить их

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

Что радует, так это то что большинство работы которую ты планировал для себя делает кто-то другой. Надо только подождать.

-----
старый пень

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

нахер ставить еще софт какой то чтобы скачать исходник совсем йопнулись
бло кто скачал выложите на шару

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

http://www.sendspace.com/file/91l62e

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

Кто-нибудь пощупал уже этот Dagger?

-----
старый пень

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

Вот еще одни ребята подтянулсь.
Правда они код пока не выкладывали, вот слайды, которые они показывали на Recon 2014:
http://www.trailofbits.com/resources/McSema.pdf

В качестве источника у них служит IDA, потом они перегоняют в какой-то собственный формат использующий protobuf, потом уже используется LLVM. В теории вместо иды, можно воткнуть что угодно.

Все демки что они показывали на конфе, были заточены под Windows. Так что пока это самая многообещающая реализация.

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

bbuc пишет:
В качестве источника у них служит IDA, потом они перегоняют в какой-то собственный формат использующий protobuf, потом уже используется LLVM. В теории вместо иды, можно воткнуть что угодно.

посмотрел я их слайды.. имхо к реверсу морфов данный подход слабо годен. ВОЗМОЖНО как вариант переноса кода на хайлевел и трансляции на др. платформы это и когдато будет полезно.. но с хорошим морфом.. и ида не справляется..(точнее помогает.. но режим больше ручной) я уже не говорю об косвенной адресаци.. и т.д. хрен че они в статике путевого сделают

-----
Наша работа во тьме, Мы делаем, что умеем. Мы отдаем, что имеем, Наша работа во тьме....

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

Исходиков пока нет, сказать сложно.
Но подход не так плох как кажется, вместо иды можно использовать свой трейсер, который будет писать выхлоп в их формате в protobuf файл, а потом уже его скармливать их поделию.

Но все же имхо использование IDA скорее плюс чем минус.

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

bbuc пишет:
Но все же имхо использование IDA скорее плюс чем минус.
все в этом мире относительно.. плюс иды это дизасм и анализатор и поддержка плагов ... НО у каждого инструмента свое применение

-----
Наша работа во тьме, Мы делаем, что умеем. Мы отдаем, что имеем, Наша работа во тьме....

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

В общем, фракчура и даггер пока далеки от продакшена, только на поиграться. Направление очень крутое и последствия выхода на рынок хороших и открытых инструментов по перегону x86/64 в LLVM IR непредсказуемы. McSema внушает доверие, но там многое зависит от DARPA, которые финансируют проект.

Жаль, что LLVM IR - > Code плохо развивается.

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

McSema, которую презентовали на Recon2014, зарелизили:
https://github.com/trailofbits/mcsema

Тут видео с презентацией и 3 демками:
http://www.youtube.com/watch?v=nW9bE5tUVYg

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