Skip to content
@MagpieBridge

MagpieBridge

Pinned Loading

  1. MagpieBridge Public

    MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

    Java 80 26

  2. IRConverter Public

    An IRConverter from WALA IR to Soot IR (Jimple)

    Java 5 2

  3. InferIDE Public

    IDE Integration of Facebook Infer

    Java 15 7

  4. IntelliJLSP Public

    IntelliJ plugin which supports the language server protocol

    Java 6 2

  5. lsp4intellij Public

    Forked from swissiety/lsp4intellij

    This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.

    Java

Repositories

Showing 10 of 21 repositories
  • IRConverter Public

    An IRConverter from WALA IR to Soot IR (Jimple)

    Java 5 EPL-2.0 2 2 6 Updated Oct 4, 2024
  • MagpieBridge Public

    MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

    Java 80 EPL-2.0 26 1 10 Updated Oct 4, 2024
  • CryptoLSPDemo Public
    Java 1 EPL-2.0 4 1 25 Updated Jan 4, 2023
  • FlowDroidLSPDemo Public
    Java 3 EPL-2.0 2 0 3 Updated Dec 8, 2022
  • InferIDE Public

    IDE Integration of Facebook Infer

    Java 15 7 0 2 Updated Nov 9, 2022
  • Tutorial2 Public
    Java 0 2 0 2 Updated Nov 9, 2022
  • IntelliJLSP Public

    IntelliJ plugin which supports the language server protocol

    Java 6 MIT 2 5 0 Updated Aug 18, 2022
  • Tutorials-PRIDE-2022 Public
    Java 2 0 0 0 Updated Jun 7, 2022
  • TutorialWithWALA Public
    Java 0 0 0 0 Updated Jun 4, 2022
  • Tutorial1 Public
    Java 0 0 0 1 Updated Jan 16, 2022
View all repositories