Skip to contentSkip to content
Certificados verificados. En cadena. Para siempre.Más información
Ewance
Iniciar sesión
Cover image for Diseñar un análisis de punteros para una base de código C++ legacy
Code

Diseñar un análisis de punteros para una base de código C++ legacy

FreeVerified credential5 semanasExpert

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.

CredentialBlockchain-anchored
ShareableLinkedIn-ready
LanguageEnglish
PaceSelf-paced

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.

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

Una cosa más

Puedes tener una credencial en tu CV para el viernes.