MagpieBridge

¿Qué es Magpiebridge?

Magpiebridge es un marco para integrar análisis estáticos en IDES y editores con el protocolo del servidor de idiomas. Magpiebridge no se limita a LSP, también aprovecha el HTTP para permitir la visualización de páginas web dentro de un IDE. Esto permite un nuevo nivel de visualización de soporte y UI personalizable para que el usuario interactúe. Magpiebridge es un puente entre análisis de programas y herramientas de desarrollador. Magpiebridge ofrece una implementación extensible de un servidor de idiomas --- MagpieServer que ejecuta el análisis; un textDocumentservice predeterminado: MagpieTextDocumentService que maneja las solicitudes de LSP comunes; Un servicio de trabajo predeterminado: MagpieWorkspaceService que maneja diferentes tipos de acciones de código y muchas otras API útiles para el análisis estático; y servicios de proyecto resuitables que resuelven el alcance del proyecto (ruta del código fuente, ruta del código de biblioteca, ruta de clase, etc.) que pueden consumirse mediante análisis de programas completos. Encuentre más información a continuación:

• Un tutorial (diapositivas adjuntas en la página) en Pride 2022.
• Hay una charla en Soap 2020 sobre Magpiebridge, las diapositivas de la charla se pueden encontrar aquí.
• Tutoriales en nuestra página wiki.
• The Paper Magpiebridge: un enfoque general para integrar análisis estáticos en IDES y editores (Ecoop 2019).
• Un póster también está disponible.

Para los usuarios de hollín, puede encontrar un IrConverter en https://github.com/magpiebridge/irconverter para convertir Wala IR a Soot IR, si desea analizar el código fuente de Java con el hollín.

Cita el trabajo de investigación

Para el uso científico, cite el documento [Bibtex].

¿Por qué se llama Magpiebridge?

En una leyenda china, un humano y un hada se enamoran, pero este amor enoja a los dioses, que los separan en lados opuestos de la Vía Láctea. Sin embargo, en el séptimo día del séptimo mes lunar cada año, miles de urracas forman un puente, llamado 鹊桥 en chino y Queqiao en Pinyin, lo que permite que los amantes se reúnan. Utilizamos Magpiebridge como una metáfora para un sistema que conecta un análisis estático arbitrario con IDE arbitraria.

Use Magpiebridge en su proyecto Maven

Tú puedes

1. Desde la versión 0.1.0, Magpiebridge está disponible en Maven Central. Simplemente pegue las siguientes líneas en su pom.xml .

 <dependency>
    <groupId>com.github.magpiebridge</groupId>
    <artifactId>magpiebridge</artifactId>
    <version>0.1.5</version>
</dependency>

Las versiones antiguas hasta 0.0.9 de Magpiebridge se publicaron en el registro de paquetes GitHub. Puede usar la versión agregando las siguientes líneas a su pom.xml (consulte todo el paquete GitHub) y configure su token de acceso GitHub siguiendo estas instrucciones.

 <dependencies>
  <dependency>
    <groupId>magpiebridge</groupId>
    <artifactId>magpiebridge</artifactId>
    <version>0.0.9</version>
  </dependency>
</dependencies>

<repositories>
  <repository>
    <id>github</id>
    <name>GitHub MagpieBridge Apache Maven Packages</name>
    <url>https://maven.pkg.github.com/MagpieBridge/MagpieBridge</url>
  </repository>
</repositories>

2. o construye Magpiebridge solo
   • Echa un vistazo a la sucursal Develop with git clone -b develop https://github.com/MagpieBridge/MagpieBridge.git
   • Ejecute mvn install en el directorio raíz del proyecto para crear la herramienta y ejecutar todas las pruebas. Para omitir las pruebas, ejecute mvn install -DskipTests .

Tutoriales

• ¿Visite los tutoriales para crear su primer proyecto con Magpiebridge? ACTUALIZADO ?

Análisis estáticos integrados utilizando Magpiebridge

• Secucheck
• Facebook inferir con sede en Magpiebridge
• Cognricrypt con sede en Magpiebridge
• Flowdroid basado en Magpiebridge

Construye Magpiebridge en IDE

1. Simplemente importe el proyecto como proyecto Maven en su IDE, Maven debe encargarse de todas las dependencias requeridas. Para Eclipse:

 Eclipse> File> Import > Maven > Existing Maven Projects > Enter the path to your local repository > Finish

Complicarse

• ¡Las solicitudes de extracción son bienvenidas!
• Envíe problemas de GitHub para cualquier mejoros de funciones, errores o problemas de documentación
• Formatee el código con mvn com.coveo:fmt-maven-plugin:format antes de git push

Colaboradores

Gracias a estas maravillosas personas (Key Emoji):

Linghui Luo ?	Julian Dolby ?	Christian Brüggemann	Jonas Manuel	Markus Schmidt ️ ?	João Pereira ?	Sven Erik Vinkemeier ?
Goran Piskachev ?	Ranjith K ?	ejardak	Challe535	Julian t

Este proyecto sigue la especificación de todos los contribuyentes. ¡Contribuciones de cualquier tipo bienvenido!

Contacto

linghui [at] outlook.de