SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
☆47Oct 24, 2026Updated this week
Alternatives and similar repositories for SWAT
Users that are interested in SWAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Oct 30, 2024Updated last year
- A hybrid analysis framework to aid in uncovering deserialization vulnerabilities☆15Oct 13, 2024Updated 2 years ago
- Helps you to find or define Maven UIDs for any JAR file and generate corresponding artifact install scripts.☆12Jul 16, 2024Updated 2 years ago
- IP codecs written in Java☆14Nov 13, 2025Updated 11 months ago
- A framework for automated black-box testing of RESTful APIs.☆66Oct 21, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Bypass for Jigsaw module system, without Unsafe☆42Feb 16, 2025Updated last year
- Simple algorithm to split a JVM ASM method into two☆21Oct 4, 2018Updated 8 years ago
- Lightweight dex / odex / apk to jar converter☆38Nov 28, 2020Updated 5 years ago
- Fuzzer and code generator for testing Vineflower☆14Apr 13, 2024Updated 2 years ago
- Community-driven effort to facilitate discovery, access and systematization of data related to Large Language Models used for security pe…☆12Sep 26, 2024Updated 2 years ago
- x86 Disassembly in pure java☆11Apr 12, 2022Updated 4 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆125Jul 30, 2026Updated 2 months ago
- The official repository of ICSME'23 paper "Exploring Security Commits in Python"☆19Jul 12, 2023Updated 3 years ago
- Library for observing changes in Java Collections☆16Oct 8, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated 2 years ago
- Resconstruct is a java library to infer missing information vectors of java classes.☆22Jun 20, 2024Updated 2 years ago
- A benchmark for Java gadget chain detecting algorithms.☆18Jun 20, 2025Updated last year
- Mirror of R8 with some minor improvements☆17Nov 25, 2023Updated 2 years ago
- A Static Code Feature Extraction Tool for Java and Android☆21Jun 7, 2023Updated 3 years ago
- Stigma instruments the Smali assembly code of commodity Android applications in order to implement dynamic information flow tracking.☆13May 28, 2026Updated 5 months ago
- A translation library for converting between Dalvik and JVM bytecode☆45Jun 4, 2026Updated 4 months ago
- An opinionated JSON library. Strictly follows standards, no dependencies, one single file that can be copied and used anywhere.☆17Oct 20, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A minimal Java constant uninlining library☆19Oct 26, 2025Updated last year
- A collection of evil terrible no-good very-bad JVM hacks. DO NOT USE THIS.☆11Apr 4, 2021Updated 5 years ago
- ☆17Aug 16, 2023Updated 3 years ago
- An extended Node.js runtime with additional security mechanisms built-in. Protects your Node.js applications from injection attacks such …☆32May 7, 2021Updated 5 years ago
- Bytecode Analysis Toolkit.☆21Oct 28, 2022Updated 4 years ago
- Groovy AST Transformation to allow writing Jasmin code (JVM bytecode) directly on groovy files☆13Nov 24, 2019Updated 6 years ago
- Artifact for TOSEM Submission: GiantRepair☆12Jun 26, 2024Updated 2 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆20Jan 30, 2025Updated last year
- Write Up Code of HITB Sec-Sin 2021 Make JDBC Attacks Brilliant Again☆14Jun 24, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A new version of Soot with a completely overhauled architecture☆832Updated this week
- Symbolic PathFinder☆170Feb 26, 2026Updated 8 months ago
- A dynamic symbolic analysis tool for Java☆129Jun 2, 2019Updated 7 years ago
- A new Java decompiler☆17May 9, 2019Updated 7 years ago
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated 8 months ago
- FXML/2 markup compiler☆19Sep 26, 2026Updated last month
- Java decompiler written in Rust with a focus on performance☆31Sep 26, 2023Updated 3 years ago