Ми проводимо аудит багаторічного коду C та NIF Erlang/OTP за допомогою PVS-Studio, виявляючи логічні помилки, ризики буфера, невизначену поведінку та витоки в системах, які перевірили в бойових умовах. - #cpp #erlang