← All posts tagged noc

noc

Каждый раз, когда я читаю про undefined behaviour в С, и то как компилятор ломает, казалось бы, нормальную программу, мне становится не по себе. Доказать отсутствие UB, вроде невозможно, а значит любая программа на С будет содержать трудноуловимые баги. Причём более всего от UB страдает криптокод.

В общем введение в стандарт UB — акт вредительсва в чистом виде

Читаю «Understanding integer overflows in C/C++»

In contrast [to how CPU works], integer overflows in C/C++ programs
are subtle due to a combination of complex and counter-intuitive rules
in the language standards, non- standards-conforming compilers, and
the tendency of low- level programs to rely on non-portable
behavior.