Esta es la aplicación de Linux llamada Infer cuya última versión se puede descargar como Inferversionv1.1.0.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada Infer with OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
Inferir
DESCRIPCIÓN
Infer es una herramienta de análisis estático: si le da a Infer algo de código Java o C / C ++ / Objective-C, produce una lista de posibles errores. Cualquiera puede utilizar Infer para interceptar errores críticos antes de que se envíen a los usuarios y ayudar a prevenir fallos o un rendimiento deficiente. Deduzca comprobaciones de excepciones de puntero nulo, fugas de recursos, accesibilidad de anotaciones, guardias de bloqueo faltantes y condiciones de carrera de simultaneidad en código Android y Java. Deduzca comprobaciones de eliminación de referencias de puntero nulo, fugas de memoria, convenciones de codificación y API no disponibles. Comience con la guía de introducción y nuestros otros documentos para descargar y probar Infer usted mismo. Infer todavía está evolucionando y queremos seguir desarrollándolo abiertamente. Esperamos que sea útil para otros proyectos, así que pruébalo o contribuye, únete a la comunidad y danos tu opinión.
Caracteristicas
- Infer se implementa dentro de Facebook y se ejecuta continuamente para verificar las propiedades seleccionadas de cada modificación de código
- También se puede usar para otro código: Infer también puede analizar código C y código Java que no es Android
- Inferir es rastrear problemas causados por desreferencias de puntero nulo y pérdidas de recursos y memoria.
- Infer llegó a Facebook con la adquisición de la startup de verificación Monoidics en 2013
- Al analizar archivos C, Infer captura el comando gcc y ejecuta clang en su lugar para analizarlos
- Además, tenemos linters Infer para describir análisis sintácticos superficiales, utilizando el lenguaje AL
Lenguaje de programación
C + +
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/infer.mirror/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
