PVS‑Studio is a solution to enhance code quality, security (SAST), and safety https://pvs-studio.com/en/
ところでPVS-Studioというものを初めて知りました
formal verification の研究室にいて、微妙にそっちの研究もしているのに、実はC++用のそれ系のツールをあまりつかったことがない
わくわく鮟鱇ランドは、住民が皆わくわくしているマストドンです。登録は艮鮟鱇の身内に制限されています。