#1Kubernetes向けのeBPFベースのランタイムセキュリティエージェントで、未知のプロセスやファイル変更を検出し、事前登録された制約を適用し、ランサムウェアやその他の攻撃を軽減するためにポッドの削除やアラートを自動化します。

Linuxカーネルの競合状態をKCOVトレースを用いて調査するためのツールキット:並行実行とメモリアクセスを可視化するGUIおよびターミナルビューアに加え、自動A-B-A順序テストを提供します。

bpftoolを使用してeBPFプログラムとマップをリアルタイムで監視・検査するためのターミナルUI。カーネルレベルの可観測性データのライブデバッグと解析を可能にします。

SQLのセマンティックインスペクタ — クエリ実行前にファンアウトの二重カウント、加法性違反、誤った結合キー、ポリシー違反を検出します。BIRD/SpiderのテキストからSQLへのベンチマークで実際のバグを発見しました。

LLVM パスを通じて C/C++ を難読化: 文字列暗号化、制御フロー平坦化、MBA 書き換え、およびリバースエンジニアリングを防ぐアンチ解析。

マルウェア形態学に関するハンズオン型セキュリティワークショップ。構造解析手法、分類概念、およびNorthSec 2023の実践的演習をカバーしています。

シェルコードペイロードをHTTP/HTTPS(Sliverなど)やGitHub Rawでステージングするために設計されたステルスなステージャ。

Hermes Proxy - HTTPトラフィック解析ツール

コピー防止DRMマルウェアを作成

悪意のあるOneNote文書を分析するためのC#ベースのツール

マルチツール対応のリバースエンジニアリング共同作業ソリューション。

Acropalypse Now - CVE-2023-21036 の検出とサニタイズ

A Magisk module that simplifies running the Frida server on Android, with easy management commands to download specific versions, enable or disable…

SolidityスマートコントラクトのSlither静的解析用MCPサーバー

IaC脅威モデリングツール(STRIDE、MITRE ATT&CK、PASTAフレームワークを使用)。REST API、GraphQL、Docker対応: Terraform、CloudFormation、Kubernetes向け。

Flutter/Dart AOTスナップショット用の静的アナライザー — Dart VMを埋め込んだり実行したりせずに、libapp.soから関数名、クラス階層、コールグラフ、および挙動シグナルを復元します。ARM64およびx86_64、Dart 2.10–3.12をサポート。