Corgea: Fix vulnerable code using AI