Diseñar un análisis de punteros para una base de código C++ legacy
Visión general
De qué trata este proyecto.
Implementa un análisis de punteros en LLVM IR para código CAD/CAM legacy y detecta bugs. Entrégate un informe técnico y un certificado verificable
El escenario
El proveedor (alrededor de 75M EUR de facturación, sirve a la industria automotriz alemana y española) ha tenido 5 crash reports en 12 meses imputables a uso tras liberar y la dirección técnica considera el análisis estático como complemento al fuzzing existente.
El Briefing
Lo que harás y lo que demostrarás.
Diseñar e implementar análisis de punteros sobre un módulo de 200 KLOC C++ para detectar aliasing y use-after-free con tasa de falsos positivos aceptable.
Earning criteria — what you'll demonstrate
- Implementar análisis de punteros con un algoritmo clásico (Andersen o Steensgaard)
- Trabajar sobre LLVM IR a nivel de paso de análisis
- Medir falsos positivos con triage manual disciplinado
- Decidir entre precisión y escalabilidad con datos reales
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.
- Pointer Analysis
Apply pointer 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.
- Program Analysis
Apply program analysis to solve real industry problems and demonstrate production-level capability.
- Llvm
Apply llvm to solve real industry problems and demonstrate production-level capability.
- C Programming
Apply c programming to solve real industry problems and demonstrate production-level capability.
- Bug Finding
Apply bug finding 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
Implementar análisis de punteros sobre LLVM IR para una base de código real es la credencial que abre roles en developer tools, compiladores y empresas con C++ a gran escala.
Este proyecto afina
- pointer-analysis
- static-analysis
- llvm
Arquitecto de Sistemas
Arquitectos con experiencia en análisis estático defienden mejor decisiones sobre lenguaje (C++ vs Rust) en bases de código de larga vida.
Este proyecto afina
- program-analysis
- static-analysis
- c-programming