Acerca del servicio
TraducidoDesarrollo software de bajo nivel en Cyclone — un dialecto seguro de C que preserva la velocidad y previsibilidad del C familiar pero elimina clases enteras de errores detrás de la mayoría de los incidentes de seguridad. Si tienes código C inseguro que filtra memoria, desreferencia punteros colgantes o lee fuera de límites, lo portarè a Cyclone y dejaré que el compilador demuestre que estos defectos están ausentes. Mi trabajo se centra en tres cosas. Primero, gestión de memoria basada en regiones: mapeo de la vida útil de los objetos a regiones explícitas, de modo que la asignación y desasignación se verifiquen en tiempo de compilación, no se dejen a la esperanza durante la ejecución. Segundo, seguridad de punteros: utilizo punteros gruesos, arreglos acotados y la unión etiquetada de Cyclone y calificadores no nulos para prevenir que la desreferencia fuera de límites y nula se compile en absoluto. Tercero, portación cuidadosa: tomo un módulo C existente, lo traduzco idiomáticamente y mantengo el comportamiento sin cambios, mientras que el sistema de tipos ahora garantiza seguridad. A lo largo de los años he portado analizadores, demonios de red y procedimientos embebidos, siempre con pruebas de regresión que confirman la equivalencia byte por byte. El resultado incluye fuentes de Cyclone, envolturas de construcción, un conjunto de pruebas y un informe escrito que mapea cada construcción insegura a su reemplazo seguro y explica la estructura de región elegida. También ofrezco soporte de investigación: análisis comparativo de Cyclone contra alternativas modernas y prototipos que muestran si tu código es un candidato para migración. Describe el alcance y la forma de tu código C — y te daré una estimación precisa.
