Echidna 是一款用 Haskell 编写的以太坊智能合约模糊测试工具,通过生成调用序列来验证不变量和断言。
3189+1 本周436HaskellAGPL-3.0更新于 17小时前
Python 属性测试库,自动生成测试输入,并把失败用例缩减到最简形式。
Hypothesis 是一个 Python 属性测试库。你不需要手工挑选样例,而是描述输入数据的范围,让库随机生成输入,包括开发者可能想不到的边界情况。
测试失败时,Hypothesis 会把失败输入缩减为仍能复现问题的最简形式,便于定位 bug。通过 pip 即可安装,也提供可选的扩展包。
使用 pip 安装 Hypothesis
pip install hypothesis概要由 AI 根据项目 README 生成;GitHub 数据每日更新。
Echidna 是一款用 Haskell 编写的以太坊智能合约模糊测试工具,通过生成调用序列来验证不变量和断言。
一套让编码智能体先出测试计划、再经多重校验并附证据报告的 skill。
Google 为开源项目提供的持续模糊测试服务,结合 libFuzzer、AFL++ 等引擎发现安全漏洞与稳定性问题。
Trail of Bits 出品的智能体技能市场,用于 Claude Code 和 Codex 中的 AI 辅助安全审计、测试与安全开发。
基于 Claude 的自主漏洞发现与修复参考实现,附带威胁建模、扫描、分诊和补丁等交互式安全技能。
Selenium 是一套基于 W3C WebDriver 标准的浏览器自动化工具与库集合。