Valen: nuevo comprobador de préstamos flexible
- Valen implementa un comprobador de préstamos basado en 'group borrowing' que recuerda la ruta de cada referencia.
- Permite múltiples referencias de lectura-escritura a un mismo objeto, relajando la restricción 'shared-xor-mutable'.
- Detecta use-after-free invalidando referencias cuando se modifica el objeto contenedor.
- Las firmas de función especifican qué rutas modifican (ej: 'mut(self)').
- Objetivo: interoperar con Rust y combinar préstamos con conteo de referencias.
seguridad memoria · lenguajes programacion · desarrollo software · rust · compiladores