Repositories list

• MagpieBridge

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

  static-analysiside-supportlsp+ 2

  static-analysiside-supportlspide-pluginlsp-server

  Java

  •

  Eclipse Public License 2.0

  •2727 forks•8181 stars•22 issues•1313 pull requests•Updated Jul 14, 2025Jul 14, 2025

• IRConverter

  Public
  An IRConverter from WALA IR to Soot IR (Jimple)

  Java

  •

  Eclipse Public License 2.0

  •22 forks•55 stars•22 issues•66 pull requests•Updated Oct 4, 2024Oct 4, 2024

• CryptoLSPDemo

  Public
  Java

  •

  Eclipse Public License 2.0

  •44 forks•11 star•11 issue•2525 pull requests•Updated Jan 4, 2023Jan 4, 2023

• FlowDroidLSPDemo

  Public
  Java

  •

  Eclipse Public License 2.0

  •22 forks•33 stars•00 issues•33 pull requests•Updated Dec 8, 2022Dec 8, 2022

• InferIDE

  Public
  IDE Integration of Facebook Infer

  Java

  •

  Other

  •88 forks•1515 stars•11 issue•33 pull requests•Updated Nov 9, 2022Nov 9, 2022

• Tutorial2

  Public
  Java

  •22 forks•00 stars•00 issues•22 pull requests•Updated Nov 9, 2022Nov 9, 2022

• IntelliJLSP

  Public
  IntelliJ plugin which supports the language server protocol

  Java

  •

  MIT License

  •22 forks•66 stars•55 issues•00 pull requests•Updated Aug 18, 2022Aug 18, 2022

• Tutorials-PRIDE-2022

  Public
  Java

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jun 7, 2022Jun 7, 2022

• TutorialWithWALA

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 4, 2022Jun 4, 2022

• Tutorial1

  Public
  Java

  •00 forks•00 stars•00 issues•11 pull request•Updated Jan 16, 2022Jan 16, 2022

• VSCodeTemplate

  Public
  A Template for VS Code Extension

  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 14, 2021Jun 14, 2021

• Tutorials

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 11, 2020Nov 11, 2020

• lsp4intellij

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

  Java

  •

  Apache License 2.0

  •110110 forks•00 stars•00 issues•00 pull requests•Updated Oct 22, 2020Oct 22, 2020

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •727727 forks•00 stars•00 issues•00 pull requests•Updated Oct 16, 2020Oct 16, 2020

• DemoProject

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 26, 2020Jun 26, 2020

• Tutorial4

  Public
  MagpieBridge Tutorial4 - Tracing and Logging

  NewLisp

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 24, 2020Apr 24, 2020

• CryptoAnalysis

  Public
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

  Java

  •

  Eclipse Public License 2.0

  •4545 forks•00 stars•00 issues•00 pull requests•Updated Jul 9, 2019Jul 9, 2019

• Masterarbeit-CogniCryptVSCode

  Public
  Visual Studio Code extension for the CogniCrypt language server implemented as part of my Master thesis

  TypeScript

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 1, 2019Jul 1, 2019

• WPDS

  Public
  Efficient and Precise Pointer-Tracking Data-Flow Framework

  Java

  •

  Eclipse Public License 2.0

  •3737 forks•00 stars•00 issues•00 pull requests•Updated Feb 26, 2019Feb 26, 2019

• CryptoAnalysis-Android

  Public
  CogniCrypt_SAST Extension to Analyze Android Applications

  Java

  •33 forks•00 stars•00 issues•00 pull requests•Updated Nov 21, 2018Nov 21, 2018

• lsp4j

  Public
  Java

  •

  Eclipse Public License 1.0

  •157157 forks•00 stars•00 issues•00 pull requests•Updated Sep 20, 2018Sep 20, 2018