Код 1980-х, обеспечивающий современную надежность — и ошибки, которые он все еще допускает

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