форумы  правила/FAQ  поиск  регистрация  вход/выход  слежка

Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Изначальное сообщение		[ Отслеживать ]

"Компания Microsoft открыла систему динамической проверки ука..."	+/–
Сообщение от opennews on 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.me/opennews/art.shtml?num=44608
Ответить | Правка | Cообщить модератору

Сообщения по теме

[Сортировка по времени | RSS]

2. "Компания Microsoft открыла систему динамической проверки ука..."	+3 +/–
Сообщение от Аноним (??) on 16-Июн-16, 10:19
А не по феншую ниразу. В сях обязаны быть и разыменование, и утечки, и кривое приведение к void* и все остальные вкусняшки. Иначе жто уже не си. Кому не ндравицца велкам, например, в плюсы. Или еще подальше - в джяву етц
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	3. "Компания Microsoft открыла систему динамической проверки ука..."	–1 +/–
	Сообщение от Andrey Mitrofanov on 16-Июн-16, 10:39
	> А не по феншую ниразу. В сях обязаны быть и разыменование, и Коллега! Ви не понимайт!!1 Лидер Отрасли поделился с сообществом пердовыми наработками в такой чувствительной области. Теперь и _у_нас_ будет с безпасностью больших буферов, указателей и типовых привидений, как у Лидера!!1111 #> под лицензией MIT. #>для LLVM и Clang #>под свободной лицензией NCSA Ну, не у нас, так у ф5здешников и Ябблока.  Безопасности им. Ура. >\< > утечки, и кривое приведение к void* и все остальные вкусняшки. Иначе
	Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

	16. "Компания Microsoft открыла систему динамической проверки ука..."	+2 +/–
	Сообщение от Andrey Mitrofanov on 16-Июн-16, 11:41
	>> А не по феншую ниразу. В сях обязаны быть и разыменование, и > Ну, не у нас, так у ф5здешников и Ябблока.  Безопасности им. > Ура. >\< >> утечки, и кривое приведение к void* и все остальные вкусняшки. Иначе А вот и Промышленный Золотой Стандарт Качества -- в "продуктах" Лидера. http://www.opennet.me/openforum/vsluhforumID3/108253.html#4 Не какой-то хитый эппловский Си, но Настоящий Си++11 от Лидера Идустрии!
	Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

	49. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Аноним (??) on 20-Июн-16, 00:50
	Золотой стандарт майкрософта: не сделать C99 за 17 лет, зато притащить какое-то фирменное расширение, требующее переделывать код.
	Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

4. "Компания Microsoft открыла систему динамической проверки ука..."	+1 +/–
Сообщение от Аноним (??) on 16-Июн-16, 10:39
А в оригинале новости написано про патенты микрософта, которые в этом поделии зарыты?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	5. "Компания Microsoft открыла систему динамической проверки ука..."	+4 +/–
	Сообщение от Andrey Mitrofanov on 16-Июн-16, 10:43
	> А в оригинале новости написано про патенты микрософта, которые в этом поделии > зарыты? Об этом пишут не в новостях. Это коммерческая тайна. Её Вам поведают, под Страшным Секретом, конечно!, "вежливые" сборщики дани с битами и C&D письмами. Ждите, к Вам придут.
	Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

	23. "Компания Microsoft открыла систему динамической проверки ука..."	+1 +/–
	Сообщение от Crazy Alex (ok) on 16-Июн-16, 13:05
	В открытом софте всегда можно найти кого-то из юрисдикции, где патенты на софт не действуют, и он погоняет подобное. Не в релиз же такие проверки совать.
	Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

6. "Компания Microsoft открыла систему динамической проверки ука..."	–1 +/–
Сообщение от Анон1 on 16-Июн-16, 10:54
А спеку пацаны по ходу в латехе верстали. Вообще непорядок, а как же их офис?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	7. "Компания Microsoft открыла систему динамической проверки ука..."	–1 +/–
	Сообщение от Andrey Mitrofanov on 16-Июн-16, 10:57
	> А спеку пацаны по ходу в латехе верстали. Вообще непорядок, а как > же их офис? Инфильтрация, как инфильтрация. Первый раз видишь research.crocosoft.com?
	Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

8. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
Сообщение от Аноним (??) on 16-Июн-16, 11:07
Сколько хейта, шуток и подколов и ни кто не написал "не нужно". Похоже нужно, тогда почему столько шуток? Не нравится не пользуйте. Не нравится по лицензиям - напишите свое. Но если уж вам подарили то хоть не смотрите коню в зубы.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	9. "Компания Microsoft открыла систему динамической проверки ука..."	+8 +/–
	Сообщение от Анонимен on 16-Июн-16, 11:16
	Это не конь, а скорее то, что из коня периодически вылезает.
	Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

	11. "Компания Microsoft открыла систему динамической проверки ука..."	–4 +/–
	Сообщение от Аноним (??) on 16-Июн-16, 11:19
	Вот удивительно что ни кто не пишет "не нужно". Значит наверно все же вы ошибаетесь.
	Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

	50. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Аноним (??) on 20-Июн-16, 00:52
	> Это не конь, а скорее то, что из коня периодически вылезает. Оно еще плохо пахнет. Или мечами машет. Как повезет.
	Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

	10. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от iPony on 16-Июн-16, 11:18
	> Но если уж вам подарили то хоть не смотрите коню в зубы. А в какое тогда именно место коня смотреть?
	Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

	12. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Аноним (??) on 16-Июн-16, 11:20
	>> Но если уж вам подарили то хоть не смотрите коню в зубы. > А в какое тогда именно место коня смотреть? А в какое вы обычно смотрите когда берете код под GPL?
	Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору

	13. "Компания Microsoft открыла систему динамической проверки ука..."	+3 +/–
	Сообщение от Аноним (??) on 16-Июн-16, 11:23
	И на***р не нужно, и пользоваться не буду. Ток чоб не поржать то? ))) Абыдно, да?
	Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

	14. "Компания Microsoft открыла систему динамической проверки ука..."	+2 +/–
	Сообщение от Andrey Mitrofanov on 16-Июн-16, 11:28
	> если уж вам подарили то хоть не смотрите коню в зубы. Аналогичная история была в г.Трое -- с конём. В точности! И там тоже наверняка были социал-предатели, доброхоты вроде тебя.
	Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

	17. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Аноним (??) on 16-Июн-16, 11:43
	>> если уж вам подарили то хоть не смотрите коню в зубы. > Аналогичная история была в г.Трое -- с конём. В точности! > И там тоже наверняка были социал-предатели, доброхоты вроде тебя. Забавно. Открытый исходный код это если на манер г.Троя конь из стекла.
	Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

	41. "Компания Microsoft открыла систему динамической проверки ука..."	–3 +/–
	Сообщение от Аноним (??) on 17-Июн-16, 00:16
	> Забавно. Открытый исходный код это если на манер г.Троя конь из стекла. Тысячи глаз смотрели сквозь чрево коня и не видели ничего, потому что лживый пророк обещал им, что они будут видеть, но не дал им желания видеть и они не видели ничего.
	Ответить | Правка | ^ к родителю #17 | Наверх | Cообщить модератору

	51. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Аноним (??) on 20-Июн-16, 00:54
	> Тысячи глаз смотрели сквозь чрево коня и не видели ничего, потому что > лживый пророк обещал им, что они будут видеть, но не дал > им желания видеть и они не видели ничего. То ли дело майкрософт, решивший лихо телеметрить вообще весь код собранный 15-й студией. Хорошее дополнение к сливу пользовательских данных десяткой.
	Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

	59. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от die_russofobs on 03-Апр-17, 11:43
	Типичный [жидо-]атеистический поклёп на верующих! Т.к.пророк в той истории - как раз отговаривал принимать дар, но на него возгордившись - забили, такие же лживые атеисты. Так что они получили - что заслужили.
	Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

15. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
Сообщение от Аноним (??) on 16-Июн-16, 11:37
если впилят это внутрь clang и оно будет помогать работать --analyze тогда ладно, а иначе кто этим пользоваться будет
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

20. "Компания Microsoft открыла систему динамической проверки ука..."	+3 +/–
Сообщение от Аноним (??) on 16-Июн-16, 12:28
Зачем эта поделка если есть валгрид? пусть лучше свои зонды дальше суют хомячкам...
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	52. "Компания Microsoft открыла систему динамической проверки ука..."	+1 +/–
	Сообщение от Аноним (??) on 20-Июн-16, 00:57
	> Зачем эта поделка если есть валгрид? пусть лучше свои зонды дальше суют > хомячкам... Еще asan есть в gcc и clang. Ловит ошибки работы с памятью влет и не требует менять код на какие-то там другие типы, с кем-то там совместимые. Гоняешь себе свой код и смотришь что будет. Особенно здорово взять еще American Fuzzy Lop и пройтись им прицельно по своей программе.
	Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

21. "Компания Microsoft открыла систему динамической проверки ука..."	+4 +/–
Сообщение от анонимус (??) on 16-Июн-16, 12:34
Интересно, сколько из отписавшихся тут хохмачей действительно пишет на Си? Или увидели в заголовке новости слово "Microsoft"и  решили внести свой вклад?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	27. "Компания Microsoft открыла систему динамической проверки ука..."	+4 +/–
	Сообщение от Аноним (??) on 16-Июн-16, 14:44
	Пишущый на Опеннете редко пишет на Си.
	Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

	37. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Led (ok) on 16-Июн-16, 19:36
	"Пишущий" на Visual Studio редко пишет на Си.
	Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

	53. "Компания Microsoft открыла систему динамической проверки ука..."	+2 +/–
	Сообщение от Аноним (??) on 20-Июн-16, 01:00
	> Интересно, сколько из отписавшихся тут хохмачей действительно пишет на Си? Или увидели > в заголовке новости слово "Microsoft"и  решили внести свой вклад? Почти ни один обладатель вьюжлстудии на си не пишет. Может быть на корявой смеси хзкакой версии плюсов с сями, в режиме "си++ это такой хороший си". Потому что MS даже древний С99 не реализовал. Они наверное планируют совсем свернуть vs'овский компилятор если такие подарки делают. Их компилятор сейчас - это как Internet Explorer 6. Даже если вытряхнуть его сорц - кому он сейчас нужен будет?
	Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

22. "Компания Microsoft открыла систему динамической проверки ука..."	–1 +/–
Сообщение от Аноним (??) on 16-Июн-16, 12:54
Это же Cyclone немного откопали, это радует :)
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	24. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Аноним (??) on 16-Июн-16, 13:09
	Лучже уж Cyclone, чем Windows-Lock.
	Ответить | Правка | ^ к родителю #22 | Наверх | Cообщить модератору

	54. "Компания Microsoft открыла систему динамической проверки ука..."	+1 +/–
	Сообщение от Аноним (??) on 20-Июн-16, 01:07
	> Лучже уж Cyclone, чем Windows-Lock. MS добился того что на сях в MSVS не пишут, потому что неудобно уж очень, когда даже С99 нету. А тут вдруг оказалось что универсальные библиотеки, цепляемые к любому ЯП писать на чем-то еще - опа. И все опенсорсные библы как-то так пишутся всякими *nix'оидами и на gcc или изредка clang, они мимикрируют друг под друга и для програмеров разницы нет. А вьюжлстудия как-то оказалась в пролете. Вместе с виндовыми програмерами. А какая эффективность работы програмера без либ - догадайтесь сами.
	Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору

28. "Компания Microsoft открыла систему динамической проверки ука..."	+2 +/–
Сообщение от Аноним (??) on 16-Июн-16, 16:45
Прими боже чего продать негоже?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	31. "Компания Microsoft открыла систему динамической проверки ука..."	–1 +/–
	Сообщение от Аноним (??) on 16-Июн-16, 17:46
	не самая плохая практика отдать сообществу то что не продается. так многие делают. imb бы вот об этом подумать. Столько всякого у них типа полуоси что можно было бы открыть.
	Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

	56. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Аноним (??) on 20-Июн-16, 18:38
	третий офис открыли для музейных целей, и эту полуось придет время откроют ровно для этого же .
	Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

	60. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от die_russofobs on 03-Апр-17, 11:50
	> третий офис открыли для музейных целей, и эту полуось придет время откроют > ровно для этого же . Ещё MS-DOS ! Аж, v.1.0... (и с такой же "образовательной" License, что потом делать схожее по ней - запрещается...)
	Ответить | Правка | ^ к родителю #56 | Наверх | Cообщить модератору

