Ещё во времена, когда я думал, что полигон это место в Северной Корее, а превью к видео на ютюбе в стиле сделай из плоскости машину казались мне обманом, я даже не догадывался о том, как сильно полюблю 3д.
В статическом анализаторе кода PVS-Studio реализован механизм символьного выполнения. И сейчас предоставилась хорошая возможность на практике продемонстрировать, как этот механизм помогает выявлять ошибки.