14 skills found
soot-oss / SootSoot - A Java optimization framework
soot-oss / SootUpA new version of Soot with a completely overhauled architecture
fjorgemota / JimpleA lightweight dependency injection container for Node.js and browsers, built with modern ES6 features and with full support for TypeScript.
Lekssays / CodebadgerA containerized Model Context Protocol (MCP) server providing static code analysis using Joern's Code Property Graph (CPG) with support for Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jimple, PHP, Ruby, and Swift.
angr / PysootPython bindings for Shimple/Jimple IR from Soot.
secure-software-engineering / Jimple InterpreterSoot based Jimple interpreter
PAMunb / JimpleFrameworkA Rascal implementation of the Jimple framework.
FoelliX / JicerStatic Jimple Slicer for Android Apps
swissiety / JimpleLSPThis is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while working with .jimple files.
patrick-petrovic / VisualDFAVisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
joernio / Jimple2cpgCode Property Graph (CPG) frontend for Soot's Jimple IR. Formerly known as Plume.
olivo / Android To Soot DecompilerA script that decompiles an Android APK into Soot's Jimple IR.
pangeneral / AsyncDetectorA flow, context and object-sensitive inter-procedural static analysis tool for misuse detection of AsyncTask
MagpieBridge / IRConverterAn IRConverter from WALA IR to Soot IR (Jimple)