Auditujeme desítky let starý kód Erlang/OTP v C a NIF pomocí PVS-Studia, odhalujeme logické chyby, rizika bufferů, nedefinované chování a úniky v bojem prověřených systémech. - #cpp #erlang