Проверено C: Разширението на OpenSource C от Microsoft

Любовта на Microsoft към общността с отворен код изглежда нараства от ден на ден. След декларацията на главен изпълнителен директор на Microsoft Satya Nadella миналата година,

„Microsoft“ на Linux

Microsoft излезе с много приноси за Linux и общността с отворен код. Някои от тях са .NET дистрибуция за Linux и Mac, Visual Studio Code за Linux, Javascript Engine ChakraCore, SQL Server за Linux, Bash на Ubuntu на Windows, FreeBSD изображение на Azure и др.

И последното допълнение е Checked C, разширена версия на C език за програмиране, която предлага по-надежден и сигурен опит на програмистите.

Проверено C

Проверено C е първоначално проект на Microsoft Research, целящ да приложи проверка на границите на C, за откриване и предотвратяване на общи програмни грешки като превишаване на буфера, достъп до паметта извън границите и неправилни типове. Сега, когато Microsoft го направи с отворен код, най-новата версия на Checked C и нейната спецификация могат да бъдат намерени на страницата за издаване на хранилището на GitHub.

Как се удължава това C по-добре?

C език за програмиране използва специална концепция за достъп до указатели за данни. Указателят е адресът на клетката с памет. Използването на указатели може да бъде трудно и дори опитни програмисти понякога могат да правят грешки, когато работят с него. Което на свой ред може да доведе до срив на програмите, лошо поведение или излагане на уязвимости.

Проверено C осигурява на програмистите опции за по-добро описание на използваните указатели и как те възнамеряват да ги използват. Използвайки тази информация, тя използва метод за проверка на границите, за да провери дали данните са достъпни в рамките на предвидените граници. Според Microsoft,

Името Проверено C отразява факта, че статична и динамична проверка се добавя към C.

А за програмиране на грешки като превишаване на буфера и неправилно форматиране на тип, Проверено C ще даде възможност на програмистите да добавят проверка към програмите си, за да открият такива грешки, когато дадена програма работи или докато се пише. С тези разширения Проверено C ще може да избегне уязвимости в сигурността или проблеми с надеждността на софтуера.

Повечето системни програми са написани на C или C ++ език за програмиране. Това, с което се пише софтуерният софтуер, е, че програмистът се нуждае от прецизен контрол над функционалностите на програмата. Имайки предвид това, Checked C определено ще означава голяма помощ за системните програмисти.

Ами съществуващите кодове C?

Няма нужда да се тревожиш! Проверено C е напълно обратно съвместимо. Това е просто продължение на съществуващия език С. Така че, съществуващите C кодове ще работят с Checked C точно както е добре. И могат да бъдат модифицирани да се възползват от разширени функции. Както е описано на страницата Проверка на проекта,

Съществуващият системен софтуер може да се променя постепенно в обратна съвместимост, за да може тази проверка да се извърши.

Какво мислите за Проверено C? Вие сте програмист C? Кога ще дадеш Проверено C опит?

Препоръчано

digiKam 5.0 Издаден! Инсталирайте го в Ubuntu Linux
2019
Mycroft Mark II: Отговорът с отворен код на Amazon Echo и Google Home, който не ви шпионира
2019
13 неща, които трябва да направите след инсталирането на Ubuntu 17.04
2019