rizin-notebook

Rizin Notebook 리진을 이용한 바이너리 분석용 노트북입니다. 바이너리별로 노트, 명령어, 스크립트를 체계적으로 관리합니다. rizin 0.7.0 이상이 필요합니다. 기능 각 노트북 페이지 는 하나의 바이너리에 연결됩니다. 바이너리 자체, SHA-256 해시, 그리고 셀cell 목록을 저장합니다: 명령어 셀 - rizin 명령어와 그 출력 스크립트 셀 - rizin 파이프에 대해 서버에서 실행되는 JavaScript 스니펫 마크다운 셀 - 자유 형식의 노트 페이지는 /.rizin-notebook/ 디렉토리에 개별...

aDLL

aDLL - 동적 링크 라이브러리의 모험 aDLL은 DLL 하이재킹 취약점을 자동으로 발견하는 데 중점을 둔 바이너리 분석 도구입니다. 이 도구는 메모리에 로드된 바이너리 이미지를 분석하여 로드 시점에 로드된 DLL을 검색하고, Microsoft Detours 라이브러리를 사용하여 LoadLibrary/LoadLibraryEx 함수 호출을 가로채서 런타임에 로드된 DLL을 분석합니다. 목적은 실행 파일이 DLL을 검색하는 폴더에서 찾을 수 없는 DLL 목록을 얻는 것입니다. 시작하기 aDLL을 사용하려면 Binaries 폴더에...

barf-project

BARF : 바이너리 분석 및 리버스 엔지니어링 프레임워크 바이너리 코드 분석은 소프트웨어 보안, 프로그램 분석, 리버스 엔지니어링 등 컴퓨터 과학 및 소프트웨어 공학 분야의 여러 영역에서 중요한 활동입니다. 수동 바이너리 분석은 어렵고 시간이 많이 소요되는 작업이며, 이를 자동화하거나 인간 분석가를 지원하는 소프트웨어 도구들이 있습니다. 그러나 이러한 도구 대부분은 기술적 및 상업적 제한이 있어 학계 및 실무 커뮤니티의 많은 부분이 접근 및 사용에 제약을 받습니다. BARF 는 정보 보안 분야에서 일반적인 다양한 바이너리 코...

Karta

/$$ /$$ /$$ | $$ /$$/ | $$ | $$ /$$/ /$$$$$$ /$$$$$$ /$$$$$$ /$$$$$$ | $$$$$/ | $$ /$$ $$| $$/ | $$ | $$ $$ /$$$$$$$| $$ / | $$ /$$$$$$$ | $$\ $$ /$$ $$| $$ | $$ /$$ /$$ $$ | $$ \ $$| $$$$$$$| $$ | $$$$/| $$$$$$$ |/ / /|/ / / 목적 "Karta"러시아어로 "지도"는 주어진 바이너리에서 오픈소스 라이브러리를 식별하고 매칭하는 IDA Python...

CVE-2019-1663-Binary-Analysis

CVE-2019-1663의 바이너리 분석 저자: Corentin Wolff 취약점의 기원 취약점의 출처 이 취약점은 0x0002BF64 함수에서 비롯되며, strcpy 함수를 잘못 사용하여 버퍼 오버플로우 공격에 취약하게 만듭니다. 명확성을 위해 이 함수는 Login으로 이름이 변경되었습니다. 아래는 문제를 보여주는 코드 조각입니다. undefined4 Loginchar param1, char param2, char param3, int param4 ... 이 조각에서 strcpy 함수가 부적절하게 사용되어 버퍼 오버플로우...

nginx-1.4.0

nginx-1.4.0 CVE-2013-2028 분석을 위해 익스플로잇: exp-nginx.rb 바이너리 rop 빌드용: nginx...

metame

metame metame는 임의의 실행 파일을 위한 간단한 변성 코드 엔진입니다. Wikipedia에서: 변성 코드는 실행 시 해석에 따라 자신의 코드와 논리적으로 동등한 버전을 출력하는 코드입니다. 이는 컴퓨터 바이러스가 안티바이러스 소프트웨어의 패턴 인식을 피하기 위해 사용됩니다. metame 구현은 다음과 같이 작동합니다: 1. 주어진 바이너리를 열고 코드를 분석합니다. 2. 명령어를 논리와 크기가 동등한 것으로 무작위로 교체합니다. 3. 원래 바이너리를 복사하고 패치하여 변이된 변종을 생성합니다. 현재 다음 아키텍처를...

