Hiedra Compilador y biblioteca de tiempo de ejecución para un dialecto extendido de C que verifica el tipo, la memoria y la seguridad de la concurrencia
Descargar ahora

Hiedra Clasificación y resumen

Hiedra Etiquetas

cheque compilar tiempo de ejecución c tiempo de ejecución corrector de memoria

Hiedra Descripción

Biblioteca compiladora y tiempo de ejecución para un dialecto extendido de C que verifica el tipo, la memoria y la seguridad de la concurrencia Ivy se basa en un pequeño número de anotaciones ligeras en el código fuente para mantener el tiempo y los gastos generales del espacio razonables. Ivy se implementa como un compilador C-TO-C utilizando GCC como su backend, y esto hace que el controlador del compilador de IVY, IVYCC, un reemplazo directo de gota para GCC. C sigue siendo un lenguaje de programación de sistemas muy utilizado; Es ampliamente conocido, respaldado por muchas herramientas, ofrece un buen acceso a hardware de bajo nivel ... pero la producción de programas de C seguros y confiables es innecesariamente difícil, un problema particularmente importante para programas concurrentes, y en particular el código de sistemas. Las lenguas modernas abordan muchos de estos problemas de seguridad y confiabilidad, pero por favor, los sistemas grandes para un nuevo idioma son a menudo poco prácticos. Los análisis estáticos de C encontrarán algunos problemas, pero típicamente no garantizan la seguridad. Profese un enfoque alternativo: la hiedra será un lenguaje seguro y concurrente, totalmente interoperable con C.IVY es de manera efectiva tres herramientas en uno (de lo más maduro a más experimental) : · Tipo de control adjunto y seguridad de la memoria (límites de matriz, sindicatos, uso de void *, etc.) · HEPSAFE comprueba las designaciones de memoria · Cheques Sharc que verifica que la memoria se comparte correctamente en los programas paralelos

Hiedra Software relacionado