
checkov v3.3.19
ビルド時にTerraform、Kubernetes、CloudFormation、コンテナイメージ全体でクラウドの誤設定、脆弱性、シークレットを検出するインフラストラクチャ・アズ・コード向けの静的解析ツール。
公開されたサイバーセキュリティツールの短い編集更新です。

ビルド時にTerraform、Kubernetes、CloudFormation、コンテナイメージ全体でクラウドの誤設定、脆弱性、シークレットを検出するインフラストラクチャ・アズ・コード向けの静的解析ツール。

RFID解析、エミュレーション、およびペネトレーションテストのためのハードウェアツール。125kHz、13.56MHzプロトコル(MIFARE、iClass、ISO14443/15693)をサポートし、セキュリティ研究向けの鍵回復、スニッフィング、スクリプティング機能を備えています。

AndroidアプリのSSL/TLS証明書ピンニングをバイパスするFridaツールキットで、Java TrustManager、OkHttp、Conscrypt、およびネイティブのOpenSSL/BoringSSLレイヤーをフックします。

ネイティブコード向けの動的な分岐発散ファインダー -- 2つのFrida実行をトレースし、それらが発散する正確な命令を特定します。

JavaScript & Node.js オープンソース SAST スキャナー。最も一般的な悪意のあるパターンを検出する静的解析ツール 🔬。

LLMとCertora Proverを使用してスマートコントラクトのCVL仕様を生成・改良し、成功または最大イテレーションまで検証器の出力をフィードバックする反復型エージェントハーネス。

高速SSL/TLSスキャナー。対応している暗号スイート、プロトコル、脆弱性(Heartbleed、POODLE、CRIME)を発見し、証明書チェーン分析と鍵交換列挙機能を備えています。

オープンソースかつAIを活用したサイバーセキュリティツール。オフェンシブセキュリティ、脆弱性管理、自律型ペネトレーションテスト向け。ラテンアメリカのハッカーによって開発され、世界中で使用されています。

C++17とQt 6で構築されたWeb脆弱性スキャナー。GUI、CLI、設定可能なクローリング、JSONレポートを備える。教育目的で再構築されたもの。

コンテナイメージとファイルシステムからソフトウェア部品表(SBOM)を生成するためのCLIツールおよびライブラリ

ShadowNetは、システム全体のすべての接続を強制的にTor経由で送信しながら、Mixnet類似の技術とOSの強化を実装する匿名ルーティングプロトコルです。

高性能な分散システムを構築するための産業グレードのC++ RPCフレームワーク。複数のプロトコル(HTTP、gRPC、Redis、Thrift)をサポートし、ロードバランシング、ネーミングサービス、RAFTコンセンサスを内蔵。