arXiv· Laboni Sarker·· 2 天前推荐指数58
DeepDiff：面向安全补丁验证的神经-动态回归自由性检查
DeepDiff: Neuro-Dynamic Regression-Freedom Checking for Security Patch Validation
AI 导读
论文提出 DeepDiff，一种对 AI 生成的安全补丁进行回归自由性检查的技术，通过覆盖受影响代码路径的非崩溃输入，将候选补丁与原始含漏洞程序做差分评估，判断补丁在消除触发崩溃的漏洞同时是否保持预期行为。
来源：arXiv · arxiv.org