SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
☆39Apr 30, 2025Updated 9 months ago
Alternatives and similar repositories for SWAT
Users that are interested in SWAT are comparing it to the libraries listed below
Sorting:
- Lightning-fast Regular Expressions for Java☆18Sep 19, 2022Updated 3 years ago
- Benchmarks for Primitive Collections☆13Apr 4, 2023Updated 2 years ago
- Fuzzer and code generator for testing Vineflower☆13Apr 13, 2024Updated last year
- Resconstruct is a java library to infer missing information vectors of java classes.☆21Jun 20, 2024Updated last year
- A fast, binary and garbage-free serialization framework with a simple, compact and succinct non-XML schema definition language, with supp…☆17Feb 2, 2026Updated 3 weeks ago
- x86 Disassembly in pure java☆11Apr 12, 2022Updated 3 years ago
- It's a Java debugger with the smaller step size. One line of java code is consisted of lines of bytecode. This debugger can step into the…☆17Feb 25, 2023Updated 3 years ago
- Lower level ZIP support for Java☆48Sep 11, 2025Updated 5 months ago
- `ldc` intrinsics for lazy dynamic constants inspired by JEP 303☆17Dec 7, 2022Updated 3 years ago
- Arucas is an Interpreted Language using Kotlin, designed to be easily integrated into other Java programs.☆18Mar 10, 2024Updated last year
- Spatial data structures☆17Feb 1, 2026Updated 3 weeks ago
- Library for observing changes in Java Collections☆16Oct 8, 2021Updated 4 years ago
- Mirror of R8 with some minor improvements☆17Nov 25, 2023Updated 2 years ago
- Lightweight dex / odex / apk to jar converter☆35Nov 28, 2020Updated 5 years ago
- IP codecs written in Java☆14Nov 13, 2025Updated 3 months ago
- A Static Code Feature Extraction Tool for Java and Android☆21Jun 7, 2023Updated 2 years ago
- Simple algorithm to split a JVM ASM method into two☆21Oct 4, 2018Updated 7 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆120Updated this week
- Bypass for Jigsaw module system, without Unsafe☆40Feb 16, 2025Updated last year
- Stigma instruments the Smali assembly code of commodity Android applications in order to implement dynamic information flow tracking.☆11Nov 7, 2025Updated 3 months ago
- A translation library for converting between Dalvik and JVM bytecode☆41Aug 20, 2023Updated 2 years ago
- Plain And Direct Language Additions for Java☆33Updated this week
- A minimal Java constant uninlining library☆17Oct 26, 2025Updated 4 months ago
- A new Java decompiler☆17May 9, 2019Updated 6 years ago
- Java decompiler written in Rust with a focus on performance☆31Sep 26, 2023Updated 2 years ago
- Artifact for TOSEM Submission: GiantRepair☆12Jun 26, 2024Updated last year
- An annotation based config generator for the jnic java obfuscator.☆12Mar 5, 2023Updated 2 years ago
- my zsh theme☆11Sep 14, 2021Updated 4 years ago
- Adding Newtek NDI(tm) support directly into Minecraft using Fabric☆10Feb 6, 2022Updated 4 years ago
- clone from http://www.pascal-man.com/download/download-jdk.shtml☆12Sep 1, 2017Updated 8 years ago
- tunez is a general purpose audio metadata library made in zig☆12Mar 14, 2025Updated 11 months ago
- Create a zig type to easily decode json from a struct☆13Dec 29, 2019Updated 6 years ago
- Some java obfuscator I made to test out transformer ideas☆47Jul 19, 2024Updated last year
- --dry-run should be evangelized more. this is the dd(1) edition of it☆12May 30, 2023Updated 2 years ago
- An ASM analyzer implementation with minimal simulation to gather additional stackframe information.☆47Mar 13, 2025Updated 11 months ago
- JPassport☆97Feb 11, 2026Updated 2 weeks ago
- Java 9-25 Hackery, destroys module system + reflection filters☆55Apr 17, 2025Updated 10 months ago
- Where I write stuff.☆25Jun 3, 2021Updated 4 years ago
- Enables EnableDynamicAgentLoading in a remote process☆31Aug 16, 2023Updated 2 years ago