Soot based Jimple interpreter
☆14Mar 31, 2021Updated 4 years ago
Alternatives and similar repositories for Jimple-Interpreter
Users that are interested in Jimple-Interpreter are comparing it to the libraries listed below
Sorting:
- This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…☆12Dec 15, 2023Updated 2 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆23Jul 7, 2023Updated 2 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- [USENIX'25] HateBench: Benchmarking Hate Speech Detectors on LLM-Generated Content and Hate Campaigns☆13Mar 1, 2025Updated 11 months ago
- SLE course at University of Groningen☆10Jan 23, 2024Updated 2 years ago
- Parsing and processing the IAAF scoring tables.☆10Jun 29, 2022Updated 3 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- Taint analysis implementation based on Heros and Soot☆45May 6, 2024Updated last year
- ☆41Mar 10, 2021Updated 4 years ago
- Java Compiler Kit (JKit)☆12May 20, 2017Updated 8 years ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- A toy WebAssembly(wasm) interpreter written in Swift☆16Jan 25, 2025Updated last year
- The historical, initial implementation of an ooc compiler in Java☆115Feb 6, 2013Updated 13 years ago
- Official Implementation of implicit reference attack☆11Oct 16, 2024Updated last year
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- A Java program to generate beautiful ASCII art of letters and numbers.☆12Jul 22, 2015Updated 10 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- J2ME VM in JavaScript☆10Sep 23, 2015Updated 10 years ago
- software skia for resource-constrained devices☆13Mar 3, 2016Updated 9 years ago
- Code for running forward and backward versions of GPT2☆10Nov 20, 2021Updated 4 years ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- Implement object detection(Counter Strike, Terrorist, Body and Weapon) in cstrike1.6, including a tiny dataset made for finetone☆11Jun 6, 2022Updated 3 years ago
- GLSL to bytecode compiler and VM☆10May 24, 2016Updated 9 years ago
- Low Level Java Virtual Machine with pull requests merged☆10May 7, 2016Updated 9 years ago
- A library to facilitate the static analysis of Android apps☆15Jul 22, 2025Updated 7 months ago
- CLI tool for signing SSH public keys using the Vault SSH endpoint☆12Dec 8, 2022Updated 3 years ago
- Openstack logs - export errors and other usefully modes☆13Jul 6, 2025Updated 7 months ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated last week
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- A minimal mark-and-sweep garbage collector☆43Apr 3, 2019Updated 6 years ago
- Code and data for PAN and PAN-phys.☆13Mar 20, 2023Updated 2 years ago
- An Xtext DSL for EMF metamodels refactoring and migration☆13Feb 2, 2026Updated 3 weeks ago
- ☆13May 27, 2019Updated 6 years ago
- ☆14Oct 6, 2024Updated last year
- Monitor and prevent unexpected behavior of Java programs.☆14Jul 6, 2021Updated 4 years ago