Главная страница>Связанные с программированием>Исходный код С#
Скачать

Пореллик

Rellic-это реализация алгоритма структурирования, независимого от шаблона, для получения бесконечного C-выхода C из биткода LLVM.

Философия дизайна, лежащая в основе проекта, заключается в том, чтобы обеспечить относительно небольшую и легко взломанную кодовую базу с отличной совместимостью с другими проектами LLVM и Remill.

Примеры

Оригинальная программа Скомпилировано с -emit-llvm -O0 и декомпилировано 
 int main () {
  for ( int i = 0 ; i < 30 ; ++ i ) {
    if ( i % 3 == 0 && i % 5 == 0 ) {
      printf ( "fizzbuzzn" );
    } else if ( i % 3 == 0 ) {
      printf ( "fizzn" );
    } else if ( i % 5 == 0 ) {
      printf ( "buzzn" );
    } else {
      printf ( "%dn" , i );
    }
  }
}
 int main () {
  unsigned int var0 ;
  unsigned int i ;
  var0 = 0U ;
  i = 0U ;
  while (( int ) i < 30 ) {
    if (( int ) i % 3 != 0U || !(( int ) i % 5 == 0U || ( int ) i % 3 != 0U )) {
      if (( int ) i % 3 != 0U ) {
        if (( int ) i % 5 != 0U ) {
          printf ( "%dn" , i );
        } else {
          printf ( "buzzn" );
        }
      } else {
        printf ( "fizzn" );
      }
    } else {
      printf ( "fizzbuzzn" );
    }
    i = i + 1U ;
  }
  return var0 ;
}
 int main () {
  int i = 0 ;
  start:
  i ++ ;
  switch ( i ) {
    case 1 : printf ( "%dn" , i ); goto start; break ;
    case 2 : printf ( "%dn" , i ); goto start; break ;
    case 3 : printf ( "%dn" , i ); break ;
  }
}
 int main () {
  unsigned int var0 ;
  unsigned int i ;
  var0 = 0U ;
  i = 0U ;
  do {
    i = i + 1U ;
    if (!( i != 3U && i != 2U && i != 1U ))
      if ( i == 3U ) {
        printf ( "%dn" , i );
        break ;
      } else if ( i == 2U ) {
        printf ( "%dn" , i );
      } else {
        printf ( "%dn" , i );
      }
  } while (!( i != 3U && i != 2U && i != 1U ));
  return var0 ;
}
 int main () {
  int x = atoi ( "5" );
  if ( x > 10 ) {
    while ( x < 20 ) {
      x = x + 1 ;
      printf ( "loop1 x: %dn" , x );
    }
  }
  while ( x < 20 ) {
    x = x + 1 ;
    printf ( "loop2 x: %dn" , x );
  }
}
 int main () {
  unsigned int var0 ;
  unsigned int x ;
  unsigned int call2 ;
  var0 = 0U ;
  call2 = atoi ( "5" );
  x = call2 ;
  if (( int ) x > 10 ) {
    while (( int ) x < 20 ) {
      x = x + 1U ;
      printf ( "loop1 x: %dn" , x );
    }
  }
  if (( int ) x <= 10 || ( int ) x >= 20 ) {
    while (( int ) x < 20 ) {
      x = x + 1U ;
      printf ( "loop2 x: %dn" , x );
    }
  }
  if (( int ) x >= 20 && (( int ) x <= 10 || ( int ) x >= 20 )) {
    return var0 ;
  }
}

В прессе

C ваши структуры данных с помощью rellic-headergen

Интерактивное декомпиляция с rellic-xref

Увеличение: эксперимент с интерактивным декомпиляцией

Статус сборки

владелец
Linux

Получить помощь

Если у вас возникают проблемы с Rellic без документов, обратитесь за помощью к #binary-lifting канале Empire Hacking Slack.

Поддерживаемые платформы

Rellic поддерживается на платформах Linux и был протестирован на Ubuntu 22.04.

Зависимости

Большинство зависимостей Rellic могут быть обеспечены репозиторием CXX-Common. Trail of Bits Hosts загружаемые, предварительно построенные версии CXX-Common, что значительно облегчает работу с Rellic. Тем не менее, следующая таблица представляет большую часть зависимостей Реллика.

Имя Версия
Git Последний
Cmake 3.21+
Google Flags Последний
Журнал Google Последний
LLVM 16
Герметичный 16
Z3 4.7.1+

Предварительные изображения Docker

Предварительно созданные изображения Docker доступны в Docker Hub и реестре пакетов Github.

Получение и создание кода

На Linux

Во -первых, обновить способность и установить базовые зависимости. 

sudo apt update
sudo apt upgrade

sudo apt install 
     git 
     python3 
     wget 
     unzip 
     pixz 
     xz-utils 
     cmake 
     curl 
     build-essential 
     lsb-release 
     zlib1g-dev 
     libomp-dev 
     doctest-dev

