exponenta event banner

Дефекты безопасности

Недостатки, связанные со слабостью и уязвимостью системы безопасности

Эти дефекты выделяют места в коде, которые уязвимы для взлома или других атак безопасности. Многие из этих дефектов не вызывают ошибок во время выполнения, а указывают на опасные области в коде. Дефекты включают в себя:

  • Управление конфиденциальными данными

  • Использование опасных или устаревших функций

  • Генерация случайных чисел

  • Пути и команды, управляемые извне

Результаты Polyspace

развернуть все

File access between time of check and use (TOCTOU)Файл или папка могут изменить состояние из-за гонки доступа
File descriptor exposure to child processСкопированный дескриптор файла, используемый в нескольких процессах
File manipulation after chroot without chdirУязвимости, связанные с путями, для файлов, которыми манипулируют после вызова chroot
Inappropriate I/O operation on device filesОперация может привести к уязвимостям безопасности или сбою системы
Unsafe call to a system functionНеанизированный аргумент команды имеет эксплуатируемые уязвимости
Use of non-secure temporary fileВременное созданное имя файла небезопасно
Vulnerable path manipulationАргумент пути с /../, /abs/path/, или другие небезопасные элементы
Bad order of dropping privilegesОтбрасывание повышенных привилегий перед отбрасыванием пониженных привилегий
Privilege drop not verifiedЗлоумышленник может получить непреднамеренный повышенный доступ к программе
Umask used with chmod-style argumentsАргумент для umask разрешает внешнему пользователю слишком много управления
Vulnerable permission assignmentsАргумент предоставляет разрешения на чтение/запись/поиск внешним пользователям
Unsafe standard encryption functionФункция не входит в систему или использует алгоритм шифрования с риском
Unsafe standard functionФункция небезопасна для целей безопасности
Use of dangerous standard functionОпасные функции вызывают возможное переполнение буфера в целевом буфере
Use of obsolete standard functionУстаревшие процедуры могут стать причиной уязвимостей системы безопасности и проблем с переносимостью
Deterministic random output from constant seedПроцедура посева использует постоянное начальное число, делающее вывод детерминированным
Predictable random output from predictable seedПроцедура посева использует предсказуемое начальное число, делая выход предсказуемым
Vulnerable pseudo-random number generatorИспользование криптографически слабого генератора псевдослучайных чисел
Errno not checkederrno не проверяется на наличие ошибок после вызова функции
Execution of a binary from a relative path can be controlled by an external actorКоманда с относительным путем уязвима для вредоносной атаки
Function pointer assigned with absolute addressКонстантное выражение используется, так как адрес функции уязвим для ввода кода
Hard-coded sensitive dataКонфиденциальные данные отображаются в коде, например, в виде строковых литералов
Incorrect order of network connection operationsНе удалось правильно установить сокет из-за неправильного порядка шагов подключения или отсутствия шагов
Information leak via structure paddingЗаполняющие байты могут содержать конфиденциальную информацию
Load of library from a relative path can be controlled by an external actorБиблиотека, загруженная относительным путем, уязвима для вредоносных атак
Mismatch between data length and sizeАргумент размера данных не вычисляется из фактической длины данных
Missing case for switch conditionswitch переменная, не охватываемая вариантами, и вариант по умолчанию отсутствует
Misuse of readlink()Третий аргумент readlink не оставляет места для пустого терминатора в буфере
Returned value of a sensitive function not checkedЧувствительные функции, вызываемые без проверки неожиданных возвращаемых значений и ошибок
Sensitive data printed outФункция печати конфиденциальных данных
Sensitive heap memory not cleared before releaseКонфиденциальные данные не очищены или не освобождены подпрограммой памяти
Uncleared sensitive data in stackПеременная в стеке не очищена и содержит конфиденциальные данные

Темы

Группы дефектов для поиска ошибок

Проверки дефектов Bug Finder подразделяются на такие группы, как поток данных, параллелизм, числовые и т. д.