wycheproof

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 enables developers to use AddressSanitizer (ASan) to detect critical memory safety bugs like use-after-free and buffer overflows in C/C++ code. It's a security-focused tool for identifying memory leaks and other runtime errors during testing. Use it for in-depth memory error detection as part of a comprehensive security testing workflow.

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.