30. "Компания Microsoft открыла систему динамической проверки ука..."	–2 +/–
Сообщение от Вареник on 16-Июн-16, 16:57
Все навороты хруста перед С оказываются ненужны.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	33. "Компания Microsoft открыла систему динамической проверки ука..."	+4 +/–
	Сообщение от angra (ok) on 16-Июн-16, 17:56
	Так как ты явно ни в С, ни в Rust не разбираешься, то объясню при помощи аналогии. Если на велосипед навесить мотор и бензобак, то полноценным мотоциклом он от этого не станет.
	Ответить | Правка | ^ к родителю #30 | Наверх | Cообщить модератору

	55. "Компания Microsoft открыла систему динамической проверки ука..."	–1 +/–
	Сообщение от Аноним (??) on 20-Июн-16, 01:10
	> Так как ты явно ни в С, ни в Rust не разбираешься, > то объясню при помощи аналогии. Если на велосипед навесить мотор и > бензобак, то полноценным мотоциклом он от этого не станет. Давай ты на своем мотоцикле напишешь пару операционок, которые задвинут остальных сначала? Ну там загрузчик, ядро, низкоуровенвое API к всему этому. А потом будешь рассказывать о крутизне твоего мотоцикла, угумс. А то прикольно наверное ехать на велосипеде с моторчиком, когда мотоцикл не заводится, рассуждая о том как велосипед плох.
	Ответить | Правка | ^ к родителю #33 | Наверх | Cообщить модератору

	58. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от Аноним (??) on 08-Июл-16, 14:48
	>> Так как ты явно ни в С, ни в Rust не разбираешься, >> то объясню при помощи аналогии. Если на велосипед навесить мотор и >> бензобак, то полноценным мотоциклом он от этого не станет. > Давай ты на своем мотоцикле напишешь пару операционок, которые задвинут остальных сначала? > Ну там загрузчик, ядро, низкоуровенвое API к всему этому. А потом > будешь рассказывать о крутизне твоего мотоцикла, угумс. А то прикольно наверное > ехать на велосипеде с моторчиком, когда мотоцикл не заводится, рассуждая о > том как велосипед плох. Давай ты перестанешь быть чудаком на букву «м», одним из тех, из-за кого ходить в комменты даже уже не противно, а просто времени жалко?
	Ответить | Правка | ^ к родителю #55 | Наверх | Cообщить модератору

32. "Компания Microsoft открыла систему динамической проверки ука..."	–1 +/–
Сообщение от dq0s4y71 (??) on 16-Июн-16, 17:54
dynamic_cast для Си изобрели?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	34. "Компания Microsoft открыла систему динамической проверки ука..."	+3 +/–
	Сообщение от НяшМяш (ok) on 16-Июн-16, 18:09
	боже упаси
	Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору

38. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
Сообщение от Аноним (??) on 16-Июн-16, 20:59
Я правильно понял, что мелкосовт заместо развития поддержки С99 сделал как обычно (то есть запилил свое, ни с чем не совместимое нечто)?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	43. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от kachsheev (ok) on 17-Июн-16, 03:24
	Иначе у них и не получается.
	Ответить | Правка | ^ к родителю #38 | Наверх | Cообщить модератору

	61. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от die_russofobs on 03-Апр-17, 11:58
	Просто так задуманно, для поглощения пользователей. Конкуренция. И не только у них, а и у GCC расширения и десятилетиями неправленными багами стандарта и у других, или например производителей видеокарт с якобы стандартом OpenGL.
	Ответить | Правка | ^ к родителю #43 | Наверх | Cообщить модератору

44. "Компания Microsoft открыла систему динамической проверки ука..."	+1 +/–
Сообщение от Какаянахренразница (ok) on 17-Июн-16, 07:40
Проверяем на соответствие. Embrace есть? > перевела в разряд открытых проектов Есть. Extend есть? > расширение для языка Си, вводящее дополнительные Есть. Какой там был третий пункт? --------------------- Подсказка: https://ru.wikipedia.org/wiki/Embrace,_Extend,_and_Extinguish
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

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

	46. "Компания Microsoft открыла систему динамической проверки ука..."	+1 +/–
	Сообщение от Какаянахренразница (ok) on 17-Июн-16, 09:16
	> Уничтожить цэ?! Не цэ, а, например, свободные компиляторы. Да хотя бы просто поднасрать.
	Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору

	48. "Компания Microsoft открыла систему динамической проверки ука..."	+1 +/–
	Сообщение от kachsheev (ok) on 18-Июн-16, 15:54
	Уже срут. Гор Нишанов из комитета по стандартизации плюсов является засланцем мелкомягких. А им очень хочется асинхронное программирование сделать аналогично шарпам.
	Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору

	57. "Компания Microsoft открыла систему динамической проверки ука..."	–1 +/–
	Сообщение от Аноним (??) on 20-Июн-16, 18:42
	каким Макарием уничтожить? вон ректалосовцы пишут код на Си который компилируются чем хош.
	Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору

47. "Компания Microsoft открыла систему динамической проверки ука..."	+5 +/–
Сообщение от Аноним (??) on 17-Июн-16, 10:37
Не верь торгашам дары приносящих! (с) Помятуя поганенькие деяния мс все эти их "приоткрытия" являются явной заподлянкой...
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	62. "Компания Microsoft открыла систему динамической проверки ука..."	+/–
	Сообщение от die_russofobs on 03-Апр-17, 12:00
	> Не верь торгашам дары приносящих! (с) > Помятуя поганенькие деяния мс все эти их "приоткрытия" являются явной заподлянкой... У многих OSC производителей таких деяний - не меньше и аналогично западлянка, а если кто то это не видит - значит уже подсел.
	Ответить | Правка | ^ к родителю #47 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема