Construir un analizador de dataflow para detectar fugas de credenciales
Visión general
De qué trata este proyecto.
Implementa un analizador de dataflow en TypeScript para detectar fugas de credenciales y obtén un certificado verificable.
El escenario
La scale-up (alrededor de 4M EUR ARR, 1.200 clientes principalmente startups) ha tenido 3 quejas en 2 meses de clientes que culpan a su linter por dejar pasar leaks reales — un competidor está empezando a ganarles cuentas por esa razón.
El Briefing
Lo que harás y lo que demostrarás.
Construir un analizador estático de dataflow para detectar fugas de credenciales en JavaScript/TypeScript con mejor precisión que las soluciones regex existentes.
Earning criteria — what you'll demonstrate
- Modelar problemas reales como análisis de dataflow
- Trabajar sobre AST y CFG de un lenguaje moderno
- Comparar honestamente precisión vs recall con otras herramientas
- Documentar limitaciones (interprocedural, async) con criterio académico
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Program Analysis
Master · Programming Languages
Strong alignment
This challenge maps to Program Analysis at the Master level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
- Dataflow Analysis
Apply dataflow analysis to solve real industry problems and demonstrate production-level capability.
- Static Analysis
Apply static analysis to solve real industry problems and demonstrate production-level capability.
- Ast Manipulation
Apply ast manipulation to solve real industry problems and demonstrate production-level capability.
- Program Analysis
Apply program analysis to solve real industry problems and demonstrate production-level capability.
- Typescript
Write type-safe code that scales across large codebases and teams.
- Compiler Design
Apply compiler design to solve real industry problems and demonstrate production-level capability.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Ingeniero de Software
Construir un analizador de dataflow real con benchmarks competitivos es exactamente el tipo de proyecto que abre roles en developer tools, lenguajes y plataformas.
Este proyecto afina
- dataflow-analysis
- static-analysis
- compiler-design
Ingeniero de Backend
Backend con experiencia en program analysis depura mejor problemas sutiles de propagación de datos en sistemas grandes.
Este proyecto afina
- dataflow-analysis
- typescript
- static-analysis