assert(): una guía moderna para dominar la aserción en código

Assert(): A Modern How To

El autor Reza Naghibi defiende el uso de assert() como pilar del software correcto y seguro, pero critica las implementaciones limitadas y la confusión sobre cuándo usarlas. Propone cuatro áreas de aplicación: corrección, seguridad, desarrollo y documentación. Explica cómo las aserciones garantizan la cobertura total de valores, previenen desbordamientos y accesos inseguros, y sirven como documentación ejecutable. Además, sugiere una API ideal con aserciones de producción y desarrollo, mensajes dinámicos y volcado de pila.