A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid
☆49Jul 6, 2021Updated 4 years ago
Alternatives and similar repositories for BackDroid
Users that are interested in BackDroid are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆45Jan 26, 2024Updated 2 years ago
- A tool to instrument Android APKs based on Soot☆15Jul 8, 2020Updated 5 years ago
- ☆15Mar 22, 2021Updated 5 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- FlowDroid Static Data Flow Tracker☆1,249Apr 8, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A program analysis, verification, and optimization framework☆30Updated this week
- Writeup and exploit for installed app to system privilege escalation on Android 12 Beta through CVE-2021-0928, a `writeToParcel`/`createF…☆123Mar 3, 2022Updated 4 years ago
- Mandoline is an accurate, low-overhead dynamic slicer for Android applicaions.☆12Apr 24, 2026Updated last month
- ☆12Aug 24, 2023Updated 2 years ago
- An analyzer of JNI code that matches native code information with Java code☆23Nov 12, 2021Updated 4 years ago
- A string deobfuscator for Android applications using backwards program slicing☆15Aug 10, 2019Updated 6 years ago
- ☆14Mar 8, 2023Updated 3 years ago
- Android-Syscall-Logger☆22Feb 28, 2021Updated 5 years ago
- A collection of POP exploits.☆30Feb 22, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆81Oct 12, 2021Updated 4 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Oct 9, 2022Updated 3 years ago
- 使用Soot进行android应用静态分析☆68Jul 8, 2018Updated 7 years ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆29Jul 29, 2022Updated 3 years ago
- A Simple VM-based challenge created using the academic tigress obfuscator☆19Jun 30, 2022Updated 3 years ago
- Inter-component communication Taint Analysis for Android☆93Feb 21, 2016Updated 10 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- Fuzzing framework to target native components of android applications☆22Oct 22, 2022Updated 3 years ago
- This hosts the original version of the PScout Android permission mapping tool☆24Jun 17, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A solution for llvmvm in MRCTF2022☆11Apr 27, 2022Updated 4 years ago
- Extract call graph from apks using Flowdroid.☆20Jun 11, 2020Updated 5 years ago
- 带你畅游《软件分析》☆275Aug 1, 2022Updated 3 years ago
- Fuzzer targeting Android's IPC☆15Oct 2, 2015Updated 10 years ago
- A fuzzer for SMT solvers☆21May 8, 2026Updated last month
- A data pool-aware static analyzer to detect cross-layer threats in Android apps.☆12Jan 31, 2024Updated 2 years ago
- PoC for CVE-2021-39749, allowing starting arbitrary Activity on Android 12L Beta☆33Apr 16, 2022Updated 4 years ago
- Dynamic Tracing in Android (fork from iovisor/ply)☆21Nov 26, 2022Updated 3 years ago
- Precision-guided context sensitivity for pointer analysis☆62Jul 2, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- POC for leaking java version through file and ftp protocols☆24Nov 1, 2020Updated 5 years ago
- ☆15May 21, 2026Updated 2 weeks ago
- A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to…☆46May 31, 2020Updated 6 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- iOS安全防护☆32Apr 3, 2021Updated 5 years ago
- System using the Analysis Query Language☆15Jun 20, 2022Updated 3 years ago
- Getting started with static program analysis. 静态程序分析入门教程。☆1,765Mar 20, 2024Updated 2 years ago