Solar inCode проверит безопасность смарт-контрактов

Solar inCode проверит безопасность смарт-контрактов

Solar inCode проверит безопасность смарт-контрактов

Компания Solar Security, представила новую версию Solar inCode. Ключевым обновлением Solar inCode 2.6 стала поддержка языка программирования Solidity, который используется для создания смарт-контрактов, предназначенных для заключения сделок в рамках технологии блокчейн.

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

«Все технологии, связанные с блокчейном, сейчас переживают взрыв популярности, – комментирует Даниил Чернов, руководитель направления Solar inCode компании Solar Security. – И, как и все новые технологии, смарт-контакты опасны тем, что популярность этих инструментов опережает их защищенность – при том, что в случае успешной атаки пользователи могут потерять реальные деньги. Поэтому мы считаем очень важным быстро реагировать на новые реалии и адаптировать Solar inCode к изменяющимся потребностям рынка».

Кроме того, Solar inCode теперь умеет искать ошибки и уязвимости в HTML5, что позволяет разработчикам быть уверенными не только в современности и удобстве, но и в защищенности создаваемых веб-приложений.

Технология анализа приложений, написанных на C/C++, также была улучшена и доработана. Анализе исходного кода теперь поддерживает сборку проектов с помощью Visual Studio, а база правил поиска уязвимостей была существенно расширена. Также была дополнена база правил поиска уязвимостей для языков ABAP и Delphi.

Отличительной особенностью Solar inCode является предельная простота в использовании. Новая версия продолжает развитие в этом направлении – в ней впервые реализована возможность загружать с локального компьютера проект в виде архива с расширениями .7z, .ear, .aar, .rar, .tar.bz2, .tar.gz, .tar, .cpio. В рамках повышения общего уровня usability интерфейс решения также был дополнительно доработан.

Еще одно крайне важное направление – легкое встраивание Solar inCode в процесс безопасной разработки приложений (SDLC) – получило поддержку в виде плагина к серверу непрерывной интеграции Jenkins и возможности отслеживать статус сканирования по электронной почте.

При этом отчеты о сканированиях теперь можно выгружать в соответствии с классификацией уязвимостей по HIPAA – в дополнение к классификациям OWASP Top 10 2013, OWASP Mobile Top 10 2014, OWASP Mobile Top 10 2016 и PCI DSS, что существенно упрощает разработчикам задачу по соответствию нормам и стандартам регуляторов. 

Подпишитесь на новости

Разработчик создал язык KillSwitch, который специально путает нейросети

Инженер Cloudflare Доминик Пичета представил KillSwitch — экспериментальный язык программирования, созданный для того, чтобы нейросети спотыкались при чтении и написании кода. Пока индустрия делает разработку удобнее для ИИ, он решил устроить ему полосу препятствий.

В своём блоге Пичета объяснил, что хотел проверить способность моделей работать с незнакомым языком и одновременно использовать их слабости: трудности с подсчётом символов, восприимчивость к инструкциям и чрезмерно чувствительные защитные фильтры.

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

Отдельный троллинг — конструкции вроде «игнорируй предыдущие инструкции», которые здесь имеют значение внутри языка. Добавьте намеренную ложь в документации и формулировки, провоцирующие защитные механизмы моделей, — получите весьма недружелюбную среду для кодинг-агента.

 

В тестах нейросети писали Hello World, объясняли результат программы и переделывали конвертер температуры. Лучший результат получил Claude Opus 5 — 66,8 балла.

Исходники и спецификация открыты на GitHub. Если модели справятся с нынешними заданиями, автор планирует усложнить проверку.

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