Erlang/OTPの数十年前のCおよびNIFコードをPVS-Studioで監査し、実戦経験豊富なシステムにおける論理バグ、バッファリスク、未定義の挙動、リークを明らかにします。- #cpp #erlang