Auditamos o código C e NIF de décadas da Erlang/OTP com PVS-Studio, revelando bugs de lógica, riscos de buffer, comportamentos indefinidos e vazamentos em sistemas testados em batalha. - #cpp #erlang