harness-writing

This skill enables fuzzing with libFuzzer to automatically discover vulnerabilities in code through automated test generation. It's particularly useful for security testing and identifying edge cases that could lead to crashes or security issues. Developers should use it when conducting security audits or robustness testing of C/C++ codebases.

This skill enables Python fuzzing with Atheris to automatically discover vulnerabilities like crashes and memory errors in your code. It's ideal for developers building security testing into their workflow to uncover bugs through automated input generation. Use it when you need to harden Python applications against unexpected or malicious inputs.

This skill provides the LibAFL framework for building custom, advanced fuzzing campaigns to discover software vulnerabilities. It's designed for security testing scenarios where you need fine-grained control over fuzzer components like mutators, feedback, and schedulers. Use it when standard fuzzing tools are insufficient and you require a modular, library-based approach.

This skill detects timing side channels and verifies constant-time implementations in code to prevent security vulnerabilities. It's used during security testing when cryptographic operations or sensitive data handling must be protected against timing attacks. Developers should reference the original Trail of Bits repository for detailed usage and examples.