smack

SMACK은 모듈식 소프트웨어 검증 도구 체인 이자, 자체-완결형 소프트웨어 검증기 입니다. 입력 프로그램의 단언문assertion을 검증하는 데 사용할 수 있습니다. 기본 모드에서는 루프 반복 및 재귀 깊이에 주어진 경계까지 단언문을 검증하며, 무한 검증을 위한 실험적 지원도 포함하고 있습니다. SMACK은 동적 메모리 할당, 포인터 연산, 비트 연산 등 C 언어의 복잡한 기능을 처리합니다. 내부적으로 SMACK은 LLVM 컴파일러의 널리 사용되는 중간 표현IR을 Boogie 중간 검증 언어IVL로 변환하는 변환기입니다...

honggfuzz

Honggfuzz A security-oriented, feedback-driven, evolutionary fuzzer. Honggfuzz is a general-purpose fuzzer that uses code coverage software and hardware-based to find bugs. It is multi-process, multi-threaded, and supports persistent fuzzing for extreme speed. Key Features Fast : Multi-process an...

Whisker

Whisker Whisker는 Active Directory 사용자 및 컴퓨터 계정의 msDS-KeyCredentialLink 특성을 조작하여 대상 계정에 "Shadow Credentials"를 효과적으로 추가하는 C 도구입니다. 이 도구는 Michael Grafnetter @MGrafnetter의 DSInternals 코드를 기반으로 합니다. 이 공격이 성공하려면 환경에 최소 Windows Server 2016을 실행하는 도메인 컨트롤러가 있어야 하며, PKINIT Kerberos 인증을 허용하기 위해 도메인 컨트롤러에 서버...

hal

HAL에 오신 것을 환영합니다! HAL /hel/은 포괄적인 넷리스트 리버스 엔지니어링 및 조작 프레임워크입니다. 탐색 1. 소개 2. 빌드 지침 3. 빠른 시작 가이드 4. 학술적 맥락 소개 HAL이란 대체 무엇인가요? 사실상 넷리스트 분석에 관한 모든 연구는 검사 대상 넷리스트를 그래프 기반으로 표현한 것을 사용합니다. HAL의 핵심은 바로 이것입니다: FPGA나 ASIC 등 다양한 소스의 넷리스트를 그래프 기반 넷리스트 표현으로 파싱하고, 포함된 게이트와 넷의 탐색 및 분석에 필요한 내장 도구를 제공하는 프레임워크입니다...

seer

はじめに Seer - Linux向けgdbのGUIフロントエンドです。Ernie Pasveer [email protected] このプロジェクトは活発に開発が進められています。目標は、gdbへのシンプルでありながら使いやすいGUIを提供することです。 バグや機能要望は、私のメールアドレスまで報告するか、GitHubプロジェクトページにタスクを作成してください。 インストール ============ Seerは、パッケージマネージャーまたはソースコードからインストールできます。 !NOTE インストール前に要件が満たされていることを確認してください。 要件 Linux...

shepard

SHEPARD BITS This is a persistance tool using Windows Background Intelligent Transfer Service BITS. Functionality File Download, File Exfiltration, File Download + Persistent Execution Usage Run shepard.exe as Administrator with the following command line arguments: -d : regular file download to ...

hyenae-ng

Hyenae NG Hyenae NG Next Generation is a re-write of the original Hyenae tool which was originally published back in the year 2010. Besides switching from C to C++, using modern design concepts, Hyenae NG was just like the original Hyenae written with maximum portability in mind. Since the origin...

hyenae-ng

Hyenae NG Hyenae NG차세대는 원래 2010년에 출시된 오리지널 Hyenae 도구를 재구성한 것입니다. C에서 C++로 전환하고 현대적인 설계 개념을 사용하는 것 외에도, Hyenae NG는 원래 Hyenae와 마찬가지로 최대 이식성을 염두에 두고 작성되었습니다. 원래 Hyenae는 매우 복잡한 명령줄 구문을 가지고 있었기 때문에 Hyenae NG는 빠르고 직관적으로 사용할 수 있는 명령줄 메뉴를 제공하여 복잡한 스트레스 테스트나 공격 시나리오도 몇 초 안에 효과적으로 설정할 수 있습니다. 저작권 C 2020...

Manalyze

Manalyze 소개 Manalyze는 PE 파일을 위한 정적 분석 도구로, 실행 파일또는 실행 파일 집합에 대한 초기 평가를 수행하는 데 사용할 수 있습니다. 악성 행동을 나타낼 수 있는 약한 신호를 수집하고, 이후 수동 분석에 도움이 되는 정보를 표시합니다. 툴이 생성한 몇 가지 샘플 보고서를 보고 싶다면, 제가 만든 웹 서비스manalyzer.org를 사용해 보세요. 목차 PE 파일을 위한 정적 분석기 빌드 방법 ClamAV 규칙 생성 사용법 Manalyze를 사용하는 사람들 연락처 PE 파일을 위한 정적 분석기...

wsb-detect

⏳ wsb-detect wsb-detect를 사용하면 Windows Sandbox"WSB"에서 실행 중인지 감지할 수 있습니다. 이 샌드박스는 Windows Defender가 동적 분석에 사용하며, 일반적으로 보안 분석가 등이 수동으로 사용합니다. 2019년 말, Microsoft는 Windows Sandbox줄여서 WSB라는 새로운 기능을 도입했습니다. WSB를 식별하는 데 사용되는 기술은 아래 기술 섹션에 설명되어 있습니다. 지문 식별 아이디어가 있으면 자유롭게 풀 리퀘스트를 제출해 주세요 🎉. 저는 이것저것 만져보고 있으...

external_expat_AOSP10_r33_CVE-2022-22822toCVE-2022-22827

Expat, リリース 2.2.6 これはExpat、XMLをパースするためのCライブラリで、1997年にJames Clarkによって開始されました。 Expatはストリーム指向のXMLパーサーです。つまり、パースを開始する前にパーサーにハンドラを登録します。これらのハンドラは、パーサーが解析中のドキュメント内の関連する構造を発見したときに呼び出されます。開始タグは、ハンドラを登録できる構造の一例です。 Windowsユーザーは、expatwin32 パッケージを使用してください。これには、プリコンパイル済みのライブラリと実行ファイル、および開発者向けのソースコードが含まれています。...

duplicut

Duplicut :scissors: Quickly dedupe massive wordlists, without changing the order Created by nil0x42 and contributors 📖 Overview Nowadays, password wordlist creation usually implies concatenating multiple data sources. Ideally, most probable passwords should stand at start of the wordlist, so most...

Microsoft-CVE-2021-1675

Microsoft-CVE-2021-1675 CVE-2021-1675 の脆弱性を悪用する小さな C プロジェクトを作成しました。 CVE-2021-1675 の詳細については、私のブログ記事をご確認ください： https://thalpius.com/2021/07/16/windows-print-spooler-elevation-of-privilege-vulnerability-cve-2021-1675-explained 使用方法 Microsoft CVE-2021-1675 CVE-2021-1675.exe...

CVE-2019-17041

Rsyslog - 무엇인가요? Rsyslog는 로 켓처럼 빠른 시스 템으로 로그 처리를 수행합니다. 고성능, 뛰어난 보안 기능 및 모듈식 디자인을 제공합니다. 일반 syslogd로 시작했지만, rsyslog는 로깅의 스위스 군용 칼과 같은 도구로 진화하여 다양한 소스에서 입력을 받아 변환하고 결과를 다양한 대상으로 출력할 수 있습니다. Rsyslog는 제한된 처리가 적용될 때2013년 12월 v7 기준 초당 백만 개 이상의 메시지를 로컬 대상으로 전달할 수 있습니다. 원격 대상 및 더 정교한 처리에서도 성능은 일반적으로...

ghidrecomp

Ghidrecomp - コマンドライン Ghidra デコンパイラ 概要 この Python コマンドラインツールは、バイナリのすべての関数を逆コンパイルし、それらを個別の C ファイルとしてディレクトリに書き出します:mermaid flowchart LR afilename -- bghidrecomp a2Symbol Server -- b b -- eGhidra Project Files b -- output subgraph output subgraph decompilations direction LR ifunc1.c hfunc2.c ffuncB.c...

wolfssl

wolfSSL 임베디드 SSL/TLS 라이브러리 wolfSSL 임베디드 SSL 라이브러리이전 명칭 CyaSSL는 ANSI C로 작성된 경량 SSL/TLS 라이브러리로, 주로 임베디드, RTOS 및 리소스가 제한된 환경을 대상으로 합니다. 이는 작은 크기, 속도 및 기능 세트 때문입니다. 또한 로열티 없는 가격 정책과 뛰어난 크로스 플랫폼 지원 덕분에 표준 운영 환경에서도 흔히 사용됩니다. wolfSSL은 현재 TLS 1.3 및 DTLS 1.3에 이르는 업계 표준을 지원하며, OpenSSL보다 최대 20배 작고, ChaCha20...

CVE-2023-23397-PoC

CVE-2023-23397-PoC C送信専用バージョンの CVE-2023-23397-POC-Powershell by Oddvar Moe @oddvarmoe 作 Outlookアカウントに関連付けられたアドレスからメールを送信します。 .\CVE202323397.exe --help CVE202323397 1.0.0.0 Copyright c 2023 -t, --to Required. Recipient email address -p, --path Required. UNC Path -s, --subject Message subject...

nexmon

nexmon とは? Nexmon は、Broadcom/Cypress WiFi チップ向けの C 言語ベースのファームウェアパッチフレームワークです。これを使用すると、例えば radiotap ヘッダー付きモニターモードやフレームインジェクションを有効にするなど、独自のファームウェアパッチを作成できます。 以下に、nexmon で可能なことの概要を示します。このリポジトリは主に、多くのチップでモニターモードとフレームインジェクションを有効にすることに焦点を当てています。追加機能が必要な場合は、次のプロジェクトが参考になるかもしれません: http://nexmon.org/jamme...

SharpShooter

/ // / / // / / / \ / / / / \ / / / / / / / / / / / / // / / / // // / / / / // / // / // / / /// //,// / ./// /////// // 설명 SharpShooter는 임의의 CSharp 소스 코드를 검색 및 실행하기 위한 페이로드 생성 프레임워크입니다. SharpShooter는 HTA, JS, VBS, WSF 등 다양한 형식의 페이로드를 생성할 수 있습니다. James Forshaw의 DotNetToJavaScript 도구를...

ExportHider

ExportHider ExportHider는 내보내기된 함수들을 파일 시스템의 DLL 내보내기 디렉터리Export Directory에서 숨길 수 있는 코드 스텁code stub이 포함된 C++ DLL 템플릿을 생성합니다. 함수 정의를 작성하고 파일을 컴파일한 후에는 CFF Explorer와 같은 PE 파일 뷰어를 통해 숨겨진 내보내기 함수가 보이지 않게 됩니다. 그러나 템플릿 내의 코드 스텁이 런타임 중에 내보내기 디렉터리를 재생성하므로 정당한 GetProcAddress 호출은 성공적으로 실행됩니다. 이 방법은 동적 DLL 로...