Repolode
Enviar
meta

meta/infer

Analizador estático que detecta errores en código Java, C, C++ y Objective-C sin ejecutarlo.

Ver en GitHubSitio web
Estrellas
15,744
Forks
2,101
Issues abiertos
194
Último commit
hace 24 horas

¿Qué es?

Infer es un analizador estático que revisa el código fuente para detectar errores como desreferencias de punteros nulos y fugas de memoria o recursos, sin ejecutar el programa. Es compatible con Java, C, C++ y Objective-C, y está escrito en OCaml.

Infer se distribuye como una versión empaquetada y también se puede compilar desde el código fuente. La documentación del proyecto incluye instrucciones de instalación y contribución. Para habilitar la compatibilidad con Java, puede ser necesario instalar componentes con licencia GPL.

El proyecto está bajo la licencia MIT y se mantiene como un repositorio de código abierto de la organización facebook.

Funciones clave

  • 01Detecta de forma estática errores como desreferencias de punteros nulos y fugas de memoria o recursos.
  • 02Es compatible con bases de código Java, C, C++ y Objective-C.
  • 03Disponible en versiones empaquetadas o compilable desde el código fuente.
  • 04Escrito en OCaml y con licencia MIT.

Casos de uso

  • Detectar fugas de memoria y recursos en proyectos C o C++ antes de su lanzamiento.
  • Encontrar errores de punteros nulos en bases de código Java durante la revisión de código o en CI.
  • Analizar código Objective-C de iOS o macOS para detectar defectos.

Inicio rápido

  1. 1

    Consulta la página Getting Started para ver las versiones empaquetadas de Infer

  2. 2

    Para compilar desde el código fuente, sigue las instrucciones de INSTALL.md

Antes de usarlo

  • Es posible que para habilitar la compatibilidad con Java tengas que descargar e instalar componentes con licencia GPL.

Temas

#static-analysis#code-quality#java#cpp#objective-c#ocaml#static-code-analysis

Preguntas frecuentes

¿Qué es infer?
Analizador estático que detecta errores en código Java, C, C++ y Objective-C sin ejecutarlo. Infer es un analizador estático que revisa el código fuente para detectar errores como desreferencias de punteros nulos y fugas de memoria o recursos, sin ejecutar el programa. Es compatible con Java, C, C++ y Objective-C, y está escrito en OCaml.
¿infer es gratuito? ¿Qué licencia tiene?
infer es open source bajo la licencia MIT. Revisa los términos de la licencia antes de usarlo en productos comerciales.
¿infer sigue mantenido?
Mantenimiento activo. El último commit de infer fue el 5 nov 2026.
¿Para qué puedo usar infer?
Detectar fugas de memoria y recursos en proyectos C o C++ antes de su lanzamiento. Encontrar errores de punteros nulos en bases de código Java durante la revisión de código o en CI. Analizar código Objective-C de iOS o macOS para detectar defectos.
¿Cómo se instala infer?
Consulta la página Getting Started para ver las versiones empaquetadas de Infer Para compilar desde el código fuente, sigue las instrucciones de INSTALL.md
¿Dónde consigo infer?
El código fuente y las instrucciones de instalación están en GitHub: https://github.com/meta/infer

Resumen generado por IA a partir del README del proyecto. Las estadísticas de GitHub se actualizan a diario.

Proyectos relacionados