CodeRabbit Secure 的运行时验证是怎么工作的

测试一个疑似漏洞,光发个请求、看看响应还不够。应用得先跑起来,请求还得真正走到被查的那段代码。举个例子:有个接口看起来能让一个用户拿到另一个用户的文档。要测它,你得准备两个已登录用户、其中一人名下的一份文档,以及一个正在运行的应用。如果请求在到达接口之前就失败了,那基本说明不了应用是否正确限制了这份文档的访问。 我们在 CodeRabbit Secure 里实现了运行时验证(Runtime Verification),帮开发者实测 Deep Scan 发现的问题,并看清到底发生了什么。 ## 我们想做成什么样 我们希望开发者在运行测试之前,先看懂这个测试是怎么回事。他们需要知道: - 需要做哪