OCamlPro/seacoral

GitHub: OCamlPro/seacoral

SeaCoral 是一个面向 C 语言项目的自动化测试生成编排工具,通过整合多种技术生成测试用例以提升代码覆盖率并发现深层漏洞。

Stars: 1 | Forks: 3

# SeaCoral:协作式测试生成工具集 [![CI](https://static.pigsec.cn/wp-content/uploads/repos/2026/04/41d720eafc172603.svg)](https://github.com/ocamlpro/seacoral/actions) [![Release](https://img.shields.io/github/release/ocamlpro/seacoral.svg)](https://github.com/ocamlpro/seacoral/releases) SeaCoral 是一个编排工具,它能够结合各种测试生成技术的强大功能,以便为您的 C 项目自动生成测试。 ## 在 Docker 容器中运行 SeaCoral 有关在 Docker 容器中使用 SeaCoral 的说明,请参阅 [`docker` 子目录](docker/README.md)。 ## 资源 * 网站:https://ocamlpro.com/seacoral * 文档:https://ocamlpro.github.io/seacoral/ * 源码:https://github.com/ocamlpro/seacoral ## 资助说明 本项工作部分由 [AID("Agence de l'innovation de défense")][AID] 通过 [RAPID("Régime d'APpui à l'Innovation Duale")][RAPID] 项目 AutoCouv 提供支持:"Génération automatique de tests par couverture des labels"。 Copyright © 2024-2026 OCamlPro
标签:Docker, OCamlPro, pocsuite3, Web安全扫描, 二进制发布, 云安全监控, 安全测试, 安全防御评估, 开源工具, 开源框架, 持续集成, 攻击性安全, 测试用例生成, 测试编排, 漏洞数据库, 自动化测试生成, 覆盖率, 请求拦截, 软件测试, 静态分析