SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
☆44Apr 13, 2026Updated 2 weeks ago
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:
- Helps you to find or define Maven UIDs for any JAR file and generate corresponding artifact install scripts.☆12Jul 16, 2024Updated last year
- Lightning-fast Regular Expressions for Java☆19Sep 19, 2022Updated 3 years ago
- Simple algorithm to split a JVM ASM method into two☆22Oct 4, 2018Updated 7 years ago
- Fuzzer and code generator for testing Vineflower☆13Apr 13, 2024Updated 2 years ago
- Lightweight dex / odex / apk to jar converter☆36Nov 28, 2020Updated 5 years ago
- 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.
- The official repository of ICSME'23 paper "Exploring Security Commits in Python"☆18Jul 12, 2023Updated 2 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
- Benchmarks for Primitive Collections☆13Apr 4, 2023Updated 3 years ago
- A framework for automated black-box testing of RESTful APIs.☆63Dec 21, 2025Updated 4 months ago
- `ldc` intrinsics for lazy dynamic constants inspired by JEP 303☆17Dec 7, 2022Updated 3 years ago
- Stigma instruments the Smali assembly code of commodity Android applications in order to implement dynamic information flow tracking.☆12Nov 7, 2025Updated 5 months ago
- A Static Code Feature Extraction Tool for Java and Android☆21Jun 7, 2023Updated 2 years ago
- Mirror of R8 with some minor improvements☆17Nov 25, 2023Updated 2 years ago
- Resconstruct is a java library to infer missing information vectors of java classes.☆21Jun 20, 2024Updated last year
- 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.
- Spatial data structures☆19Apr 5, 2026Updated 3 weeks ago
- IP codecs written in Java☆14Nov 13, 2025Updated 5 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆122Feb 24, 2026Updated 2 months ago
- Bytecode Analysis Toolkit.☆17Oct 28, 2022Updated 3 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- A fast, binary and garbage-free serialization framework with a simple, compact and succinct non-XML schema definition language, with supp…☆18Feb 2, 2026Updated 2 months ago
- A minimal Java constant uninlining library☆17Oct 26, 2025Updated 6 months ago
- Lower level ZIP support for Java☆50Sep 11, 2025Updated 7 months ago
- Bypass for Jigsaw module system, without Unsafe☆41Feb 16, 2025Updated last year
- 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.
- Groovy AST Transformation to allow writing Jasmin code (JVM bytecode) directly on groovy files☆13Nov 24, 2019Updated 6 years ago
- Arucas is an Interpreted Language using Kotlin, designed to be easily integrated into other Java programs.☆18Mar 10, 2024Updated 2 years ago
- Industrial IR-based static analysis framework for Java bytecode☆182Jun 13, 2025Updated 10 months ago
- Java decompiler written in Rust with a focus on performance☆31Sep 26, 2023Updated 2 years ago
- An annotation based config generator for the jnic java native obfuscator.☆12Mar 5, 2023Updated 3 years ago
- --dry-run should be evangelized more. this is the dd(1) edition of it☆12May 30, 2023Updated 2 years ago
- A domain recon tool to help detect DNS based vulnerabilities, such as zone transfers and subdomain takeovers.☆11Mar 25, 2022Updated 4 years ago
- VFCFinder: Searching for the Missing Vulnerability Fixing Commits☆30Dec 1, 2023Updated 2 years ago
- A new Java decompiler☆17May 9, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This project process eBPF events into Prometheus metrics via a Go user-space application. A Grafana dashboard is included to visualize Ke…☆15Apr 22, 2025Updated last year
- Modern reflection library.☆14Jun 2, 2024Updated last year
- Custom inspect-mode with CoreProtect hookup!☆12Nov 1, 2025Updated 5 months ago
- Post modern age integration focused jvm bytecode assembler☆78Mar 29, 2026Updated last month
- ☆14Jan 2, 2021Updated 5 years ago
- Standalone program and library which can downgrade Java classes/programs down to Java 8☆82May 12, 2024Updated last year
- clone from http://www.pascal-man.com/download/download-jdk.shtml☆12Sep 1, 2017Updated 8 years ago