Microsoft выпустила инструмент для определения причин уязвимостей

Microsoft выпустила инструмент для определения причин уязвимостей

Microsoft выпустила инструмент для определения причин уязвимостей

Центр Microsoft Security Response Center (MSRC) выпустил VulnScan - инструмент, разработанный, чтобы помочь инженерам и разработчикам в области информационной безопасности определить тип уязвимости и причину багов, связанных с повреждением памяти. В основе этого инструмента лежат средство отладки для Windows (WinDbg) и средство отладки по времени (Time Travel Debugging, TTD).

Используя WinDbg и TTD, VulnScan может автоматически выявить основную причину наиболее распространенных типов проблем с повреждением памяти, за это отвечает специальный механизм – PageHeap. Проблемы с памятью, которые поддерживает VulnScan, приведены в списке ниже:

  • Переполнение буфера, уязвимости чтения-записи за пределами поля (out-of-bounds read/write).
  • Использование после освобождения (use after free).
  • Ошибка несоответствия используемых типов данных (type confusion).
  • Использование неинициализированной памяти (Uninitialized memory use).

MSRC использует VulnScan как часть автоматизированной структуры Sonar. Sonar обрабатывает доказательства концептов уязвимостей на всех поддерживаемых платформах и версиях программного обеспечения.

За 10-месячный период, в течение которого VulnScan использовался для сортировки всех проблем с повреждением памяти в Microsoft Edge, Microsoft Internet Explorer и продуктах Microsoft Office, степень его успешности составила 85%. Он сэкономил примерно 500 часов времени инженеров MSRC.

Квантовый прорыв Microsoft поставили под вопрос из-за ошибок в Python-коде

Квантовая программа Microsoft получила новую порцию неприятной критики не из-за сверхсложного оборудования, а из-за куда более банальной вещи — кода на Python. В журнале Nature вышла критика исследования Microsoft по топологическим кубитам на основе майорановских мод.

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

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

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

Microsoft с этим категорически не согласна. В корпорации заявили, что речь идёт максимум о незначительной аномалии в скриптах, которая не меняет сути эксперимента. Технический руководитель Microsoft Quantum Hardware Четан Наяк напомнил, что DARPA после независимой оценки перевела Microsoft в финальную фазу своей квантовой инициативы.

Ситуация болезненна ещё и потому, что у квантового подразделения Microsoft уже была похожая история. В 2021 году компания отозвала знаковую научную работу 2018 года о майорановских частицах после того, как независимые физики нашли проблемы с обработкой данных.

Теперь скандал вспыхнул снова на фоне недавней презентации процессора Majorana 2 и ускорения планов Microsoft: компания перенесла ожидание коммерческого квантового суперкомпьютера с 2035 на 2029 год.

Пока Microsoft уверяет, что всё под контролем. Но если критики правы, ошибка в нескольких строках кода может оказаться куда серьёзнее, чем сбой в лабораторном оборудовании.

RSS: Новости на портале Anti-Malware.ru