VPRLab / BackDroid
A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid
☆50Updated 3 years ago
Alternatives and similar repositories for BackDroid:
Users that are interested in BackDroid are comparing it to the libraries listed below
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆37Updated 5 months ago
- 使用Soot进行android应用静态分析☆67Updated 6 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- ☆24Updated last year
- Project FlowCog (2017)☆27Updated 6 years ago
- Extract call graph from apks using Flowdroid.☆19Updated 4 years ago
- ☆23Updated last year
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆43Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ☆17Updated 6 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆74Updated last year
- PITracker: Detecting Android PendingIntent Vulnerabilities through Intent Flow Analysis☆12Updated 3 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆64Updated last year
- Benchmark apps for static analyzing native world of Android applications.☆12Updated 6 years ago
- A Coverage-Based fuzzing tools☆23Updated 3 years ago
- Framework for testing the reachability of native functions in Android applications.☆11Updated last year
- ☆14Updated 3 years ago
- ☆66Updated 3 years ago
- Fair Android Explorer☆20Updated 2 years ago
- A Static Dataflow Analysis Framework for iOS Applications.☆46Updated last year
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 4 months ago
- a taint analysis tool for android apps☆11Updated 4 years ago
- DiAne is a smart fuzzer for IoT devices☆39Updated last year
- PScout Android permission mappings☆27Updated 3 years ago
- Time-travel Testing☆106Updated 2 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- Large-scale Analysis of Cryptographic Misuse in IoT Devices☆22Updated 5 years ago
- AFLNW: network wrapper for AFL☆47Updated last year
- Source-binary patch presence test system.☆83Updated 2 years ago