Если распределение, которое вы включаете, не включает недавний выпуск Cmake (3,21 или более поздней версии), вам нужно его установить. Для Ubuntu см. Здесь https://apt.kitware.com/.

Следующим шагом является клонирование релерелического репозитория. 

git clone --recurse-submodules https://github.com/lifting-bits/rellic.git

Наконец, мы строим и упаковываем Rellic. Этот скрипт создаст еще один каталог, rellic-build , в текущем рабочем каталоге. Все оставшиеся зависимости, необходимые Rellic, будут загружены и размещены в родительском каталоге наряду с репозицией в lifting-bits-downloads вниз (для получения более подробной информации см. Параметр сценария -h ). Этот сценарий также создает установленные пакеты Deb, RPM и TGZ. 

 cd rellic
./scripts/build.sh --llvm-version 16
# to install the deb package, then do:
sudo dpkg -i rellic-build/ * .deb

Чтобы попробовать Rellic, вы можете сделать следующее, учитывая файл биткода LLVM по вашему выбору. 

 # Create some sample bitcode or your own
clang-16 -emit-llvm -c ./tests/tools/decomp/issue_4.c -o ./tests/tools/decomp/issue_4.bc

./rellic-build/tools/rellic-decomp --input ./tests/tools/decomp/issue_4.bc --output /dev/stdout

На macOS

Убедитесь, что вы получите последний выпуск CXX-Common для LLVM 16. Затем постройте с 

cmake 
  -DCMAKE_BUILD_TYPE=RelWithDebInfo 
  -DCMAKE_TOOLCHAIN_FILE=/path/to/vcpkg/scripts/buildsystems/vcpkg.cmake 
  -DVCPKG_TARGET_TRIPLET=x64-osx-rel 
  -DRELLIC_ENABLE_TESTING=OFF 
  -DCMAKE_C_COMPILER= ` which clang ` 
  -DCMAKE_CXX_COMPILER= ` which clang++ ` 
  /path/to/rellic

make -j8

Docker Image

Изображение Docker должно предоставить среду, которая может настраивать, строить и запускать перереллический. Изображения Docker параметризованы Ubuntu Verison, версия LLVM и архитектура.

Чтобы построить изображение Docker, используя LLVM 16 для Ubuntu 22.04 Вы можете запустить следующую команду: 

UBUNTU=22.04 ; LLVM=16 ; docker build . 
  -t rellic:llvm ${LLVM} -ubuntu ${UBUNTU} 
  -f Dockerfile 
  --build-arg UBUNTU_VERSION= ${UBUNTU} 
  --build-arg LLVM_VERSION= ${LLVM}

Чтобы запустить декомпилятор, входная точка уже была установлена, но убедитесь, что бит -код, который вы разбиваете, является той же версией LLVM, что и декомпилятор, и запустите: 

 # Get the bc file
clang-16 -emit-llvm -c ./tests/tools/decomp/issue_4.c -o ./tests/tools/decomp/issue_4.bc

# Decompile
docker run --rm -t -i 
  -v $( pwd ) :/test -w /test 
  -u $( id -u ) : $( id -g ) 
  rellic:llvm16-ubuntu22.04 --input ./tests/tools/decomp/issue_4.bc --output /dev/stdout

Чтобы объяснить вышеупомянутую команду больше: 

 # Mount current directory and change working directory
-v $( pwd ) :/test -w /test

и 

 # Set the user to current user to ensure correct permissions
-u $( id -u ) : $( id -g )

Тестирование

Мы используем несколько интеграции и модульных тестов для тестирования Rellic.

Тесты об обратном обработке будут принимать код C, построить его в LLVM IR, а затем перевести этот IR обратно в C. Тест, затем видит, может ли полученное C, и может ли переведенный код (примерно) то же самое, что и оригинал. Чтобы запустить их, используйте: 

 cd rellic-build # or your rellic build directory
CTEST_OUTPUT_ON_FAILURE=1 cmake --build . --verbose --target test

Anghabench 1000 представляет собой выборку из 1000 файлов (x 4 архитектуры, поэтому в общей сложности 4000 тестов) из полных миллионов программ, которые поставляются с Anghabench. Этот тест только проверяет, переводится ли бит -код для этих программ, а не к красивой или функциональности полученного перевода. Чтобы запустить этот тест, сначала установите требуемые зависимости от питона, обнаруженные в scripts/requirements.txt , а затем запустите: 

scripts/test-angha-1k.sh --rellic-cmd < path_to_rellic_decompiler_exe >

Цитируя Реллик

Пожалуйста, используйте следующий фрагмент Bibtex, чтобы цитировать Rellic: 

@online{rellic,
  title={Rellic},
  author={Surovič, Marek and Bertolaccini, Francesco},
  organization={Trail of Bits},
  url={https://github.com/lifting-bits/rellic}
}
Расширять
Дополнительная информация
Связанные приложения
Рекомендуем вам
Связанные новости Все