Новый язык программирования "Paragonа" находит уязвимости

Новый язык программирования Paragonа находит уязвимости

Никлас Броберг из шведского университета «Гётеборг» разработал язык программирования, который может использоваться для идентифицирования уязвимостей в системе безопасности в информационном потоке ещё разрабатываемых приложений, сообщает «АйтиХак».

Язык программирования «Paragon» был создан, как часть диссертации Броберга под названием «Практическое, гибкое программирование с управляемым информационным потоком». Этот язык является расширением языка программирования «Java» и согласно Бробергу, он может быть легко интегрирован в существующие приложения написанные на «Java».

Как стало известно, «Paragon» в состоянии автоматически обнаруживать уязвимости безопасности. Для этого он использует два этапа. Сначала разработчик определяет, как будет использоваться программное обеспечение и у кого должен быть доступ к нему, а также при каких условиях; это выражается в политике спецификации языка под называнием «Paralocks».

Второй этап возникает во время компиляции: с помощью спецификации «Paralocks», система анализирует, как программа обрабатывает информацию, далее флаги компилятора находят абсолютно любые угрозы безопасности в участках кода, которые могут повлечь за собой кражу или модификацию данных, таким образом давая возможность разработчику исправить все найденные ошибки.

Источник: it-hack.ru

Похожие новости:
Facebook продемонстрировала новый язык программирования
Соцсеть Facebook продемонстрировала новый язык программирования Hack. Это непосредственный потомок языка PHP. В его основе лежит синтаксис этого языка. Как сообщает официальный сайт компании, посвященный новинке, значительную часть соцсети уже перевели на новый язык. Основное требование к Hack ..
2014-03-30 1199 0 Интернет, IT
0
Alb - новый арабский язык программирования
В странах арабского мира, да и во всех странах с языком, отличным от английского, начинающие программисты сталкиваются с одной и той же проблемой, заключающейся в том, что стандарт каждого распространенного языка программирования построен на основе латинской кодировки и слов английского языка, символов и слов, значение ..
2013-01-31 1209 0 Интернет, IT
0
"ВКонтакте" будет работать в два раза быстрее
Разработчики  «ВКонтакте» перевели код социальной сети на компилируемый язык программирования. Теперь страницы  грузятся вдвое быстрее, сообщил основатель сайта Павел Дуров в своем блоге. По его словам, в конце мая суточная посещаемость «ВКонтакте» достигла очередного рекорда — ..
2013-07-21 907 0 Интернет, IT
0
В честь создателей Unix назвали астероиды
Два астероида получили имена в честь программистов Кеннета Томпсона (Kenneth Thompson) и Денниса Ритчи (Dennis Ritchie), сообщает CNET News. Оба ученых внесли весомый вклад в создание операционной системы Unix. Астероиды, названные именами Томпсона и Ритчи, были открыты ..
2012-03-8 893 0 Интернет, IT
0
Умер Деннис Ритчи, создатель Unix и языка программирования Си
«Я только что узнал, что после долгой болезни, у себя дома в эти выходные скончался Деннис Ритчи (dmr). Я знаю, что есть люди, которые ценят важность его достижений и будут должным образом скорбеть о его уходе. Он был тихим и не слишком открытым человеком, но он был моим ..
2011-10-15 1052 0 Интернет, IT
0
Американцы отучили программы бояться отключения от сети
Исследователи из Университета Карнеги-Меллон разработали новый язык программирования, с помощью которого можно писать программы для компьютеров, не имеющих надежного источника питания. Согласно сообщению университета, новый язык получил название Chain. Написанные с его помощью программы после потери ..
2016-11-01 5431 0 Интернет, IT
0
Автор поста об уязвимости ПО «Яндекса» для такси сообщил о взломе своего аккаунта
Сообщение об уязвимости в ПО компании «Яндекс» для таксопарков, о котором сообщалось ранее, было опубликовано со взломанного аккаунта. О неавторизованном доступе к аккаунту сообщил сам автор поста lamamer. При этом пресс-служба компании «Яндекс» пояснила, что уязвимость существовала, но уже устранена. «Всем привет! Сегодня с удивлением ..
2015-06-08 2335 0 Интернет, IT
0
Google раскрыла три уязвимости в операционной системе OS X от Apple
Специалисты по инфобезопасности компании Google публично раскрыли три уязвимости в операционной системе OS X для компьютеров Mac. Об этом сообщает издание Ars Technica. Ошибку обнаружила команда Project Zero в составе Google, которая занимается поиском уязвимостей во всех программных продуктах. Как правило, специалисты ..
2015-01-26 4820 0 Интернет, IT
0
Эксперты обнаружили опасную разновидность вируса для Apple
Эксперты антивирусной компании F-Secure обнаружили опасную разновидность троянской программы Flashback, которая способна заразить компьютер Mac незаметно для его владельца, сообщается в блоге компании. Для установки любого ПО система OS X требует от пользователя ввести специальный пароль администратора. Ранее это серьезно ..
2012-04-4 2670 0 Интернет, IT
0
Google признали виновным в нарушении авторских прав Oracle
Коллегия присяжных в Сан-Франциско 7 мая признала Google виновным в нарушении авторских прав Oracle при использовании языка программирования Java. Об этом сообщает Agence France-Presse. В общей сложности присяжные должны были установить наличие или отсутствие нарушений со стороны Google по четырем ..
2012-05-9 984 0 Интернет, IT
0
С чего начать учиться программированию?
Как познать искусство программирования на ЭВМ? А программирование – это именно искусство! Как заставить сложную машину выполнять ваши команды? Как разобраться во всем множестве языков программирования?С чего начать? На что обратить особое внимание? От обилия информации по этому вопросу кружится голова. ..
2012-01-17 1443 0 Интернет, IT
0
Команда Project Zero встанет на защиту интернета
Google объявила о запуске проекта Project Zero, новой команды профессионалов в области компьютерной безопасности внутри компании, деятельность которой будет сосредоточена на обеспечении защиты в Интернете. Компания заявила, что любой человек должен использовать Интернет, не опасаясь того, что преступники ..
2014-07-17 827 0 Интернет, IT
0
Мобильное приложение научит программированию за час
Для тех, кто всегда хотел стать программистом, но боялся взяться за эту сложную науку, пригодится образовательное приложение Codeacademy, которое обещает научить основам программирования всего за один час. Ученику наглядно продемонстрируют, что писать код далеко не так сложно, как это кажется со стороны. Программа ..
2013-12-13 1132 0 Интернет, IT
0
Присяжные решили, что Google не нарушала патентов Oracle
Окружной суд Сан-Франциско признал Google невиновной в нарушении патентов Oracle. Коллегия присяжных, состоящая из десяти человек, единогласно решила, что ни один из двух патентов Oracle на язык программирования Java, фрагменты которого используются в операционной системе Android, не был нарушен. Об этом ..
2012-05-24 932 0 Интернет, IT
0
Самый знаменитый троян написан на неизвестном языке
Часть трояна Duqu написана на неизвестном языке программирования, созданного специально для разработки этого вируса, утверждают в "Лаборатории Касперского", - об этом пишет cnews.ru. По мнению экспертов, это указывает на многомиллионные инвестиции в разработку Duqu и на государственный заказ по его созданию. Важный фрагмент кода ..
2012-03-9 1303 0 Интернет, IT
0