Here's an article about several issues detected by the PVS Studio static analyser in the Erlang core code https://pvs-studio.com/en/blog/posts/cpp/1305/ <!-- %CopyrightBegin% SPDX-License-Identifier: Apache-2.0 Copyright Ericsson AB 2021-2025. All Rights Reserved. %CopyrightEnd% -->