Provides a language-agnostic way to express coding assumptions in .NET programs.
Descrição do desenvolvedor (inglês)
O que é .NET CodeContracts?
Publicado por Microsoft Corporation, .NET CodeContracts é um software de código aberto para Windows. Foi escrito em C#.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores MSI para Windows 32 bits. A instalação silenciosa é possível com os parâmetros documentados do instalador. Existe um pacote MSI para implantação via Política de Grupo, Intune ou Configuration Manager.
Popularidade e tipos de arquivo
O pacote do Chocolatey já foi baixado 3.353 vezes. O código-fonte no GitHub (microsoft/CodeContracts) tem 893 estrelas.
Descrição do projeto no GitHub: “Source code for the CodeContracts tools for .NET”
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Pacote MSI para implantação gerenciada
- Instalação silenciosa documentada
Pontos negativos
- Sem versão nativa ARM64
- Somente 32 bits
- Sem atualização há mais de um ano
- Repositório do código-fonte arquivado
Em resumo: .NET CodeContracts é um programa de código aberto para Windows, disponível para PCs 32 bits. As atualizações ficaram mais espaçadas. Administradores de TI podem implantá-lo sem interação do usuário.
É seguro baixar .NET CodeContracts?
- O arquivo vem de github.com, o domínio do próprio desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
5A2E44751A650A8442DFE1A41484E960B46EAA1A55B25672F6537A1D59015F5B· Abrir o relatório do VirusTotal para este hash - O link ainda não foi verificado
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Versões recentes
Todas as 1 versões ›| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 1.10.20606.1Atual | 6 de junho de 2016 | — | 32 bits MSI |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id Microsoft.DotNet.CodeContracts -echoco install codecontracts -ymsiexec /i Contracts.devlab9ts.msi /qn /norestartmsiexec /x {4ED22F53-768D-4286-9F55-4927F1D67B4F} /qn /norestartGuia relacionado: Como usar o winget: instalar e atualizar programas
Informações
- Desenvolvedor
- Microsoft Corporation
- Licença
- MIT
- Preço
- Grátis
- Código-fonte
- github.com/microsoft/CodeContracts
- Linguagem
- C#
- Requisitos
- Windows 11 / 10
- Arquitetura
- 32 bits
- Instalador
- MSI
- Versão
- 1.10.20606.1
- Lançamento
- 6 de junho de 2016
- Adicionado ao catálogo
- 29 de dezembro de 2025
- Versões registradas
- 1
- Downloads no Chocolatey
- 3.353
- Estrelas no GitHub
- 893
- Forks no GitHub
- 150
- Site oficial
- github.com
- ID do winget
- Microsoft.DotNet.CodeContracts
- Pacote do Chocolatey
- codecontracts
- Código de produto MSI
- {4ED22F53-768D-4286-9F55-4927F1D67B4F}
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Perguntas frequentes
.NET CodeContracts é grátis?
Sim. .NET CodeContracts é um software de código aberto com licença MIT.
É seguro baixar .NET CodeContracts?
O download vem de github.com, um domínio do próprio desenvolvedor. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.
Como instalar .NET CodeContracts pelo winget?
Abra o PowerShell ou o Terminal do Windows e rode o comando winget mostrado nesta página. O winget baixa o instalador oficial e confere o hash SHA256 antes de executá-lo.
Dá para instalar .NET CodeContracts em modo silencioso?
Sim. A página de instalação silenciosa traz o comando exato para cada instalador, incluindo o msiexec para o pacote MSI.
.NET CodeContracts roda em ARM (Windows on Arm)?
Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 32 bits por emulação.
