anonymous?

Paper https://www.usenix.org/system/files/woot20-paper-fioraldi.pdf Abstract state-of-the-art fuzzing 연구를 포함한 오픈소스 도구인 AFL++ 제안함 Introduction fuzzing에서의 어려움 fuzzing 기술들은 독립적으로 개발되어서 결합해서 사용하는 과정이 오래걸리고 fuzzing 기능 결합이 어려움 개발한 도구 평가가 어려움 앞선 fuzzing에서의 어려움 해결 위해 확장 가능한 API 제안 새로운 newline이 될 AFL++ 제안 연구자들은 이미 AFL++에 구현된 state-of-the-art 특징들을 통해 그들이 제안한 특징들을 비교하여 평가할 수 있음 연구에 사용하기 쉬운 특징들 제공 coverage-..

ANALYSIS/Paper Review 2022. 6. 27. 23:14

파일 정보 $ file 08_angr_constraints 08_angr_constraints: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=d53f4be8c8a8535398c061131666b583f07c6b19, not stripped 코드 분석 main() int __cdecl main(int argc, const char **argv, const char **envp) { signed int i; // [esp+Ch] [ebp-Ch] password = 'WISO'; dword_804A..

SYSTEM HACKING/CTF, etc 2022. 5. 15. 13:59

PAPER https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7546500 ABSTRACT 이 논문에서는 여러 분석 기술들을 구현한 바이너리 분석 프레임워크를 제안한다. 제안한 바이너리 분석 프레임워크가 효율적인 바이너리 취약점 분석 기술임을 평가하기 위해 DARPA에서 생성한 데이터셋을 통해 평가한다. 이 프레임워크는 오픈소스이다. 1. INTRODUCTION 바이너리 분석의 중요성 interpreted 언어도 바이너리 프로그램에 의해 인터프리트 되었거나, JIT(Just-In-Time)으로 바이너리 코드로 컴파일 되었다. OS나 성능이 중요한 애플리케이션은 여전히 바이너리 코드로 컴파일 되는 언어(C, C++ 등)로 작성된다. IoT는 자원이 제약된..

ANALYSIS/Paper Review 2022. 5. 15. 09:00

파일 정보 $ file 07_angr_symbolic_file 07_angr_symbolic_file: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=9415cb30bed985681d385c2ae9292ede963d6895, not stripped 코드 분석 main() int __cdecl __noreturn main(int argc, const char **argv, const char **envp) { int v3; // ST08_4 bool v4; // cf bool v5; // zf s..

SYSTEM HACKING/CTF, etc 2022. 5. 14. 21:36

코드 분석 main() int __cdecl main(int argc, const char **argv, const char **envp) { char v3; // al signed int i; // [esp+Ch] [ebp-Ch] buffer0 = (char *)malloc(9u); buffer1 = (char *)malloc(9u); memset(buffer0, 0, 9u); memset(buffer1, 0, 9u); printf("Enter the password: "); __isoc99_scanf("%8s %8s", buffer0, buffer1); for ( i = 0; i >> import angr >>> p = angr.Project('06_angr_symbolic_dynamic_memory..

SYSTEM HACKING/CTF, etc 2022. 5. 14. 16:48

파일 정보 $ file 05_angr_symbolic_memory 05_angr_symbolic_memory: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=7fce021dfa8d22282d85297e98dd62a266eb5975, not stripped 코드 분석 .text:080485BF ; int __cdecl main(int argc, const char **argv, const char **envp) .text:080485BF public main .text:080485BF main p..

SYSTEM HACKING/CTF, etc 2022. 5. 14. 16:13

파일 정보 $ file 04_angr_symbolic_stack 04_angr_symbolic_stack: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=dbb593c5082a34aa879daf76e62b081b0676d71b, not stripped Code Analysis main 함수 int __cdecl main(int argc, const char **argv, const char **envp) { printf("Enter the password: "); handle_user(); re..

SYSTEM HACKING/CTF, etc 2022. 5. 14. 15:56

파일 정보 $ file 03_angr_symbolic_registers 03_angr_symbolic_registers: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=5eaf22d08b110b8badc7537a2d06d9160c157106, not stripped Code Analysis int __cdecl main(int argc, const char **argv, const char **envp) { int v3; // eax int v4; // edx int v5; // ST1C_4 i..

SYSTEM HACKING/CTF, etc 2022. 5. 14. 15:53

파일 정보 $ file 02_angr_find_condition 02_angr_find_condition: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=6bc3ff3d86d24ca7f2828d05496d14647eb2012d, not stripped 실행 “Good Job.”을 출력해주는 경로의 주소를 알 수 없는 경우이다. 패스워드가 맞을 경우 “Good Job.”을, 틀릴 경우 “Try again.”을 출력해주는 것을 알기 때문에, 이 출력되는걸 기반으로 가능한 경로를 찾아서 solutio..

SYSTEM HACKING/CTF, etc 2022. 5. 14. 15:50

파일 정보 $ file 01_angr_avoid 01_angr_avoid: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=1be0722542d5f21e30c1f4930e1b036d78d552a8, not stripped 실행 이번에도 패스워드 입력받고 틀리면 Try again.을 출력해준다. 코드 분석 ..을 해보려고 했는데 디스어셈블이 안 돼서 뭔가 이번 문제는 avoid니까 avoid만 보고 angr 적용하는 문제 같다. 0x080d3773 :lea eax,[ebp-0x34] 0x080d37..

SYSTEM HACKING/CTF, etc 2022. 5. 14. 15:47

파일 정보 $ file 00_angr_find 00_angr_find: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=33a8c07c85370a2b45a17cc78b035b56d2dd7f8e, not stripped 파일 실행 파일을 실행하면 비밀번호를 입력 받고 틀리면 “Try again.”을 출력해준다. 옮을 경우 출력해주는 루틴도 있을 것이다. 더 정확하게 분석하기 위해 코드분석을 해보자. 코드 분석 main() 함수 int __cdecl main(int argc, const char **..

SYSTEM HACKING/CTF, etc 2022. 5. 14. 15:44

# Abstract **firmware analysis** 임베디드 기기의 증가로, firmware 분석이 중요해졌다. 하지만 하드웨어와 펌웨어 사이 의존성으로 인해 firmware 동적 분석에 어려움이 있다. **abstraction** 개발자들은 Hadrware Abstraction Layers(HALs)과 같은 abstraction을 사용하여 코드 개발을 하는데, 이 연구에서는 이 abstraction을 펌웨어 리호스팅과 분석의 기반으로 사용했다. HAL 함수의 대체물을 제공하여 펌웨어의 하드웨어 의존성을 제거했다. 먼저 펌웨어에 라이브러리 함수를 위치시키고, full-system emulator에 이 함수들의 구현을 제공하는 방식으로 이루어진다. **HALucinator** 펌웨어 리호스팅이 가능..

ANALYSIS/Paper Review 2022. 5. 12. 14:52