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