When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Peng, Yibo, Song, James, Li, Lei, Yang, Xinyu, Christodorescu, Mihai, Mangal, Ravi, Pasareanu, Corina, Zheng, Haizhong, Chen, Beidi
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2510.17862