Auditiamo il codice C e NIF di Erlang/OTP, che ha decenni, con PVS-Studio, evidenziando bug logici, rischi di buffer, comportamenti indefiniti e perdite in sistemi collaudati. - #cpp #erlang