#1NCC Code Navigator

Go関数の決定論的セマンティックフィンガープリントを生成します。SSA(静的単一割り当て)解析とスカラー進化解析を用いて、xzスタイルのバックドアを検出し、セマンティック等価性を検証します。

OWASP のセキュアコーディング実践クイックリファレンスガイド

「Sucosh」は、Python(Flask-Django)およびNodeJs向けの自動ソースコード脆弱性スキャナ兼評価フレームワークであり、Webアプリケーション開発またはソースコード分析プロセスにおいてコードレビューを実行できます。

AI harness for long-running code audits, web pentests, and bug bounty hunting, built around how real investigations fail: anchored hypotheses, false…

CodeQL + DTrace = XNU におけるメモリ情報漏えいの脆弱性

ASTベースのPythonコード変換・難読化解除フレームワーク

16言語でプロジェクトのソースコードをスキャンし、SQLi、XSS、SSRF、コマンドインジェクション、脆弱な暗号化、その他のWeb攻撃クラスに関連する危険な関数を検出します。

Call Mapの現在の開発はhttps://github.com/ajylee/call_mapで行われています。Call MapはPythonコールグラフをナビゲートするためのツールです。

GoのASTを使用してセキュリティ問題をチェックする静的解析ツール。

ABAPコードアナライザー

C/C++コードの静的解析のための厳選されたweggliクエリ。危険な関数、スタック関連の問題、mallocオーバーフローの脆弱性を特定します。

Apache Airflowのセキュリティを向上させるためのチェックリストとツール

CodeQLベースのスキャナで、リポジトリおよびGitHub組織全体にわたる暗号化関数呼び出しを棚卸しし、SARIF形式のCryptographic Bill of Materials(CBOM)を生成します。

レポート生成機能付き脆弱性評価スキャナー

Apple内部アーティファクト(entitlements、フレームワーク、デバイスバージョン)のキュレーション済みデータベース。iOS/macOSのセキュリティリサーチおよびリバースエンジニアリング向けのAPI、CLI、WebUIを備えています。

retire.js は新しいホームに移転しました