grap

grap: 바이너리 내에서 그래프 패턴을 정의하고 매칭하는 도구 https://github.com/QuoSecGmbH/grap grap는 패턴과 바이너리 파일을 입력받아, Casptone 기반 디스어셈블러를 사용하여 바이너리에서 제어 흐름 그래프를 얻은 후, 패턴을 이에 매칭합니다. 패턴은 사용자 정의 그래프로, 명령어 조건"opcode is xor and arg1 is eax"과 반복 조건3개의 동일한 명령어, 기본 블록 등으로 구성됩니다. grap는 디스어셈블러와 Python 바인딩을 갖춘 독립 실행형 도구, 그리고 IDA...

VulFi

VulFi v3.0 소개 VulFi취약점 찾기 도구는 IDA Pro의 플러그인으로, 바이너리에서 버그 헌팅을 지원하는 데 사용할 수 있습니다. 주요 목표는 가장 흥미로운 함수예: strcpy, sprintf, system 등에 대한 모든 상호 참조를 단일 보기로 제공하는 것입니다. Hexrays 디컴파일러를 사용할 수 있는 경우, 취약점 연구 관점에서 흥미롭지 않은 함수 호출예: strcpydst,"Hello World!"을 걸러내려고 시도합니다. 디컴파일러가 없는 경우 규칙은 훨씬 더 간단하며아키텍처에 의존하지 않기 위해 가...

Kam1n0-Community

Kam1n0 v2란 무엇인가? Kam1n0 v2.x 는 확장 가능한 어셈블리 관리 및 분석 플랫폼입니다. 사용자는 먼저 대량의 바이너리 모음을 다양한 저장소로 인덱싱하고 클론 검색 및 분류와 같은 다양한 분석 서비스를 제공할 수 있습니다. 애플리케이션 개념을 사용하여 어셈블리 저장소의 다중 테넌트 액세스 및 관리를 지원합니다. 애플리케이션 인스턴스는 고유한 전용 저장소를 포함하며 특화된 분석 서비스를 제공합니다. 리버스 엔지니어링 작업의 다양성을 고려하여, Kam1n0 v2.x 서버는 현재 세 가지 유형의 클론 검색 애플리케이...

functrace

functrace - 함수 트레이서 functrace 는 DynamoRIOhttp://dynamorio.org/를 사용한 동적 계측을 통해 바이너리 파일을 분석하는 데 도움을 주는 도구입니다. 구현된 기능들 DynamoRIO 기반: 실행된 모든 코드 디스어셈블 특정 함수 디스어셈블 주소인 경우 덤프 특정 함수의 인자 가져오기 주소인 경우 덤프 특정 함수의 반환값 가져오기 주소인 경우 덤프 애플리케이션 신호 모니터링 보고서 파일 생성 ghidrahttps://ghidra-sre.org/ 커버리지 스크립트 functrace 보고서...

reverse-engineering

리버스 엔지니어링 자료 엄선된 멋진 리버싱 리소스 목록 멋진 리버싱 도서 강좌 실습 16진수 편집기 바이너리 형식 디스어셈블러 바이너리 분석 바이트코드 분석 임포트 재구성 동적 분석 디버깅 Mac 복호화 문서 분석 스크립팅 안드로이드 Yara 도서 리버스 엔지니어링 도서 IDA Pro Book Radare2 Book 초보자를 위한 리버스 엔지니어링 어셈블리 언어의 예술 실용 리버스 엔지니어링 리버싱: 리버스 엔지니어링의 비밀 실용 악성코드 분석 악성코드 분석가의 쿡북 그레이 햇 해킹 액세스 거부 메모리 포렌식의 예술 해킹:...

VMDragonSlayer

