FoelliX / ReproDroid
Android Benchmark Reproduction Framework
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ReproDroid
- COVA - A static analysis tool to compute path conditions☆32Updated last year
- A Static Code Feature Extraction Tool for Java and Android☆19Updated last year
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆16Updated 7 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 2 months ago
- ☆70Updated 3 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 7 months ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆47Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆34Updated 3 years ago
- ☆10Updated 2 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- ☆22Updated last year
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆35Updated last year
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆59Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆28Updated last year
- Time-travel Testing☆106Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- ☆25Updated last year
- ☆24Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆64Updated 2 years ago
- ☆22Updated 2 years ago
- aurora-d☆20Updated 2 years ago
- Benchmark apps for static analyzing native world of Android applications.☆11Updated 5 years ago
- ☆15Updated 3 years ago
- ☆21Updated 7 years ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- Source-binary patch presence test system.☆81Updated 2 years ago
- Implement CollAFL using LLVM LTO pass on afl++.☆11Updated 4 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago