а ведь по сути вместо спихивания всего и вся на компилятор нужно разделить зоны ответственности. ибо невозможно гарантировать компилятором грамотный риалтайм. во всяком случае без хотя бы символического выполнения кода. дорога спихнуть на компилятор уже привела к тому что статические анализаторы используются вовсю для выявления багов, но этого уже недостаточно. вот и делается фаззинг. я это все к тому, что фаззинг он же про динамику исполнения, как и блок предсказаний…