ChangeLog

В -Safe1 добавлено принудительное включение санитайзеров, проверяющих, что:

• значение типа bool равно 0 или 1;
• при преобразовании значения float в int не происходит переполнения;
• правый операнд побитового сдвига неотрицателен и меньше ширины типа;
• не происходит знакового переполнения;
• чтение или запись совершаются только по указателю, чей адрес выровнен по размеру операнда;
• нет использования нулевого указателя;
• чтение или запись осуществляется по индексу, не выходящему за пределы массива;
• нет переполнения типа указателя;
• при непрямом вызове сигнатура функции соответствует типу указателя на неё;
• во встроенные функции передаются корректные параметры;
• не передаётся управление коду, помеченному как недостижимый;
• нет деления на ноль или взятия остатка от нуля;
• массив, выделяемый в автоматической памяти, имеет положительный размер;
• значение перечисляемого типа в диапазоне представимых значений этого типа;
• нет использования памяти за пределами объекта.

В -Safe2 добавлено принудительное включение опций, обеспечивающих следующую функциональность:

• автоматическая инициализация переменных из автоматической памяти нулями;
• остановка компиляции с ошибкой для предупреждений 3 класса.

В -Safe3 добавлено принудительное включение опций, обеспечивающих следующую функциональность:

• предотвращение оптимизаций, игнорирующих возможность переполнения знаковых целых, совпадения значений указателей разных типов, разыменования нулевого указателя;
• механизм защиты стека;
• генерация позиционно-независимого кода;
• предупреждения о выходе за границы массива, делении на ноль и побитовом сдвиге, правый операнд которого отрицателен либо не меньше размера левого операнда (в битах).

Добавлена опция -fhandle-safe-error=, включающая safe exit для функций safe-fortify, stack-protector, safe-sanitize. Опция -fhandle-safe-error-handler= позволяет выбрать способ аварийного завершения программы: exit (_Exit из libc), exit_safe (__builtin___exit_safe, реализованный в компиляторе), abort (из libc) или trap (__builtin_trap). Для exit и exit_safe возможно задать код возврата с помощью опции -fhandle-safe-error-exit-code=. Отключить safe exit для части функций или полностью можно с помощью опций -fno-handle-safe-error= и -fno-handle-safe-error-handler.