Cargando diccionario…
Bloque temático
Técnicas de generación, análisis, revisión, prueba y corrección de código mediante IA, con énfasis en verificación, seguridad y trazabilidad.
Pattern-based code analysis
Detección de construcciones mediante patrones o reglas.
Ver definición completa →Abstract syntax tree analysis
Análisis de la estructura sintáctica representada como árbol.
Ver definición completa →Software composition analysis
Análisis de dependencias, licencias y vulnerabilidades de componentes.
Ver definición completa →Taint analysis
Seguimiento de datos no confiables desde su origen hasta usos sensibles.
Ver definición completa →Control-flow analysis
Análisis de las rutas posibles de ejecución.
Ver definición completa →Data-flow analysis
Seguimiento de cómo se propagan valores a través del programa.
Ver definición completa →Interprocedural analysis
Análisis que sigue comportamiento entre varias funciones o métodos.
Ver definición completa →Semantic code analysis
Análisis que considera significado, tipos y comportamiento del código.
Ver definición completa →Human approval of generated patch
Revisión y aprobación humana antes de integrar un parche generado.
Ver definición completa →Generated code attribution
Registro de fuentes, licencias o responsabilidad asociada a código generado.
Ver definición completa →Code review checklist
Lista sistemática de aspectos que deben comprobarse.
Ver definición completa →Branch coverage
Proporción de ramas de control ejecutadas por pruebas.
Ver definición completa →Statement coverage
Proporción de sentencias ejecutadas por pruebas.
Ver definición completa →Hallucinated code
Código plausible pero incorrecto, inexistente o incompatible generado por IA.
Ver definición completa →Patch application check
Verificación de que un parche se aplica de forma limpia y completa.
Ver definición completa →Race condition
Defecto cuyo resultado depende del orden temporal de operaciones concurrentes.
Ver definición completa →Code finding confidence
Estimación de fiabilidad de un hallazgo automático.
Ver definición completa →Broken access control
Fallo que permite acciones o datos fuera de los permisos previstos.
Ver definición completa →Concurrency defect
Fallo relacionado con sincronización o acceso simultáneo.
Ver definición completa →Error handling defect
Manejo incorrecto o incompleto de condiciones de error.
Ver definición completa →Fabricated dependency
Paquete inexistente o falso incluido en código generado.
Ver definición completa →Poisoned issue description
Incidencia que contiene instrucciones destinadas a manipular un agente.
Ver definición completa →Insecure deserialization
Procesamiento de datos serializados no confiables sin controles adecuados.
Ver definición completa →Null dereference
Acceso a una referencia nula o no inicializada.
Ver definición completa →Malicious dependency detection
Identificación de paquetes con comportamiento o procedencia maliciosa.
Ver definición completa →Flaky test detection
Identificación de pruebas que producen resultados inconsistentes sin cambios relevantes.
Ver definición completa →Patch dry run
Simulación de la aplicación de un parche sin persistir cambios.
Ver definición completa →Boundary condition bug
Defecto que aparece en valores extremos o fronteras de un dominio.
Ver definición completa →License scanning
Identificación de licencias y obligaciones de dependencias o fragmentos.
Ver definición completa →Secret scanning
Control o concepto defensivo relacionado con protección de datos, credenciales, claves y activos sensibles.
Ver definición completa →AI review effort
Nivel de profundidad o recursos asignados a una revisión automática.
Ver definición completa →Code review false negative
Problema real que no fue detectado por la revisión.
Ver definición completa →Code review false positive
Hallazgo señalado como problema que en realidad no lo es.
Ver definición completa →Memory leak
Pérdida progresiva de memoria por recursos no liberados.
Ver definición completa →Resource leak
Recursos como archivos o conexiones que no se liberan correctamente.
Ver definición completa →Edge case generation
Identificación y creación de entradas en fronteras o condiciones poco frecuentes.
Ver definición completa →Codemod generation
Creación de un programa que transforma código de forma repetible.
Ver definición completa →Test fixture generation
Creación automática de datos y estado inicial para pruebas.
Ver definición completa →Fuzz test generation
Creación de pruebas con entradas variadas o inesperadas para provocar fallos.
Ver definición completa →Code migration generation
Creación de cambios para adoptar una nueva versión, API o arquitectura.
Ver definición completa →Mock generation
Creación automática de dobles de prueba para dependencias.
Ver definición completa →Property-based test generation
Creación de pruebas que validan propiedades sobre múltiples entradas.
Ver definición completa →Security test generation
Creación de pruebas orientadas a controles y vulnerabilidades.
Ver definición completa →Negative test generation
Creación de pruebas con entradas inválidas o acciones no permitidas.
Ver definición completa →Malicious repository instruction
Regla incluida en el repositorio para inducir acciones inseguras de un agente.
Ver definición completa →Deadlock
Situación en la que procesos o hilos esperan indefinidamente recursos entre sí.
Ver definición completa →Prompt injection through code comments
Instrucciones maliciosas ocultas en comentarios o archivos para influir en un agente.
Ver definición completa →Test oracle
Mecanismo que determina si el resultado de una prueba es correcto.
Ver definición completa →Diagnóstico de procesos
Software interno a medida
Automatización de tareas repetitivas
Integración de sistemas y APIs
IA aplicada solo cuando aporta valor
© 2026 Camilo Boo. Automatización de procesos y software interno.
