FormPath

FormPath 通过模拟用户操作和自动化测试，分析表单的提交流程、状态变更及权限验证等逻辑，识别如越权、条件竞争、数据篡改等漏洞，从而在数据丢失前预警。

FormPath 适用于任何包含复杂业务逻辑的 Web 表单，如注册、支付、订单、用户信息修改等场景，特别是涉及多步骤、权限校验或关键数据更新的应用。

FormPath 采用状态机建模和路径覆盖算法，遍历表单的合法与非法执行路径，结合预期行为与实际响应的对比，发现逻辑缺陷（如跳过验证、参数篡改、时序问题），而不仅依赖基于语法或规则的输入过滤。