Agentes IA que entienden modismos de Go, concurrencia y programación de sistemas.
Detecta fugas de goroutines, condiciones de carrera y deadlocks antes de producción.
Detecta fallas de inyección, crypto inseguro y operaciones inseguras.
Encuentra asignaciones de memoria, bucles ineficientes y operaciones bloqueantes.
Aplica convenciones de Go, manejo de errores y estructura de paquetes.
diffray entiende el modelo de concurrencia de Go. Detecta bugs sutiles que los detectores de carreras no encuentran.
rules:
- id: go_goroutine_leak
agent: bugs
title: Check goroutine lifecycle
description: Ensure all goroutines have
proper termination conditions
importance: 9
match:
file_glob:
- '**/*.go'
checklist:
- Verify context cancellation
- Check channel closing
- Ensure WaitGroup usage
tags:
- go
- concurrency
- reliability