! [Microsoft adora Open Source](Microsoft-loves-open-source.webp)
O amor da Microsoft pela comunidade de código aberto parece estar aumentando dia a dia. Após a declaração do CEO da Microsoft, Satya Nadella, no ano passado, proclamando -
Microsoft ♥ Linux
A Microsoft apresentou muitas contribuições ao Linux e à comunidade de código aberto. Alguns deles são distribuição .NET para Linux e Mac, Visual Studio Code for Linux, Javascript Engine ChakraCore, SQL Server for Linux, Bash no Ubuntu no Windows, FreeBSD imagem no Azure etc.
E a adição mais recente é Checked C, uma versão estendida da linguagem de programação C que oferece uma experiência mais confiável e segura para os programadores.
Verificado C
Checked C era inicialmente um projeto de pesquisa da Microsoft com o objetivo de implementar verificação de limites em C, para detectar e prevenir erros de programação comuns, como estouros de buffer, acessos de memória fora dos limites e conversão de tipo incorreto . Agora que a Microsoft tornou o código-fonte aberto, a versão mais recente de Checked C e suas especificações podem ser encontradas em seu repositório GitHub página de lançamento.
Como este Checked C estendido é melhor?
A linguagem de programação C usa um conceito especial para acessar dados - ponteiros. Um ponteiro é o endereço de uma célula de memória. Usar ponteiros pode ser complicado e até programadores experientes podem, às vezes, cometer erros ao trabalhar com ele. O que, por sua vez, pode fazer com que os programas travem, funcionem mal ou sejam expostos a vulnerabilidades.
Checked C fornece aos programadores opções para descrever melhor seus ponteiros usados e como eles pretendem usá-los. Usando essas informações, ele usa o método de verificação de limites para verificar se os dados estão sendo acessados dentro dos limites pretendidos. E de acordo com a Microsoft,
O nome Checked C reflete o fato de que a verificação estática e dinâmica está sendo adicionada a C. E para erros de programação como buffer overrun e conversão de tipo incorreto, Checked C permitirá aos programadores adicionar verificação a seus programas para detectar esses tipos de erros quando um programa é executado ou enquanto está sendo escrito. Com essas extensões, o Checked C será capaz de evitar vulnerabilidades de segurança ou problemas de confiabilidade do software.
A maioria dos softwares de sistema é escrita em linguagem de programação C ou C ++. O problema com a escrita de software de sistema é que o programador precisa de um controle preciso sobre as funcionalidades do programa. E com isso em mente, Checked C significará definitivamente uma grande ajuda para os programadores de sistema.
E quanto aos códigos C existentes?
Não precisa se preocupar! C verificado é totalmente compatível com versões anteriores. Esta é apenas uma extensão para a linguagem C existente. Portanto, os códigos C existentes funcionarão com o C verificado da mesma forma. E pode ser modificado para aproveitar as vantagens dos recursos estendidos. Conforme descrito na página do projeto Checked C,
O software de sistema existente pode ser modificado de forma incremental de maneira compatível com versões anteriores para ter essa verificação. O que você acha do Checked C? Você é um programador C? Quando você vai experimentar o Checked C?
Via itsfoss.com. Você pode conferir o post original em inglês:
Checked C: OpenSource C extension by Microsoft
Última atualização deste artigo: 17 de june de 2016
