AzulSystems / JavaFuzzer
Java* Fuzzer for Android*
☆34Updated 6 years ago
Alternatives and similar repositories for JavaFuzzer:
Users that are interested in JavaFuzzer are comparing it to the libraries listed below
- A simple scripting frontend for the Java Debugger Interface☆58Updated 5 years ago
- fast and effective way to access and analyze java bytecode☆26Updated this week
- This project is obsoleted by https://github.com/odnoklassniki/jvmti-tools☆13Updated 3 years ago
- Collection of small Java serviceability improvements based on JVM Tool Interface☆168Updated 4 years ago
- An Example shown convert java class bytecode to llvm ir , then compile llvm ir to standalong executable file .☆53Updated last year
- A platform for analysis of Java bytecode☆30Updated 4 months ago
- Java* Fuzzer for Android*☆12Updated 8 years ago
- ☆54Updated this week
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- JLang: Ahead-of-time compilation of Java programs to LLVM☆296Updated 4 years ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- HotSpot JVM introspection library☆106Updated 5 years ago
- A dynamic symbolic analysis tool for Java☆116Updated 5 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆108Updated last month
- Fork of jdk8u/hotspot with support for JVMCI☆74Updated 3 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆89Updated 8 months ago
- https://openjdk.org/projects/tsan☆27Updated this week
- JVM implementation using LLVM as a JIT☆50Updated 2 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆128Updated 2 weeks ago
- a concolic testing engine for Java☆102Updated 7 years ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆30Updated 10 months ago
- [yarrow] JVMCI based optimizing compiler for HotSpot VM☆35Updated 3 years ago
- The DaCapo benchmark suite☆172Updated last month
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆73Updated 4 months ago
- Simple algorithm to split a JVM ASM method into two☆21Updated 6 years ago
- Annotation hints for the Hotspot JVM JIT compiler.☆43Updated 2 years ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆25Updated 2 months ago