Auditamos el código C y NIF de décadas de antigüedad de Erlang/OTP con PVS-Studio, detectando errores de lógica, riesgos de buffer, comportamientos indefinidos y fugas en sistemas probados en batalla. - #cpp #erlang