стань автором. присоединяйся к сообществу!

Лого Сделано у нас
40
Перспективные разработки, НИОКРы, изобретения

Samsung пользуется российской разработкой для поиска ошибок в коде

Компания Samsung использует программу статического анализа кода Svace, разработанную Институтом системного программирования Российской академии наук (ИСП РАН). Об этом в интервью «Ведомостям» рассказали глава ИСП РАН Арутюн Аветисян и GR-директор (специалист по взаимодействию с органами власти — прим. ТАСС) офиса Samsung в России Марат Гуриев.

Южнокорейская компания пользуется Svace, чтобы искать ошибки в исходном коде операционной системы Android, а также в кодах «родных» приложений Samsung и ОС Tizen.

Как пишет газета, разработка программы шла за счет Samsung, поэтому компания пользуется ей бесплатно. Вложения в ее создание превысили $10 млн. Однако в итоге права на Svace принадлежат Институту системного программирования. По словам Гуриева, Svace — единственный анализатор кода, который использует Samsung.

Как рассказал Аветисян «Ведомостям», ИСП РАН занимается фундаментальным исследованием анализа программного кода с 2002 года. За 2015 год институт благодаря своим разработкам выручил порядка $10 млн. Среди его клиентов есть также Hewlett-Packard, Huawei и Intel.

Хочешь всегда знать и никогда не пропускать лучшие новости о развитии России? У проекта «Сделано у нас» есть Телеграм-канал @sdelanounas_ru. Подпишись, и у тебя всегда будет повод для гордости за Россию.

Источник: http://tass.ru/ekonomika/3791255

Перспективные разработки, ИСП РАН
  • 1
    Нет аватара oscar
    17.11.1615:16:17

    Это предпоследний шаг к программам по написанию программ

    #854781 ↑
    • 1
      goryachee_leto goryachee_leto
      17.11.1615:48:54

      Это предпоследний шаг к программам по написанию программ

      Да, роботы реально могут и это заменить.

      Что будут делать млн индусов?

      #854799 ↑
    • 0
      RadiantConfessor RadiantConfessor
      14.11.1805:17:54

      Заказчик не умеет ставить задачу. Обычно программист ставит задачу и решает её. Если появится программа пишущая программы, то это только лишь автоматизирует труд программиста, которому останется ставить задачу.

      #1084990 ↑
  • Комментарий удален
  • 0
    Павел Иванников Павел Иванников
    09.11.2122:13:17

    «Арутюн Аветисян -- Лжец и Вор." — Откровения вдовы погибшего основателя Института Системного Программирования РАН, академика РАН Иванникова Виктора Петровича. Рассказ о том, как Арутюн Аветисян украл всё, что создавал Иванников В.П. доведя его до суицида. [ссылки отключены]©Видео с [ссылки отключены] [ссылки отключены]

    #1242683 ↑
  • 0
    Павел Иванников Павел Иванников
    09.11.2122:13:48

    Прошу Вас возбудить уголовное дело в отношении Аветисяна Арутюна Ишхановича (1971 г. р.) и Проскурякова Александра Леонидовича (1967 г.р), по факту доведения до самоубийства моего мужа Иванникова Виктора Петровича, и привлечь их к уголовной ответственности по признакам состава преступления, предусмотренного

    пунктом г) части 2, ст. 110 УК РФ.

    А также привлечь к уголовной ответственности Аветисяна А.И. и Проскурякова А.Л., по факту хищения у Иванникова В.П. его интеллектуальной и иной собственности, в том числе научных трудов и разработок, в соответствии с п. б) части 4 ст 158 УК РФ.

    Арутюн Аветисян был лично заинтересован в гибели Иванникова В.П., а после выявления Иванниковым В.П. фактов хищений новым руководством ИСП РАН, личная заинтересованность появилась и у Проскурякова А.Л., на увольнении которого настаивал Иванников В.П., и мог реально добиться этого. О желании уволить Проскурякова А.Л. мне известно непосредственно от Иванникова В.П., который поделился со мной и своей женой Иванниковой Т.Н. этим в октябре 2016 года. Это факт известен также соучастнику Проскурякова, Аветисяну А.И., который упрашивал Иванникова В.П. не делать этого и подождать примерно месяц-два для исправления совершённого. Этот срок, как оказалось позднее, и был нужен соучастникам преступления для доведения до конца своего преступного умысла.

    27 ноября 2016 года Иванников Виктор Петрович совершил повторную попытку суицида (первая попытка суицида 26.11.2016).

    Проведённой проверкой по материалу № 468пр-16 было отказано в возбуждении уголовного дела (постановление от 09.01.2017 года). При этом версию доведения до самоубийства следователь Черёмушкинского межрайонного СО СУ по ЮЗАО ГСУ СК РФ по г. Москве лейтенант юстиции Долгий А.А. даже не рассматривал.

    Считаю, что проверка по материалу № 468пр-16 по факту смерти Иванникова Виктора Петровича была проведена не полно, не всесторонне и поверхностно, не смотря на 67 листов в материалах проверки, основную часть материалов проверки занимают судебно-медицинские экспертизы.

    Не были изучены мотивы самоубийства, обстоятельства, произошедшие в период с 21 ноября по 26 ноября 2016 года, и в более ранний период,

    #1242684 ↑
Написать комментарий
Отмена
Для комментирования вам необходимо зарегистрироваться и войти на сайт,