Bug Finding
Si te gusta aplicar Bug Finding, cada reto aquí te da la oportunidad de practicarlo en un briefing industrial real.
- CodeSéniorNuevo
Diseñar un análisis de punteros para una base de código C++ legacy
Implementa un análisis de punteros basado en Andersen (inclusion-based) o Steensgaard (unification-based) sobre LLVM IR. Justifica la elección con el trade-off precisión vs esca…
- Pointer Analysis
- Static Analysis
- Program Analysis
Program Analysis - CodeSéniorNuevo
Implementar ejecución simbólica sobre un subset de C
Define el subset de C admitido (sin punteros, sin malloc, enteros de tamaño fijo, structs simples). Implementa el motor en Python: parser de C usando pycparser, IR propia o LLVM…
- Symbolic Execution
- Program Analysis
- Smt Solving
Program Analysis
Cómo funciona
Del briefing al certificado, en seis pasos.
Paso 01
Explora retos alineados con tus estudios.
Paso 02
Acepta el que encaja con tus metas.
Paso 03
Trabájalo con la guía del AI Copilot.
Paso 04
Envíalo para una evaluación estructurada.
Paso 05
Consigue una credencial verificada.
Paso 06
Añádela a LinkedIn con un solo clic.
Equipos del sector tras una década de briefings prácticos
¿Reclutando de este grupo?
Patrocina un reto y conoce candidatos a través de su trabajo real.
Los equipos de la industria pueden diseñar briefings en torno a las habilidades que buscan, y evaluar a los estudiantes por entregables puntuados con rúbrica — no por currículums.