Digital Security представила систему анализа кода ERPScan CheckCode

Digital Security представила систему анализа кода ERPScan CheckCode

ERPScan представили новый продукт собственной разработки - cистему статического анализа кода ERPScan CheckCode. Это решение предназначено для поиска потенциальных уязвимостей и закладок в программном коде и совмещает как типовые современные методы поиска уязвимостей, так и методы поиска программных закладок, специфичных для бизнес-приложений.

Статический анализатор кода, разработанный ERPScan, позволяет выявлять проблемы безопасности на этапе разработки и эксплуатации информационной системы.  В данный момент ERPScan CheckCode поддерживает следующие языки: ABAP/4, PeopleCode, X++, и1C. В ближайшее время запланирована поддержка JAVA, C, C++, C#, PHP, PL/SQL. 

Компания шла к созданию этого продукта несколько лет. Эксперты ERPScan активно ведут работу по анализу защищенности бизнес-приложений и исследования исходного кода на языке ABAP уже не один год. Серьезным шагом на этом пути стало создание несколько лет назад статического анализатора ABAP-кода, входящего в состав ERPScan Security Monitoring Suite for SAP, в котором применение уникальных собственных алгоритмов позволило успешно искать уязвимости, существенно минимизировав при этом число ложных срабатываний и обеспечив должную полноту поиска. Успешно решив эту непростую задачу для АВАР, одного из самых сложных на сегодня языков для бизнес-приложений, в ERPScan задались целью адаптировать этот опыт и для других языков. В итоге, был создан отдельный продукт - ERPScan CheckCode.

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

Илья Медведовский: «Одним из главных преимуществ новой системы ERPScan CheckСode является использование технологии анализа потока данных собственной разработки для уменьшения количества ложных срабатываний при высокой полноте анализа. Мы не сомневаемся, что наш продукт будет востребован на российском и зарубежных рынках, поскольку сегодня существует большая потребность в оптимальных с точки зрения качества работы и стоимости решениях для анализа исходного кода». 

Квантовый прорыв 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