Всем привет! Мы представляем Департамент анализа безопасности Дирекции базовой операционной системы «Группы Астра» – производителя российской защищенной операционной системы Astra Linux и ряда других защищенных программных продуктов. В своей работе мы непрерывно…
Философия статического анализа кода очень проста. Чем раньше будет найдена ошибка, тем дешевле ее исправление. Инструменты статического анализа реализуют эту философию в три шага. Шаг первый. Для начала используйте статический анализ хоть как-нибудь. Если вы не использовали статический анализ ранее, то запускайте его хоть раз в месяц. Но запускайте. Ошибка, которую найдёте вы сами, стоит дешевле, чем ошибка, которую найдёт ваш клиент. Читать дальше →
В методологии статического анализа применяются разные технологии. Одна из них — препроцессирование файлов непосредственно перед их анализом. Препроцессированные файлы создаёт компилятор, запускаемый в специальном режиме работы. К сожалению, этот режим не очень хорошо тестируется, как показывает наш многолетний опыт разработки статического анализатора кода. В этой заметке приведу пример свеженайденного бага в С++ компиляторе от Microsoft. Читать дальше →
Изменение разметки памяти планшета ОГЛАВЛЕНИЕ1.Введение. 2.Планирование изменений разметки памяти. 3.Внесение изменений в прошивку планшета. 3.1.Внесение изменений в GPT-файл. 3.2.Прошивка GPT-файла в МУ. 4.Проверка результатов проделанной работы. 5.Заключение. 6.Источники информации.…