libafl

Atheris是一个用于Python代码模糊测试的安全技能，能自动发现代码中的漏洞。它适用于需要进行安全测试的Python项目，帮助开发者识别潜在的安全风险。该技能由Trail of Bits开发，可与CodeQL、Semgrep等其他安全分析工具结合使用。

这是一个用于代码安全测试的libFuzzer模糊测试技能，能够自动生成随机输入来发现程序中的漏洞和崩溃。它特别适用于对C/C++代码进行持续的安全测试和漏洞挖掘。开发者可以将其集成到测试流程中，帮助识别潜在的内存安全问题和其他边界条件缺陷。

Wycheproof Skill提供了Google的Wycheproof测试向量，用于检测密码学实现中的漏洞。开发者可用它验证加密库和算法的安全性，识别边界情况和错误处理问题。该技能特别适合在代码审计和安全测试场景中，帮助发现实际部署中的加密弱点。

该Skill为开发者提供与OSS-Fuzz的集成，支持持续模糊测试以发现软件中的安全漏洞。它适用于需要进行自动化安全测试的项目，帮助识别代码中的潜在内存错误和崩溃问题。作为Trail of Bits的安全测试工具，开发者可将其用于强化代码安全性并集成到现有测试流程中。