URL: https://www.opennet.ru/cgi-bin/openforum/vsluhboard.cgi
Форум: vsluhforumID3
Нить номер: 108255
[ Назад ]

Исходное сообщение
"Компания Microsoft открыла систему динамической проверки ука..."

Отправлено opennews , 16-Июн-16 10:15 
Компания Microsoft перевела в разряд открытых проектов
Checked C (http://research.microsoft.com/en-us/projects/checkedc/defaul... расширение для языка Си, вводящее дополнительные статические и динамические проверки для выявления и блокирования типовых ошибок, таких как переполнения буферов, выход за границы выделенной области памяти и некорректное приведение типов. Наработки открыты (https://github.com/Microsoft/checkedc) под лицензией MIT. Практические реализации расширения Checked C подготовлены для LLVM (https://github.com/Microsoft/checkedc-llvm) и Clang (https://github.com/Microsoft/checkedc-clang), и доступны под свободной лицензией NCSA (https://en.wikipedia.org/wiki/University_of_Illinois/NCSA_Op... (лицензия LLVM). Спецификация (https://github.com/Microsoft/checkedc/releases/download/v0.5... с описанием Checked C включает 140 страниц.

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


URL: http://www.theregister.co.uk/2016/06/16/microsoft_releases_o.../
Новость: http://www.opennet.ru/opennews/art.shtml?num=44608


Содержание

Сообщения в этом обсуждении
"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 10:19 
А не по феншую ниразу. В сях обязаны быть и разыменование, и утечки, и кривое приведение к void* и все остальные вкусняшки. Иначе жто уже не си. Кому не ндравицца велкам, например, в плюсы. Или еще подальше - в джяву етц

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Andrey Mitrofanov , 16-Июн-16 10:39 
> А не по феншую ниразу. В сях обязаны быть и разыменование, и

Коллега! Ви не понимайт!!1 Лидер Отрасли поделился с сообществом пердовыми наработками в такой чувствительной области. Теперь и _у_нас_ будет с безпасностью больших буферов, указателей и типовых привидений, как у Лидера!!1111

#> под лицензией MIT.
#>для LLVM и Clang
#>под свободной лицензией NCSA

Ну, не у нас, так у ф5здешников и Ябблока.  Безопасности им. Ура. >\<

> утечки, и кривое приведение к void* и все остальные вкусняшки. Иначе


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Andrey Mitrofanov , 16-Июн-16 11:41 
>> А не по феншую ниразу. В сях обязаны быть и разыменование, и
> Ну, не у нас, так у ф5здешников и Ябблока.  Безопасности им.
> Ура. >\<
>> утечки, и кривое приведение к void* и все остальные вкусняшки. Иначе

А вот и Промышленный Золотой Стандарт Качества -- в "продуктах" Лидера.
http://www.opennet.ru/openforum/vsluhforumID3/108253.html#4

Не какой-то хитый эппловский Си, но Настоящий Си++11 от Лидера Идустрии!


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 00:50 
Золотой стандарт майкрософта: не сделать C99 за 17 лет, зато притащить какое-то фирменное расширение, требующее переделывать код.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 10:39 
А в оригинале новости написано про патенты микрософта, которые в этом поделии зарыты?

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Andrey Mitrofanov , 16-Июн-16 10:43 
> А в оригинале новости написано про патенты микрософта, которые в этом поделии
> зарыты?

Об этом пишут не в новостях. Это коммерческая тайна. Её Вам поведают, под Страшным Секретом, конечно!, "вежливые" сборщики дани с битами и C&D письмами.

Ждите, к Вам придут.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Crazy Alex , 16-Июн-16 13:05 
В открытом софте всегда можно найти кого-то из юрисдикции, где патенты на софт не действуют, и он погоняет подобное. Не в релиз же такие проверки совать.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Анон1 , 16-Июн-16 10:54 
А спеку пацаны по ходу в латехе верстали. Вообще непорядок, а как же их офис?

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Andrey Mitrofanov , 16-Июн-16 10:57 
> А спеку пацаны по ходу в латехе верстали. Вообще непорядок, а как
> же их офис?

Инфильтрация, как инфильтрация. Первый раз видишь research.crocosoft.com?


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 11:07 
Сколько хейта, шуток и подколов и ни кто не написал "не нужно". Похоже нужно, тогда почему столько шуток?
Не нравится не пользуйте. Не нравится по лицензиям - напишите свое. Но если уж вам подарили то хоть не смотрите коню в зубы.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Анонимен , 16-Июн-16 11:16 
Это не конь, а скорее то, что из коня периодически вылезает.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 11:19 
Вот удивительно что ни кто не пишет "не нужно". Значит наверно все же вы ошибаетесь.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 00:52 
> Это не конь, а скорее то, что из коня периодически вылезает.

Оно еще плохо пахнет. Или мечами машет. Как повезет.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено iPony , 16-Июн-16 11:18 
> Но если уж вам подарили то хоть не смотрите коню в зубы.

А в какое тогда именно место коня смотреть?


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 11:20 
>> Но если уж вам подарили то хоть не смотрите коню в зубы.
> А в какое тогда именно место коня смотреть?

А в какое вы обычно смотрите когда берете код под GPL?


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 11:23 
И на***р не нужно, и пользоваться не буду.
Ток чоб не поржать то? ))) Абыдно, да?

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Andrey Mitrofanov , 16-Июн-16 11:28 
> если уж вам подарили то хоть не смотрите коню в зубы.

