We audit Erlang/OTP’s decades-old C and NIF code with PVS-Studio, surfacing logic bugs, buffer risks, undefined behavior, and leaks in battle-tested systems.