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

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

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

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

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

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

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

Похожие новости:
Facebook продемонстрировала новый язык программирования
Соцсеть Facebook продемонстрировала новый язык программирования Hack. Это непосредственный потомок языка PHP. В его основе лежит синтаксис этого языка. Как сообщает официальный сайт компании, посвященный новинке, значительную часть соцсети уже перевели на новый язык. Основное требование к Hack ..
2014-03-30 2135 0 Интернет, IT
0
"ВКонтакте" будет работать в два раза быстрее
Разработчики  «ВКонтакте» перевели код социальной сети на компилируемый язык программирования. Теперь страницы  грузятся вдвое быстрее, сообщил основатель сайта Павел Дуров в своем блоге. По его словам, в конце мая суточная посещаемость «ВКонтакте» достигла очередного рекорда — ..
2013-07-21 1807 0 Интернет, IT
1
Alb - новый арабский язык программирования
В странах арабского мира, да и во всех странах с языком, отличным от английского, начинающие программисты сталкиваются с одной и той же проблемой, заключающейся в том, что стандарт каждого распространенного языка программирования построен на основе латинской кодировки и слов английского языка, символов и слов, значение ..
2013-01-31 2441 0 Интернет, IT
0
В честь создателей Unix назвали астероиды
Два астероида получили имена в честь программистов Кеннета Томпсона (Kenneth Thompson) и Денниса Ритчи (Dennis Ritchie), сообщает CNET News. Оба ученых внесли весомый вклад в создание операционной системы Unix. Астероиды, названные именами Томпсона и Ритчи, были открыты ..
2012-03-8 1730 0 Интернет, IT
0
Умер Деннис Ритчи, создатель Unix и языка программирования Си
«Я только что узнал, что после долгой болезни, у себя дома в эти выходные скончался Деннис Ритчи (dmr). Я знаю, что есть люди, которые ценят важность его достижений и будут должным образом скорбеть о его уходе. Он был тихим и не слишком открытым человеком, но он был моим ..
2011-10-15 1964 0 Интернет, IT
0
Google признали виновным в нарушении авторских прав Oracle
Коллегия присяжных в Сан-Франциско 7 мая признала Google виновным в нарушении авторских прав Oracle при использовании языка программирования Java. Об этом сообщает Agence France-Presse. В общей сложности присяжные должны были установить наличие или отсутствие нарушений со стороны Google по четырем ..
2012-05-9 1882 0 Интернет, IT
0
С чего начать учиться программированию?
Как познать искусство программирования на ЭВМ? А программирование – это именно искусство! Как заставить сложную машину выполнять ваши команды? Как разобраться во всем множестве языков программирования?С чего начать? На что обратить особое внимание? От обилия информации по этому вопросу кружится голова. ..
2012-01-17 2356 0 Интернет, IT
0
Мобильное приложение научит программированию за час
Для тех, кто всегда хотел стать программистом, но боялся взяться за эту сложную науку, пригодится образовательное приложение Codeacademy, которое обещает научить основам программирования всего за один час. Ученику наглядно продемонстрируют, что писать код далеко не так сложно, как это кажется со стороны. Программа ..
2013-12-13 1960 0 Интернет, IT
0
Американцы отучили программы бояться отключения от сети
Исследователи из Университета Карнеги-Меллон разработали новый язык программирования, с помощью которого можно писать программы для компьютеров, не имеющих надежного источника питания. Согласно сообщению университета, новый язык получил название Chain. Написанные с его помощью программы после потери ..
2016-11-01 6403 0 Интернет, IT
0
Присяжные решили, что Google не нарушала патентов Oracle
Окружной суд Сан-Франциско признал Google невиновной в нарушении патентов Oracle. Коллегия присяжных, состоящая из десяти человек, единогласно решила, что ни один из двух патентов Oracle на язык программирования Java, фрагменты которого используются в операционной системе Android, не был нарушен. Об этом ..
2012-05-24 1803 0 Интернет, IT
0
Самый знаменитый троян написан на неизвестном языке
Часть трояна Duqu написана на неизвестном языке программирования, созданного специально для разработки этого вируса, утверждают в "Лаборатории Касперского", - об этом пишет cnews.ru. По мнению экспертов, это указывает на многомиллионные инвестиции в разработку Duqu и на государственный заказ по его созданию. Важный фрагмент кода ..
2012-03-9 2176 0 Интернет, IT
0
Эксперты обнаружили опасную разновидность вируса для Apple
Эксперты антивирусной компании F-Secure обнаружили опасную разновидность троянской программы Flashback, которая способна заразить компьютер Mac незаметно для его владельца, сообщается в блоге компании. Для установки любого ПО система OS X требует от пользователя ввести специальный пароль администратора. Ранее это серьезно ..
2012-04-4 3555 0 Интернет, IT
0
"ВКонтакте" заплатила 2,5 миллиона за лучший мессенджер для iPhone
Социальная сеть "ВКонтакте" объявила итоги конкурса, в рамках которого участникам предлагалось разработать лучшую программу-мессенджер для iPhone. Победитель — питерский программист Петр Яковлев – получит главный приз в 2,5 миллиона рублей. Всего за победу в конкурсе боролись более ..
2012-05-6 2392 0 Интернет, IT
0
Google-переводчик изобрел собственный язык
Свой собственный язык разработал искусственный интеллект, используемый в сервисе переводов от Google. Данный факт выявили разработчики, изучая схему работы ИИ c новыми для себя парами языков.ИИ, используемый в Google-переводах, подключен к нейросети, благодаря чему разработчики в процессе обучения ..
2016-12-18 5651 0 Интернет, IT
0
Программистский конкурс Facebook выиграл россиянин
Россиянин Роман Андреев занял первое место в международном конкурсе программистов Facebook Hacker Cup, который проводит соцсеть Facebook. Об этом сообщает The Next Web. По данным Xakep.ru, Андрееву 18 лет и он учится в Санкт-Петербургском государственном университете (СПбГУ). За победу Андреев получил ..
2012-03-19 1805 0 Интернет, IT
0