Аналогичная история была в г.Трое -- с конём. В точности!

И там тоже наверняка были социал-предатели, доброхоты вроде тебя.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 11:43 
>> если уж вам подарили то хоть не смотрите коню в зубы.
> Аналогичная история была в г.Трое -- с конём. В точности!
> И там тоже наверняка были социал-предатели, доброхоты вроде тебя.

Забавно. Открытый исходный код это если на манер г.Троя конь из стекла.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 17-Июн-16 00:16 
> Забавно. Открытый исходный код это если на манер г.Троя конь из стекла.

Тысячи глаз смотрели сквозь чрево коня и не видели ничего, потому что лживый пророк обещал им, что они будут видеть, но не дал им желания видеть и они не видели ничего.



"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 00:54 
> Тысячи глаз смотрели сквозь чрево коня и не видели ничего, потому что
> лживый пророк обещал им, что они будут видеть, но не дал
> им желания видеть и они не видели ничего.

То ли дело майкрософт, решивший лихо телеметрить вообще весь код собранный 15-й студией. Хорошее дополнение к сливу пользовательских данных десяткой.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено die_russofobs , 03-Апр-17 11:43 
Типичный [жидо-]атеистический поклёп на верующих!
Т.к.пророк в той истории - как раз отговаривал принимать дар,
но на него возгордившись - забили, такие же лживые атеисты.
Так что они получили - что заслужили.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 11:37 
если впилят это внутрь clang и оно будет помогать работать --analyze тогда ладно, а иначе кто этим пользоваться будет

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 12:28 
Зачем эта поделка если есть валгрид? пусть лучше свои зонды дальше суют хомячкам...

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 00:57 
> Зачем эта поделка если есть валгрид? пусть лучше свои зонды дальше суют
> хомячкам...

Еще asan есть в gcc и clang. Ловит ошибки работы с памятью влет и не требует менять код на какие-то там другие типы, с кем-то там совместимые. Гоняешь себе свой код и смотришь что будет. Особенно здорово взять еще American Fuzzy Lop и пройтись им прицельно по своей программе.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено анонимус , 16-Июн-16 12:34 
Интересно, сколько из отписавшихся тут хохмачей действительно пишет на Си? Или увидели в заголовке новости слово "Microsoft"и  решили внести свой вклад?

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 14:44 
Пишущый на Опеннете редко пишет на Си.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Led , 16-Июн-16 19:36 
"Пишущий" на Visual Studio редко пишет на Си.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 01:00 
> Интересно, сколько из отписавшихся тут хохмачей действительно пишет на Си? Или увидели
> в заголовке новости слово "Microsoft"и  решили внести свой вклад?

Почти ни один обладатель вьюжлстудии на си не пишет. Может быть на корявой смеси хзкакой версии плюсов с сями, в режиме "си++ это такой хороший си". Потому что MS даже древний С99 не реализовал. Они наверное планируют совсем свернуть vs'овский компилятор если такие подарки делают. Их компилятор сейчас - это как Internet Explorer 6. Даже если вытряхнуть его сорц - кому он сейчас нужен будет?


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 12:54 
Это же Cyclone немного откопали, это радует :)

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 13:09 
Лучже уж Cyclone, чем Windows-Lock.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 01:07 
> Лучже уж Cyclone, чем Windows-Lock.

MS добился того что на сях в MSVS не пишут, потому что неудобно уж очень, когда даже С99 нету. А тут вдруг оказалось что универсальные библиотеки, цепляемые к любому ЯП писать на чем-то еще - опа. И все опенсорсные библы как-то так пишутся всякими *nix'оидами и на gcc или изредка clang, они мимикрируют друг под друга и для програмеров разницы нет. А вьюжлстудия как-то оказалась в пролете. Вместе с виндовыми програмерами. А какая эффективность работы програмера без либ - догадайтесь сами.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 16:45 
Прими боже чего продать негоже?

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 17:46 
не самая плохая практика отдать сообществу то что не продается.

