我们使用 PVS-Studio 审计 Erlang/OTP 数十年的 C 和 NIF 代码,发现逻辑错误、缓冲区风险、未定义行为和在经过考验的系统中的泄漏。 - #cpp #erlang