Chúng tôi kiểm toán mã C và NIF đã tồn tại hàng thập kỷ của Erlang/OTP bằng PVS-Studio, phát hiện các lỗi logic, rủi ro bộ đệm, hành vi không xác định và rò rỉ trong các hệ thống đã được kiểm chứng. - #cpp #erlang