VMDragonSlayer 프로젝트는 10월 중순에 공개될 예정입니다 리팩토링 진행 중 고급 가상 머신 탐지 및 분석 프레임워크 VMDragonSlayer는 VMProtect 2.x/3.x, Themida 및 사용자 정의 악성코드 VM과 같은 가상 머신VM 기반 보호 프로그램에 의해 보호된 바이너리를 분석하기 위한 포괄적인 프레임워크입니다. 이 프레임워크는 동적 오염 추적DTT, 기호 실행SE, 패턴 분류 및 머신러닝을 포함한 여러 분석 엔진을 결합하여 리버스 엔지니어링 프로세스를 자동화합니다. 목표 : 복잡한 보호 바이너리...

BinAbsInspector

BinAbsInspector란 무엇인가? BinAbsInspector바이너리 추상 검사기는 바이너리에서 자동 역공학 및 취약점 스캔을 위한 정적 분석기로, Keenlab에서 인큐베이팅된 장기 연구 프로젝트입니다. Ghidra의 지원을 받아 추상 해석abstract interpretation을 기반으로 합니다. 어셈블리 대신 Ghidra의 Pcode에서 작동합니다. 현재 x86, x64, armv7 및 aarch64 바이너리를 지원합니다. 설치 Ghidra 문서에 따라 Ghidra 설치 Z3 설치 테스트 버전: 4.8.15 참고...

xortool

xortool.py A tool to do some xor analysis: guess the key length based on count of equal chars guess the key base on knowledge of most frequent char Notice: xortool is now only running on Python 3. The old Python 2 version is accessible at the py2 branch. The pip package has been updated...

extrude

extrude 바이너리에서 누락된 보안 기능, 정보 노출 등을 분석합니다. 🚧 Extrude는 개발 초기 단계에 있으며, 현재 ELF 및 MachO 바이너리만 지원합니다. PE Windows 바이너리는 곧 지원될 예정입니다. 사용법 Usage: extrude flags file Flags: -a, --all Show details of all tests, not just those which failed. -w, --fail-on-warning Exit with a non-zero status even if only...

DefenderCheck

DefenderCheck 회피 작업을 조금 더 쉽게 만들어 주는 빠른 도구입니다. 경고: 1.337.157.0 Defender 서명 업데이트부터 DefenderCheck는 VirTool:MSIL/BytzChk.C!MTB로 분류됩니다. 이를 우회하는 방법을 찾는 동안 임시 해결책으로, DefenderCheck를 컴파일하기 전에 Defender에서 실시간 보호를 비활성화하세요. 바이너리를 입력으로 받아 Microsoft Defender가 플래그할 정확한 바이트를 찾을 때까지 분할한 후, 문제가 되는 바이트를 화면에 출력합니다. 이...

bincat

소개 BinCAT이란 무엇인가? BinCAT은 정적 바이너리 코드 분석 도구 키트로, 리버스 엔지니어가 IDA에서 직접 또는 Python을 사용하여 자동화할 수 있도록 설계되었습니다. 주요 기능: 값 분석 레지스터 및 메모리 오염 분석 taint analysis 타입 재구성 및 전파 역방향 및 순방향 분석 use-after-free 및 double-free 탐지 실제 작동 모습 이전 버전의 BinCAT의 실제 작동 모습을 확인할 수 있습니다: 기본 분석 데이터 오염 사용하기 해당 작업에 대한 내용은 튜토리얼을 확인하세요. 간단...

sploit

sploit Sploit is a Go package that aids in binary analysis and exploitation. The motivating factor behind the development of sploit is to be able to have a well designed API with functionality that rivals some of the more common Python exploit development frameworks while taking advantage of the ...

sploit

sploit Sploit은 바이너리 분석 및 익스플로잇에 도움이 되는 Go 패키지입니다. Sploit 개발의 동기는 보다 일반적인 Python 익스플로잇 개발 프레임워크와 견줄 만한 기능을 갖춘 잘 설계된 API를 제공하면서 Go 프로그래밍 언어의 장점을 활용하는 데 있습니다. 뛰어난 크로스 컴파일러 지원, 고루틴, 강력한 암호화 라이브러리, 정적 타이핑은 Go를 선택하는 몇 가지 이유에 불과합니다. 이 프로젝트는 pwntools 및 다른 멋진 프로젝트에서 영감을 받았습니다. 아직 개발 초기 단계입니다. 이 프로젝트는 셸코딩,...