我們使用 PVS-Studio 對 Erlang/OTP 數十年的 C 和 NIF 代碼進行審計,揭示邏輯錯誤、緩衝區風險、未定義行為和在經過考驗的系統中的洩漏。 - #cpp #erlang