Este artículo sobre BIND9 concluye con la declaración:
El punto que estoy tratando de señalar aquí es que BIND9 no debería estar expuesto al público. Tiene problemas de código que deberían ser inaceptables en la época actual de la ciberseguridad. Incluso si estuviera escrito a la perfección, tiene demasiadas características para ser confiable. Su riqueza de características lo convierte en un gran maestro oculto, es solo que todas esas características se interponen en el hecho de ser un servidor esclavo autoritario simple, o un simple resolutor. No deberían reescribirlo desde cero, pero si lo hicieran, deberían elegir un lenguaje seguro y no usar C / C ++.
Al investigar C #, veo esto de Eric Lippert , diciendo que C # nunca compilará exactamente el mismo binario a cambios en el Columna MVID.
Pregunta
¿Existe alguna combinación de un lenguaje de programación de tipo seguro y un compilador que dé como resultado compilaciones determinísticas?