Addresssanitizer

harness-writing은 원시 바이트를 대상 시스템의 의미 있는 재현 가능한 테스트로 바꾸는 퍼징 하네스를 설계하도록 돕습니다. Code Generation 작업에서 새 퍼즈 타깃이 필요하거나 커버리지, 안정성, 버그 발견 능력을 높이고 싶을 때 이 harness-writing 스킬을 사용하세요. 결정적 입력 파싱, 올바른 호출 순서, 재현 가능한 크래시에 중점을 둡니다.

Atheris는 libFuzzer를 기반으로 한 커버리지 기반 Python 퍼징 스킬입니다. atheris 스킬을 사용해 순수 Python 코드와 Python C 확장을 퍼징하고, 크래시·무한 대기·메모리 안전성 버그를 찾아내며, 빠르고 실용적인 하니스 가이드를 통해 Security Audit 워크플로를 지원할 수 있습니다.