SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
☆47Oct 1, 2026Updated last 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:
- IP codecs written in Java☆14Nov 13, 2025Updated 10 months 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
- Lightning-fast Regular Expressions for Java☆22Jul 4, 2026Updated 3 months ago
- A framework for automated black-box testing of RESTful APIs.☆65Dec 21, 2025Updated 9 months ago
- Simple algorithm to split a JVM ASM method into two☆21Oct 4, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fuzzer and code generator for testing Vineflower☆14Apr 13, 2024Updated 2 years ago
- Lightweight dex / odex / apk to jar converter☆38Nov 28, 2020Updated 5 years ago
- Bypass for Jigsaw module system, without Unsafe☆42Feb 16, 2025Updated last year
- 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
- Benchmarks for Primitive Collections☆14Apr 4, 2023Updated 3 years ago
- The official repository of ICSME'23 paper "Exploring Security Commits in Python"☆19Jul 12, 2023Updated 3 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆125Jul 30, 2026Updated 2 months ago
- x86 Disassembly in pure java☆11Apr 12, 2022Updated 4 years ago
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- `ldc` intrinsics for lazy dynamic constants inspired by JEP 303☆17Dec 7, 2022Updated 3 years ago
- 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 4 months ago
- Resconstruct is a java library to infer missing information vectors of java classes.☆22Jun 20, 2024Updated 2 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
- A minimal Java constant uninlining library☆19Oct 26, 2025Updated 11 months ago
- A translation library for converting between Dalvik and JVM bytecode☆45Jun 4, 2026Updated 4 months ago
- Post modern age integration focused jvm bytecode assembler☆83Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Spatial data structures☆19Jun 26, 2026Updated 3 months ago
- Artifact for TOSEM Submission: GiantRepair☆12Jun 26, 2024Updated 2 years ago
- ☆17Aug 16, 2023Updated 3 years ago
- Bytecode Analysis Toolkit.☆20Oct 28, 2022Updated 3 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
- Arucas is an Interpreted Language using Kotlin, designed to be easily integrated into other Java programs.☆20Mar 10, 2024Updated 2 years ago
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated 8 months ago
- A new version of Soot with a completely overhauled architecture☆824Updated this week
- A fast, binary and garbage-free serialization framework with a simple, compact and succinct non-XML schema definition language, with supp…☆21Aug 23, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Groovy AST Transformation to allow writing Jasmin code (JVM bytecode) directly on groovy files☆13Nov 24, 2019Updated 6 years ago
- Java decompiler written in Rust with a focus on performance☆31Sep 26, 2023Updated 3 years ago
- Industrial IR-based static analysis framework for Java bytecode☆188Jun 13, 2025Updated last year
- An annotation based config generator for the jnic java native obfuscator.☆11Mar 5, 2023Updated 3 years ago
- ☆20Apr 22, 2026Updated 5 months ago
- JSMUD-analysis is an embedded interpreter of Java bytecode written in Java supplemented by a debugger-server speaking JDWP.☆14Feb 12, 2023Updated 3 years ago
- ☆28Aug 30, 2022Updated 4 years ago