The 1980s Code Powering Modern Reliability—and the Mistakes It Still Makes

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.