Addresssanitizer

harness-writing は、raw bytes を対象システムに対する意味のある再現可能なテストへ変換する fuzzing ハーネスの設計を支援します。新しい fuzz 対象を作成したいときや、Code Generation タスクで coverage、安定性、バグ検出力を高めたいときに使うスキルです。決定論的な入力パース、有効な呼び出し順序、再現可能なクラッシュに重点を置いています。

Atherisは、libFuzzerをベースにしたカバレッジ駆動型のPython fuzzing skillです。pure PythonコードやPython C拡張をfuzzingし、クラッシュ、ハング、メモリ安全性の問題を見つけるのに役立ちます。Security Auditワークフローでも、素早く実践的なハーネス作成の指針として使えます。