Pinned Repositories
CryptoLSPDemo
FlowDroidLSPDemo
InferIDE
IDE Integration of Facebook Infer
IntelliJLSP
IntelliJ plugin which supports the language server protocol
IRConverter
An IRConverter from WALA IR to Soot IR (Jimple)
lsp4intellij
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
MagpieBridge
MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
Tutorial4
MagpieBridge Tutorial4 - Tracing and Logging
Tutorials-PRIDE-2022
VSCodeTemplate
A Template for VS Code Extension
MagpieBridge's Repositories
MagpieBridge/MagpieBridge
MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
MagpieBridge/InferIDE
IDE Integration of Facebook Infer
MagpieBridge/IntelliJLSP
IntelliJ plugin which supports the language server protocol
MagpieBridge/IRConverter
An IRConverter from WALA IR to Soot IR (Jimple)
MagpieBridge/FlowDroidLSPDemo
MagpieBridge/Tutorials-PRIDE-2022
MagpieBridge/CryptoLSPDemo
MagpieBridge/lsp4intellij
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
MagpieBridge/Tutorial4
MagpieBridge Tutorial4 - Tracing and Logging
MagpieBridge/TutorialWithWALA
MagpieBridge/VSCodeTemplate
A Template for VS Code Extension
MagpieBridge/CryptoAnalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
MagpieBridge/CryptoAnalysis-Android
CogniCrypt_SAST Extension to Analyze Android Applications
MagpieBridge/DemoProject
MagpieBridge/lsp4j
MagpieBridge/Masterarbeit-CogniCryptVSCode
Visual Studio Code extension for the CogniCrypt language server implemented as part of my Master thesis
MagpieBridge/soot
Soot - A Java optimization framework
MagpieBridge/Tutorial1
MagpieBridge/Tutorial2
MagpieBridge/Tutorials
MagpieBridge/WPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework