FoelliX / ReproDroid
Android Benchmark Reproduction Framework
☆11Updated 3 years ago
Alternatives and similar repositories for ReproDroid:
Users that are interested in ReproDroid are comparing it to the libraries listed below
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆128Updated 2 weeks ago
- ☆72Updated 3 years ago
- A Static Code Feature Extraction Tool for Java and Android☆20Updated last year
- An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LL…☆21Updated 2 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆47Updated 3 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 2 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 3 weeks ago
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆36Updated 2 months ago
- ☆27Updated last year
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆77Updated 2 weeks ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆72Updated 2 years ago
- Python bindings for Shimple/Jimple IR from Soot.☆42Updated last month
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆12Updated last year
- Time-travel Testing☆106Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆69Updated 5 months ago
- ☆22Updated last year
- ☆22Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆90Updated 10 months ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated last year
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- a browser fuzzer☆32Updated 11 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- DiAne is a smart fuzzer for IoT devices☆40Updated 10 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆30Updated last year
- A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to…☆47Updated 4 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago