smack

SMACKは、 モジュラーソフトウェア検証ツールチェーン であり、 自己完結型ソフトウェア検証器 でもあります。入力プログラム内のアサーションを検証するために使用できます。デフォルトモードでは、アサーションはループ反復と再帰深度に与えられた境界まで検証されます。また、非有界検証のための実験的なサポートも含まれています。SMACKは、動的メモリ割り当て、ポインタ演算、ビット演算など、C言語の複雑な機能を処理します。 内部では、SMACKは LLVM コンパイラの一般的な中間表現（IR）を Boogie 中間検証言語（IVL）に変換するトランスレータです。LLVM...

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 属性を操作して、ターゲットアカウントに「シャドウ資格情報」を実質的に追加することで、それらのアカウントを乗っ取るための C ツールです。 このツールは、Michael Grafnetter @MGrafnetter による DSInternals のコードをベースにしています。 この攻撃を成功させるには、環境に少なくとも Windows Server 2016 を実行しているドメインコントローラーが存在し、そのドメインコントローラ...

hal

HALへようこそ！ HAL /hel/は、包括的なネットリストリバースエンジニアリングおよび操作フレームワークです。 Navigation 1. はじめに 2. ビルド手順 3. クイックスタートガイド 4. 学術的な文脈 はじめに HALって一体何？ 事実上、利用可能なネットリスト解析の研究はすべて、検査対象のネットリストをグラフベースで表現したものを基に動作しています。...

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（Next Generation）は、2010年に公開されたオリジナルのHyenaeツールを書き直したものです。 CからC++への移行に加え、最新の設計概念を使用して、Hyenae NGは（オリジナルのHyenaeと同様に）最大限の移植性を念頭に置いて書かれています。 オリジナルのHyenaeは非常に複雑なコマンドライン構文を持っていたため、Hyenae NGは高速で直感的に使用できるコマンドラインメニューを備えており、複雑なストレステストや攻撃シナリオでも数秒以内に効果的にセットアップできます。 著作権 C 2020 Robin Richter 機...

Manalyze

Manalyze はじめに ManalyzeはPEファイルの静的解析ツールで、実行ファイル（またはそのセット）の一次評価を行うために使用できます。悪意のある動作を示唆する弱いシグナルを収集し、その後の手動分析に役立つ情報を表示します。 ツールが生成したサンプルレポートを見たい場合は、私が作成したWebサービスmanalyzer.orgをお試しください。 目次 PEファイルの静的解析ツール ビルド方法 ClamAVルールの生成 使用方法 Manalyzeを使用している人々 連絡先 PEファイルの静的解析ツール...

wsb-detect

⏳ wsb-detect wsb-detect は、Windows Sandbox（WSB）で実行されているかどうかを検出するためのツールです。このサンドボックスは、Windows Defender が動的解析に使用し、セキュリティアナリストなどが手動で使用することも一般的です。2019年末、Microsoft は Windows Sandbox（略称 WSB）という新機能を導入しました。WSB を識別するために使用される手法は、以下の「手法」セクションにまとめられています。識別のアイデアがあれば、プルリクエストを送信してください🎉。私は時々これをいじっていますが、近いうちに Windo...

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は、限定的な処理を適用した場合（v7ベース、2013年12月）、毎秒100万以上のメッセージをローカル宛先に配信できます。リモート宛先やより複雑な処理でも、そのパフォーマンスは通常「驚異的」と見なされています。...

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 end subgraph callgraphs...

wolfssl

MQX向けビルド方法 概要 このMakefileはwolfSSLライブラリーとサンプルプログラムをMQX向けにビルドするためのものです。 以下のターゲットを含んでいます。 wolfssllib: wolfSSL静的ライブラリー test: 暗号アルゴリズムのテスト benchmark: 暗号アルゴリズムのベンチマーク client: TLS クライアントサンプルプログラム server: TLS サーバサンプルプログラム 準備 事前にGCCをインストールしておいてください。 GNU Arm Embedded Toolchain, https://developer.arm.com...

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 是我们基于 C 语言的固件补丁框架，适用于 Broadcom/Cypress WiFi 芯片， 它使你能够编写自己的固件补丁，例如启用带 radiotap 头的监控模式和帧注入。 下面，你可以看到 nexmon 能够实现的功能概览。本仓库主要专注于在多种芯片上启用监控模式和帧注入。如果你想要更多功能，以下项目可能会让你感兴趣： http://nexmon.org/jammer: 一个真正的 Wi-Fi 干扰器，可以用任意干扰信号覆盖正在进行的帧传输。 它使用 Wi-Fi 芯片作为软件定义无线电来生成干扰信号 它允许使用非标准信道，例如 2.4 GHz...

SharpShooter

/ // / / // / / / \ / / / / \ / / / / / / / / / / / / // / / / // // / / / / // / // / // / / /// //,// / ./// /////// // 説明 SharpShooterは、任意のCSharpソースコードを取得・実行するためのペイロード作成フレームワークです。SharpShooterはHTA、JS、VBS、WSFなど様々な形式のペイロードを作成できます。James Forshaw氏のDotNetToJavaScriptツールを利用して、SharpShooter...

ExportHider

ExportHider ExportHiderは、ファイルシステム上のDLLのエクスポートディレクトリからエクスポート関数を隠すためのコードスタブを含むC++ DLLテンプレートを生成します。関数定義を記述してファイルをコンパイルした後、CFF ExplorerのようなPEファイルビューアでは隠されたエクスポート関数は表示されません。ただし、テンプレート内のコードスタブは実行時にエクスポートディレクトリを再作成するため、正当なGetProcAddress呼び出しは正常に実行されます。この方法は、動的なDLLロードまたはカスタムDLLローダーの場合にのみ機能します。 動作の仕組み...