Provides a language-agnostic way to express coding assumptions in .NET programs.
Descripción del desarrollador (inglés)
¿Qué es .NET CodeContracts?
Detrás de .NET CodeContracts está Microsoft Corporation; se trata de software de código abierto para Windows. Está escrito en C#.
Instalación y requisitos
El desarrollador ofrece instaladores MSI para Windows de 32 bits. Admite instalación silenciosa con los parámetros documentados del instalador. Existe un paquete MSI para desplegarlo con directivas de grupo, Intune o Configuration Manager.
Popularidad y tipos de archivo
El paquete de Chocolatey suma 3353 descargas. El código fuente en GitHub (microsoft/CodeContracts) tiene 893 estrellas.
Descripción del proyecto en GitHub: “Source code for the CodeContracts tools for .NET”
Ventajas / Inconvenientes
Ventajas
- Código abierto: cualquiera puede revisar y compilar el código
- Paquete MSI para despliegues gestionados
- Instalación silenciosa documentada
Inconvenientes
- Sin versión nativa para ARM64
- Solo 32 bits
- Más de un año sin actualizaciones
- Repositorio del código fuente archivado
En resumen: .NET CodeContracts es un programa de código abierto para Windows, disponible para equipos de 32 bits. Las actualizaciones se han espaciado. Los administradores de sistemas pueden desplegarlo de forma desatendida.
¿Es seguro descargar .NET CodeContracts?
- El archivo se sirve desde github.com, el dominio del propio desarrollador
- El enlace de descarga usa HTTPS
- Hay un hash SHA256 publicado para verificar el archivo:
5A2E44751A650A8442DFE1A41484E960B46EAA1A55B25672F6537A1D59015F5B· Abrir el informe de VirusTotal de este hash - El enlace aún no se ha comprobado
- El código fuente es público
- ExeAtlas no aloja, envuelve ni modifica instaladores
Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows
Versiones recientes
Las 1 versiones ›| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 1.10.20606.1Última | 6 de junio de 2016 | — | 32 bits MSI |
Instalar desde la línea de comandos
Instalación silenciosa ›winget install --id Microsoft.DotNet.CodeContracts -echoco install codecontracts -ymsiexec /i Contracts.devlab9ts.msi /qn /norestartmsiexec /x {4ED22F53-768D-4286-9F55-4927F1D67B4F} /qn /norestartGuía relacionada: Cómo usar winget: instalar y actualizar programas
Información
- Desarrollador
- Microsoft Corporation
- Licencia
- MIT
- Precio
- Gratis
- Código fuente
- github.com/microsoft/CodeContracts
- Lenguaje
- C#
- Requisitos
- Windows 11 / 10
- Arquitectura
- 32 bits
- Instalador
- MSI
- Versión
- 1.10.20606.1
- Fecha de publicación
- 6 de junio de 2016
- Añadido al catálogo
- 29 de diciembre de 2025
- Versiones registradas
- 1
- Descargas en Chocolatey
- 3353
- Estrellas en GitHub
- 893
- Forks en GitHub
- 150
- Sitio web
- github.com
- ID de winget
- Microsoft.DotNet.CodeContracts
- Paquete de Chocolatey
- codecontracts
- Código de producto MSI
- {4ED22F53-768D-4286-9F55-4927F1D67B4F}
Valoraciones y opiniones
Todavía no hay opiniones.
Preguntas frecuentes
¿Es gratis .NET CodeContracts?
Sí. .NET CodeContracts es software de código abierto con licencia MIT.
¿Es seguro descargar .NET CodeContracts?
La descarga procede de github.com, un dominio del propio desarrollador. ExeAtlas no aloja ni modifica el archivo. Se puede comparar su hash SHA256 con el que aparece aquí o abrir el informe de VirusTotal de ese hash.
¿Cómo instalar .NET CodeContracts con winget?
Basta con abrir PowerShell o Terminal Windows y ejecutar el comando winget que figura en esta página. winget descarga el instalador oficial y comprueba su hash SHA256 antes de ejecutarlo.
¿Se puede instalar .NET CodeContracts en modo silencioso?
Sí. La página de instalación silenciosa recoge el comando exacto para cada instalador, incluido msiexec para el paquete MSI.
¿Funciona .NET CodeContracts en ARM (Windows on Arm)?
No hay versión para ARM64; Windows 11 on Arm puede ejecutar la versión de 32 bits mediante emulación.
