Construir un analizador de dataflow para detectar fugas de credenciales

Implementa el analizador en TypeScript usando ts-morph o babel parser. Modela el problema como dataflow: identifica fuentes (literales que matchean patrones de secretos, process.env, lecturas a localStorage/cookies), sumideros (console.log, fetch, write a stream) y propagación intraprocedural a través de variables, propiedades y returns simples. Maneja al menos: asignación directa, paso por argumento, retorno de función, concatenación de strings, template literals. Compara precisión y recall contra trufflehog y gitleaks sobre un corpus de 50 repositorios open-source con secrets sintéticos inyectados. Entrega el código, los benchmarks, una regla integrable en eslint y un informe de 8 páginas con las decisiones de diseño y casos no cubiertos (interprocedural, callbacks asíncronos).