1980년대 코드가 현대적 신뢰성을 뒷받침하지만, 여전히 저지르는 실수들

저희는 PVS-Studio를 사용하여 수십 년 된 Erlang/OTP의 C 및 NIF 코드를 감사합니다. 이를 통해 실제 사용 환경에서 검증된 시스템에서 로직 버그, 버퍼 위험, 정의되지 않은 동작, 메모리 누수 등을 찾아냅니다.