The OpenNET Project / Index page

[ новости/++ | форум | wiki | теги ]

16.06.2016 09:43  Компания Microsoft открыла систему динамической проверки указателей для кода на языке Си

Компания Microsoft перевела в разряд открытых проектов Checked C, расширение для языка Си, вводящее дополнительные статические и динамические проверки для выявления и блокирования типовых ошибок, таких как переполнения буферов, выход за границы выделенной области памяти и некорректное приведение типов. Наработки открыты под лицензией MIT. Практические реализации расширения Checked C подготовлены для LLVM и Clang, и доступны под свободной лицензией NCSA (лицензия LLVM). Спецификация с описанием Checked C включает 140 страниц.

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

  1. Главная ссылка к новости (http://www.theregister.co.uk/2...)
Лицензия: CC-BY
Тип: Программы
Ключевые слова: gcc, lang, debug, overflow
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение Линейный вид | Ajax | Показать все | RSS
 
  • 1.2, Аноним, 10:19, 16/06/2016 [ответить] [смотреть все]
  • +3 +/
    А не по феншую ниразу В сях обязаны быть и разыменование, и утечки, и кривое пр... весь текст скрыт [показать]
     
     
  • 2.3, Andrey Mitrofanov, 10:39, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • –1 +/
    Коллега Ви не понимайт 1 Лидер Отрасли поделился с сообществом пердовыми нараб... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.16, Andrey Mitrofanov, 11:41, 16/06/2016 [^] [ответить] [смотреть все]  
  • +2 +/
    А вот и Промышленный Золотой Стандарт Качества -- в продуктах Лидера http w... весь текст скрыт [показать]
     
     
  • 4.49, Аноним, 00:50, 20/06/2016 [^] [ответить] [смотреть все]  
  • +/
    Золотой стандарт майкрософта не сделать C99 за 17 лет, зато притащить какое-то ... весь текст скрыт [показать]
     
  • 1.4, Аноним, 10:39, 16/06/2016 [ответить] [смотреть все]  
  • +1 +/
    А в оригинале новости написано про патенты микрософта, которые в этом поделии за... весь текст скрыт [показать]
     
     
  • 2.5, Andrey Mitrofanov, 10:43, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +4 +/
    Об этом пишут не в новостях Это коммерческая тайна Её Вам поведают, под Страшн... весь текст скрыт [показать] [показать ветку]
     
  • 2.23, Crazy Alex, 13:05, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +1 +/
    В открытом софте всегда можно найти кого-то из юрисдикции, где патенты на софт н... весь текст скрыт [показать] [показать ветку]
     
  • 1.6, Анон1, 10:54, 16/06/2016 [ответить] [смотреть все]  
  • –1 +/
    А спеку пацаны по ходу в латехе верстали. Вообще непорядок, а как же их офис?
     
     
  • 2.7, Andrey Mitrofanov, 10:57, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • –1 +/
    Инфильтрация, как инфильтрация Первый раз видишь research crocosoft com ... весь текст скрыт [показать] [показать ветку]
     
  • 1.8, Аноним, 11:07, 16/06/2016 [ответить] [смотреть все]  
  • +/
    Сколько хейта, шуток и подколов и ни кто не написал не нужно Похоже нужно, то... весь текст скрыт [показать]
     
     
  • 2.9, Анонимен, 11:16, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +8 +/
    Это не конь, а скорее то, что из коня периодически вылезает.
     
     
  • 3.11, Аноним, 11:19, 16/06/2016 [^] [ответить] [смотреть все]  
  • –4 +/
    Вот удивительно что ни кто не пишет не нужно Значит наверно все же вы ошибает... весь текст скрыт [показать]
     
  • 3.50, Аноним, 00:52, 20/06/2016 [^] [ответить] [смотреть все]  
  • +/
    Оно еще плохо пахнет Или мечами машет Как повезет ... весь текст скрыт [показать]
     
  • 2.10, iPony, 11:18, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +/
    А в какое тогда именно место коня смотреть ... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.12, Аноним, 11:20, 16/06/2016 [^] [ответить] [смотреть все]  
  • +/
    А в какое вы обычно смотрите когда берете код под GPL ... весь текст скрыт [показать]
     
  • 2.13, Аноним, 11:23, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +3 +/
    И на р не нужно, и пользоваться не буду Ток чоб не поржать то Абыдно, да... весь текст скрыт [показать] [показать ветку]
     
  • 2.14, Andrey Mitrofanov, 11:28, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +2 +/
    Аналогичная история была в г Трое -- с конём В точности И там тоже наверняка б... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.17, Аноним, 11:43, 16/06/2016 [^] [ответить] [смотреть все]  
  • +/
    Забавно Открытый исходный код это если на манер г Троя конь из стекла ... весь текст скрыт [показать]
     
     
  • 4.41, Аноним, 00:16, 17/06/2016 [^] [ответить] [смотреть все]  
  • –3 +/
    Тысячи глаз смотрели сквозь чрево коня и не видели ничего, потому что лживый про... весь текст скрыт [показать]
     
     
  • 5.51, Аноним, 00:54, 20/06/2016 [^] [ответить] [смотреть все]  
  • +/
    То ли дело майкрософт, решивший лихо телеметрить вообще весь код собранный 15-й ... весь текст скрыт [показать]
     
  • 5.59, die_russofobs, 11:43, 03/04/2017 [^] [ответить] [смотреть все]  
  • +/
    Типичный жидо- атеистический поклёп на верующих Т к пророк в той истории - ка... весь текст скрыт [показать]
     
  • 1.15, Аноним, 11:37, 16/06/2016 [ответить] [смотреть все]  
  • +/
    если впилят это внутрь clang и оно будет помогать работать --analyze тогда ладно... весь текст скрыт [показать]
     
  • 1.20, Аноним, 12:28, 16/06/2016 [ответить] [смотреть все]  
  • +3 +/
    Зачем эта поделка если есть валгрид пусть лучше свои зонды дальше суют хомячкам... весь текст скрыт [показать]
     
     
  • 2.52, Аноним, 00:57, 20/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +1 +/
    Еще asan есть в gcc и clang Ловит ошибки работы с памятью влет и не требует мен... весь текст скрыт [показать] [показать ветку]
     
  • 1.21, анонимус, 12:34, 16/06/2016 [ответить] [смотреть все]  
  • +4 +/
    Интересно, сколько из отписавшихся тут хохмачей действительно пишет на Си? Или увидели в заголовке новости слово "Microsoft"и  решили внести свой вклад?
     
     
  • 2.27, Аноним, 14:44, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +4 +/
    Пишущый на Опеннете редко пишет на Си.
     
     
  • 3.37, Led, 19:36, 16/06/2016 [^] [ответить] [смотреть все]  
  • +/
    "Пишущий" на Visual Studio редко пишет на Си.
     
  • 2.53, Аноним, 01:00, 20/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +2 +/
    Почти ни один обладатель вьюжлстудии на си не пишет Может быть на корявой смеси... весь текст скрыт [показать] [показать ветку]
     
  • 1.22, Аноним, 12:54, 16/06/2016 [ответить] [смотреть все]  
  • –1 +/
    Это же Cyclone немного откопали, это радует :)
     
     
  • 2.24, Аноним, 13:09, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +/
    Лучже уж Cyclone, чем Windows-Lock.
     
     
  • 3.54, Аноним, 01:07, 20/06/2016 [^] [ответить] [смотреть все]  
  • +1 +/
    MS добился того что на сях в MSVS не пишут, потому что неудобно уж очень, когда ... весь текст скрыт [показать]
     
  • 1.28, Аноним, 16:45, 16/06/2016 [ответить] [смотреть все]  
  • +2 +/
    Прими боже чего продать негоже?
     
     
  • 2.31, Аноним, 17:46, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • –1 +/
    не самая плохая практика отдать сообществу то что не продается так многие делаю... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.56, Аноним, 18:38, 20/06/2016 [^] [ответить] [смотреть все]  
  • +/
    третий офис открыли для музейных целей, и эту полуось придет время откроют ровно... весь текст скрыт [показать]
     
     
  • 4.60, die_russofobs, 11:50, 03/04/2017 [^] [ответить] [смотреть все]  
  • +/
    Ещё MS-DOS Аж, v 1 0 и с такой же образовательной License, что потом де... весь текст скрыт [показать]
     
  • 1.30, Вареник, 16:57, 16/06/2016 [ответить] [смотреть все]  
  • –2 +/
    Все навороты хруста перед С оказываются ненужны.
     
     
  • 2.33, angra, 17:56, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +4 +/
    Так как ты явно ни в С, ни в Rust не разбираешься, то объясню при помощи аналоги... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.55, Аноним, 01:10, 20/06/2016 [^] [ответить] [смотреть все]  
  • –1 +/
    Давай ты на своем мотоцикле напишешь пару операционок, которые задвинут остальны... весь текст скрыт [показать]
     
     
  • 4.58, Аноним, 14:48, 08/07/2016 [^] [ответить] [смотреть все]  
  • +/
    Давай ты перестанешь быть чудаком на букву 171 м 187 , одним из тех, из-за ко... весь текст скрыт [показать]
     
  • 1.32, dq0s4y71, 17:54, 16/06/2016 [ответить] [смотреть все]  
  • –1 +/
    dynamic_cast для Си изобрели?
     
     
  • 2.34, НяшМяш, 18:09, 16/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +3 +/
    боже упаси
     
  • 1.38, Аноним, 20:59, 16/06/2016 [ответить] [смотреть все]  
  • +/
    Я правильно понял, что мелкосовт заместо развития поддержки С99 сделал как обычн... весь текст скрыт [показать]
     
     
  • 2.43, kachsheev, 03:24, 17/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • +/
    Иначе у них и не получается.
     
     
  • 3.61, die_russofobs, 11:58, 03/04/2017 [^] [ответить] [смотреть все]  
  • +/
    Просто так задуманно, для поглощения пользователей Конкуренция И не только у н... весь текст скрыт [показать]
     
  • 1.44, Какаянахренразница, 07:40, 17/06/2016 [ответить] [смотреть все]  
  • +1 +/
    Проверяем на соответствие. Embrace есть?

    > перевела в разряд открытых проектов

    Есть. Extend есть?

    > расширение для языка Си, вводящее дополнительные

    Есть. Какой там был третий пункт?
    ---------------------
    Подсказка: https://ru.wikipedia.org/wiki/Embrace,_Extend,_and_Extinguish

     
     
  • 2.45, Харли, 08:30, 17/06/2016 [^] [ответить] [смотреть все] [показать ветку]  
  • –1 +/
    Уничтожить цэ Эта Тут мужуки сумлеваются ц Не думаю что им некрософту б... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.46, Какаянахренразница, 09:16, 17/06/2016 [^] [ответить] [смотреть все]  
  • +1 +/
    Не цэ, а, например, свободные компиляторы Да хотя бы просто поднасрать ... весь текст скрыт [показать]
     
     
  • 4.48, kachsheev, 15:54, 18/06/2016 [^] [ответить] [смотреть все]  
  • +1 +/
    Уже срут Гор Нишанов из комитета по стандартизации плюсов является засланцем ме... весь текст скрыт [показать]
     
  • 4.57, Аноним, 18:42, 20/06/2016 [^] [ответить] [смотреть все]  
  • –1 +/
    каким Макарием уничтожить вон ректалосовцы пишут код на Си который компилируютс... весь текст скрыт [показать]
     
  • 1.47, Аноним, 10:37, 17/06/2016 [ответить] [смотреть все]  
  • +5 +/
    Не верь торгашам дары приносящих с Помятуя поганенькие деяния мс все эти их ... весь текст скрыт [показать]
     
     
  • 2.62, die_russofobs, 12:00, 03/04/2017 [^] [ответить] [смотреть все] [показать ветку]  
  • +/
    У многих OSC производителей таких деяний - не меньше и аналогично западлянка, а... весь текст скрыт [показать] [показать ветку]
     

     Добавить комментарий
    Имя:
    E-Mail:
    Заголовок:
    Текст:


      Закладки на сайте
      Проследить за страницей
    Created 1996-2017 by Maxim Chirkov  
    ДобавитьРекламаВебмастеруГИД  
    Hosting by Ihor