tamarin-prover
tamarin-prover/tamarin-proverマルチセット書き換えと制約解決を用いて、秘匿性、認証、および等価性の性質を証明するセキュリティプロトコル向けの記号検証ツール。
static-analysisvulnerability-analysiscryptography+2
553
tamarin-prover/tamarin-proverマルチセット書き換えと制約解決を用いて、秘匿性、認証、および等価性の性質を証明するセキュリティプロトコル向けの記号検証ツール。
ashishb/android-security-awesomeAndroid セキュリティ関連リソースのコレクション
anchore/grypeコンテナイメージとファイルシステム向けの脆弱性スキャナ
lifting-bits/sleighGhidraのSLEIGHプロセッサ仕様ライブラリのCMakeビルド。リバースエンジニアリングツール向けに、スタンドアロンの逆アセンブリおよびp-codeリフティングエンジンを提供します。
indalok/rzwebA complete browser-based reverse engineering platform built on Rizin, running entirely client-side via WebAssembly.
youkyi/pki-toolboxクライアントサイドのPKIツールボックス。X.509、CSR、チェーン、CRL、PKCS#7、PKCS#12のアーティファクトをデコードし、ASN.1を表示し、フォーマットを変換し、ブラウザ内で自己署名証明書を生成します。
neurosaki987/tvm-recoverTencent VM の .tvm0 セクションを逆仮想化します。VM ハンドラをゲストレベルのリスティングと LLVM IR にリフトし、CFG とディスパッチを復元し、復元したコードを PE にパッチして戻します。
owasp/decodeboxエンコード。デコード。識別。あらゆるデータに対応するスマートデコーディング。
dmdhrumilmistry/security-harnessAIコーディングエージェント向けのマルチエージェント静的アプリケーションセキュリティレビューハーネス：コードベースをマッピングし、脆弱性クラスを探索し、検出結果を連鎖・検証して、SARIF、JSON、PDFにレポートします。
zhengxr930/apex_officialDefender framework for LLM agent security that compiles task contracts, validates capability manifests, and checks effects via PLANT/WRAP proof…
firelock-ai/kinAIが書いたコードのためのセマンティックグラフベースのバージョン管理。ファイル差分ではなくエンティティとリレーションを追跡し、ブラストレイディアス分析、シャドウマージレビュー、MCPを活用したエージェントコンテキストを可能にして、信頼できるAI生成ソフトウェアを実現します。
eliavila10/win32_hashWindows向けのパスワードハッシュ化および検証ライブラリ。Ada/SPARKで記述され、Windows CNG API（bcrypt）を使用し、GNATproveで証明されています。
ezyang/htmlpurifierPHPで書かれた標準準拠のHTMLフィルター
zinja-coder/jadx-ai-mcpJADXにMCPサーバーを統合するためのプラグイン
hydradragonantivirus/hydradragonantivirusDynamic and static analysis with Real Time Malware Analysis with Antivirus for Windows, including open-source XDR (3 EDR projects), ClamAV, YARA-X,…
0sec-labs/foxguardA fast universal code security scanner, written in Rust. Batteries included: supports 14 languages, TUI for triage, secrets, post-quantum audits,…