Después de leer este artículo ( "Todo está roto" por Quinn Norton ) estaba a punto de hacer una pregunta similar a esta. ( ¿Por qué el software crucial para la seguridad está escrito en idiomas inseguros? ) ... pero en realidad estoy más interesado en el contador -Ejemplos: donde el software crucial para la seguridad está escrito en lenguajes seguros y no usa ninguna biblioteca "insegura" (excepto, quizás, algunas bibliotecas de sistemas operativos - es muy difícil hacerlo sin ellos ...) . Por seguridad, quiero decir, al menos, no es propenso a ataques de desbordamiento de búfer y otros "buenos" regalos de C / C ++.
Hasta ahora he encontrado solo un ejemplo: tkabber, que está escrito en Tcl, pero usa OpenSSL, que está escrito en C, lo que lo hace inherentemente inseguro. Y cada navegador web que se me ocurre también está escrito en C o C ++ ...