
semantic_firewall
Generate deterministic semantic fingerprints for Go functions. Detect xz-style backdoors and verify semantic equivalence using Static Single…

Generate deterministic semantic fingerprints for Go functions. Detect xz-style backdoors and verify semantic equivalence using Static Single…

AIベースの悪意あるコード検出および難読化システム。検出、パッキング、コード難読化のためのマイクロサービスに加え、ユーザーサービスと管理者サービスを備えています。

バイナリまたはアプリバンドルの第一印象: エビデンスに基づく静的・非実行解析。CLI、15ツールのMCPサーバー、ローカルWeb UI、Nodeのみ。

LLMエージェント向けのエンドツーエンドセキュリティ監査フレームワーク:静的ASTとテイントモデリング、攻撃合成、Dockerサンドボックスリプレイ、およびMCP監査を伴う決定論的判定レポート。

ソースコード、Web URL、CI/CD全体をカバーする170以上のルールで認証情報とシークレットを検出し、ベンダーAPIに対して検証し、SARIF、JSONL、HTML、PDF、またはExcelレポートを生成します。

AI駆動のセキュリティエンゲージメントを、専門エージェント、Kaliランタイム、耐久性のあるオーケストレーションで実現。

React NativeアプリのHermesバイトコード(HBC)を検査、逆コンパイル、および構造的にパッチするツール。GDBスタイルのREPL、CFG、逆コンパイラ、再シリアライズパッチャーを備えています。

AArch64およびx86_64のマシンコードをLLVM IRにリフトし、インストルメンテーション、難読化解除、ランタイムリカバリを行うLLVMネイティブのバイナリ解析・エミュレーションプラットフォーム。

IDA ProおよびGhidra用のTCP JSONブリッジサーバーで、デコンパイル、クロスリファレンス、シンボル、vtable、RTTI、メモリパッチングを外部スクリプトや自動化パイプラインに公開します。

Free offline SAST engine for CI/CD: AST and cross-file taint analysis, secret detection with live validation, SCA/CVE, IaC misconfiguration, and…

ソースコードを解析し、HARトラフィックを再生してビジネスロジックの欠陥、BOLA、競合状態、権限の問題をローカルLLMトリアージで検出するオフラインSAST/DASTトリアージエンジン。


登録されたオープンソースリポジトリを分離されたオフラインVMでビルドし、セキュリティ脆弱性をスキャンして、再現手順と提案されたパッチを含む検出結果をメールで通知するサービス。

Goツールチェーンをラップし、識別子、パッケージパス、位置データをハッシュに置き換え、デバッグ情報とビルド情報を削除することで、Goビルドを難読化します。

Goのソースコードを、実行時の動作を維持しつつ、AES-256文字列暗号化と実行時復号、識別子の名前変更、コメント削除によって難読化し、リバースエンジニアリングを妨げます。

Mixed Boolean-Arithmetic (MBA) 式を簡略化するためのコード難読化解除フレームワーク

ビジョン言語Webエージェントに対する敵対的画像攻撃:視覚的グラウンディングからブラウザ実行まで

ACE .qvm0で保護されたPEイメージ向けの静的解析および構造復元ツールキット