atheris

This skill provides Google's Wycheproof test vectors for rigorously testing cryptographic implementations against known vulnerabilities. It's designed for developers who need to validate the security of their crypto code by running comprehensive test suites. Use this skill when implementing or auditing cryptographic algorithms to ensure robustness against edge cases and attacks.

This skill integrates with OSS-Fuzz to enable continuous fuzzing for identifying vulnerabilities in your code. It's part of the Trail of Bits security testing suite and is best used when you need automated, large-scale fuzz testing. Refer to the source repository for detailed implementation and usage examples.

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 helps developers overcome common fuzzing obstacles to improve the effectiveness of their fuzz testing. It provides strategies and techniques for making fuzzers find more bugs and achieve better code coverage. Use it when implementing or troubleshooting fuzzing campaigns for security testing.