wycheproof

このスキルは、libFuzzerを使用したファジングを可能にし、自動化されたテスト生成を通じてコード内の脆弱性を自動的に発見します。セキュリティテストや、クラッシュやセキュリティ問題を引き起こす可能性のあるエッジケースの特定に特に有用です。開発者は、C/C++コードベースのセキュリティ監査や堅牢性テストを実施する際にこれを利用すべきです。

このスキルはAtherisを使用したPythonファジングを可能にし、コード内のクラッシュやメモリエラーなどの脆弱性を自動的に発見します。自動化された入力生成を通じてバグを発見するために、セキュリティテストをワークフローに組み込む開発者に最適です。予期しないまたは悪意のある入力に対するPythonアプリケーションの堅牢化が必要な場合にご利用ください。

このスキルは、開発者がAddressSanitizer（ASan）を使用して、C/C++コードにおける解放後使用やバッファオーバーフローなどの重大なメモリ安全性バグを検出できるようにします。これは、テスト中にメモリリークやその他の実行時エラーを特定するセキュリティ重視のツールです。包括的なセキュリティテストワークフローの一環として、詳細なメモリエラー検出にご活用ください。

このスキルは、タイミングサイドチャネルを検出し、セキュリティ脆弱性を防止するためにコード内の定数時間実装を検証します。これは、暗号操作や機密データの取り扱いにおいてタイミング攻撃から保護する必要があるセキュリティテスト時に使用されます。詳細な使用方法と例については、開発者は原本のTrail of Bitsリポジトリを参照してください。