так многие делают.

imb бы вот об этом подумать. Столько всякого у них типа полуоси что можно было бы открыть.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 18:38 
третий офис открыли для музейных целей, и эту полуось придет время откроют ровно для этого же .

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено die_russofobs , 03-Апр-17 11:50 
> третий офис открыли для музейных целей, и эту полуось придет время откроют
> ровно для этого же .

Ещё MS-DOS !
Аж, v.1.0...
(и с такой же "образовательной" License, что потом делать схожее по ней - запрещается...)



"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Вареник , 16-Июн-16 16:57 
Все навороты хруста перед С оказываются ненужны.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено angra , 16-Июн-16 17:56 
Так как ты явно ни в С, ни в Rust не разбираешься, то объясню при помощи аналогии. Если на велосипед навесить мотор и бензобак, то полноценным мотоциклом он от этого не станет.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 01:10 
> Так как ты явно ни в С, ни в Rust не разбираешься,
> то объясню при помощи аналогии. Если на велосипед навесить мотор и
> бензобак, то полноценным мотоциклом он от этого не станет.

Давай ты на своем мотоцикле напишешь пару операционок, которые задвинут остальных сначала? Ну там загрузчик, ядро, низкоуровенвое API к всему этому. А потом будешь рассказывать о крутизне твоего мотоцикла, угумс. А то прикольно наверное ехать на велосипеде с моторчиком, когда мотоцикл не заводится, рассуждая о том как велосипед плох.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 08-Июл-16 14:48 
>> Так как ты явно ни в С, ни в Rust не разбираешься,
>> то объясню при помощи аналогии. Если на велосипед навесить мотор и
>> бензобак, то полноценным мотоциклом он от этого не станет.
> Давай ты на своем мотоцикле напишешь пару операционок, которые задвинут остальных сначала?
> Ну там загрузчик, ядро, низкоуровенвое API к всему этому. А потом
> будешь рассказывать о крутизне твоего мотоцикла, угумс. А то прикольно наверное
> ехать на велосипеде с моторчиком, когда мотоцикл не заводится, рассуждая о
> том как велосипед плох.

Давай ты перестанешь быть чудаком на букву «м», одним из тех, из-за кого ходить в комменты даже уже не противно, а просто времени жалко?


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено dq0s4y71 , 16-Июн-16 17:54 
dynamic_cast для Си изобрели?

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено НяшМяш , 16-Июн-16 18:09 
боже упаси

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 16-Июн-16 20:59 
Я правильно понял, что мелкосовт заместо развития поддержки С99 сделал как обычно (то есть запилил свое, ни с чем не совместимое нечто)?

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено kachsheev , 17-Июн-16 03:24 
Иначе у них и не получается.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено die_russofobs , 03-Апр-17 11:58 
Просто так задуманно, для поглощения пользователей. Конкуренция.
И не только у них, а и у GCC расширения и десятилетиями неправленными багами стандарта и у других,
или например производителей видеокарт с якобы стандартом OpenGL.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Какаянахренразница , 17-Июн-16 07:40 
Проверяем на соответствие. Embrace есть?

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

Есть. Extend есть?

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

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


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Харли , 17-Июн-16 08:30 
Уничтожить цэ?! "Эта! Тут мужуки сумлеваются"(ц)
Не думаю что им (некрософту) больше нечем себя занять, кроме как донкихотством (исключительно в контексте мельниц). Скорее просто не знали куда деть, а выкинуть было жалко.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Какаянахренразница , 17-Июн-16 09:16 
> Уничтожить цэ?!

Не цэ, а, например, свободные компиляторы. Да хотя бы просто поднасрать.


"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено kachsheev , 18-Июн-16 15:54 
Уже срут. Гор Нишанов из комитета по стандартизации плюсов является засланцем мелкомягких. А им очень хочется асинхронное программирование сделать аналогично шарпам.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 20-Июн-16 18:42 
каким Макарием уничтожить? вон ректалосовцы пишут код на Си который компилируются чем хош.

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено Аноним , 17-Июн-16 10:37 
Не верь торгашам дары приносящих! (с)
Помятуя поганенькие деяния мс все эти их "приоткрытия" являются явной заподлянкой...

"Компания Microsoft открыла систему динамической проверки ука..."
Отправлено die_russofobs , 03-Апр-17 12:00 
> Не верь торгашам дары приносящих! (с)
> Помятуя поганенькие деяния мс все эти их "приоткрытия" являются явной заподлянкой...

У многих OSC производителей таких деяний - не меньше и аналогично западлянка,
а если кто то это не видит - значит уже подсел.