Android-Framework-Symbolic-Executor/Centaur external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Android-Framework-Symbolic-Executor/Centaur

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Android-Framework-Symbolic-Executor/Centaur)

Close

Android-Framework-Symbolic-Executor / CentaurView on GitHubMore

• External links
• Readme badge

Symbolic Execution of Android Framework

☆15Jun 25, 2017Updated 8 years ago

Alternatives and similar repositories for Centaur

Users that are interested in Centaur are comparing it to the libraries listed below

• srasthofer / FuzzDroid

  View on GitHub
  ☆22Feb 14, 2017Updated 9 years ago
• ucsb-seclab / android_broken_fingers

  View on GitHub
  ☆18Feb 26, 2018Updated 8 years ago
• KingPaul / ClassLoader

  View on GitHub
  Android DexClassLoader sample, dynamicly load code .
  ☆11Nov 12, 2015Updated 10 years ago
• S2E / libs2eplugins

  View on GitHub
  S2E plugins library
  ☆17Jan 7, 2020Updated 6 years ago
• fabsx00 / querygen

  View on GitHub
  ☆11Jun 5, 2015Updated 10 years ago
• serval-snt-uni-lu / DroidRA

  View on GitHub
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆52Feb 14, 2020Updated 6 years ago
• nsslabcuus / Recent-IoT-Security-Paper

  View on GitHub
  2019 and 2020 Top Conference Paper
  ☆12Apr 19, 2021Updated 4 years ago
• bkerler / CVE-2016-5195

  View on GitHub
  CVE-2016-5195 (dirtycow/dirtyc0w) proof of concept for Android
  ☆17Nov 27, 2016Updated 9 years ago
• antojoseph / droid-ff

  View on GitHub
  Android File Fuzzing Framework
  ☆87Jun 7, 2022Updated 3 years ago
• TheMirkin / CVE-List-Public-Exploits

  View on GitHub
  Exploits for various CVEs
  ☆11Mar 19, 2022Updated 4 years ago
• dessertlab / fantastic_beasts

  View on GitHub
  The Fantastic Beasts Framework is a collection of tools for fuzzing the Android OS.
  ☆69Jun 7, 2019Updated 6 years ago
• SCUBSRGroup / ThirdPartLibFuzzForAndroid

  View on GitHub
  Fuzzing framework for third part library of android system
  ☆22Oct 17, 2016Updated 9 years ago
• fabric8-analytics / cvejob

  View on GitHub
  A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).
  ☆12Jul 12, 2025Updated 8 months ago
• trusslab / charm

  View on GitHub
  ☆20Dec 18, 2018Updated 7 years ago
• danieljiang0415 / android_root

  View on GitHub
  ☆28Jul 5, 2017Updated 8 years ago
• zyrikby / android_permission_evolution

  View on GitHub
  Analysis of the evolution of Android permissions. This repository contains the results presented in the paper "Small Changes, Big Changes…
  ☆29Apr 1, 2023Updated 2 years ago
• informationextraction / fuzzer-android

  View on GitHub
  ☆34Jul 6, 2015Updated 10 years ago
• lunixbochs / precorn

  View on GitHub
  [WIP] pivot a running process into an emulator for instrumentation
  ☆13Aug 12, 2016Updated 9 years ago
• BinSigma / BinComp

  View on GitHub
  Compiler Fingerprinting
  ☆14Apr 24, 2015Updated 10 years ago
• ucsb-seclab / agrigento

  View on GitHub
  Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.
  ☆72Oct 1, 2020Updated 5 years ago
• ucsb-seclab / autofacts

  View on GitHub
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Feb 19, 2019Updated 7 years ago
• wisk / fw2elf

  View on GitHub
  Convert a raw firmware image to an ELF file.
  ☆14Feb 6, 2019Updated 7 years ago
• Colbert337 / binder_fuzz

  View on GitHub
  Fuzzer targeting Android's IPC
  ☆15Oct 2, 2015Updated 10 years ago
• S2E / qemu

  View on GitHub
  QEMU VM with generic KVM extensions for symbolic execution
  ☆26Mar 1, 2026Updated 2 weeks ago
• vlad902 / kernel-uninitialized-memory-checker

  View on GitHub
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆58Jan 5, 2019Updated 7 years ago
• datadancer / HIAFuzz

  View on GitHub
  Hybrid Interface Aware Fuzz for Android Kernel Drivers
  ☆31Jun 25, 2021Updated 4 years ago
• ele7enxxh / android-afl

  View on GitHub
  Fuzzing Android program with american fuzzy lop (AFL)
  ☆333Mar 24, 2018Updated 7 years ago
• bannsec / angr-Windows

  View on GitHub
  Windows builds for use with angr framework
  ☆29Feb 12, 2016Updated 10 years ago
• perdisci / JSgraph

  View on GitHub
  ☆10Sep 4, 2020Updated 5 years ago
• 33onethird / feature-extraction

  View on GitHub
  Follow up to the DREBIN paper
  ☆13Dec 27, 2018Updated 7 years ago
• s3team / bincfp

  View on GitHub
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Jul 30, 2016Updated 9 years ago
• jku-ssw / gcc-builtin-study

  View on GitHub
  ☆12Jul 3, 2019Updated 6 years ago
• zd2100 / PScout

  View on GitHub
  ☆86Mar 7, 2016Updated 10 years ago
• vlad902 / kernel-intoverflow-taint-checker

  View on GitHub
  A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.
  ☆20May 13, 2018Updated 7 years ago
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago
• zyrikby / BBoxTester

  View on GitHub
  Tool to measure code coverage of Android applications when their source code is not available
  ☆12Apr 1, 2023Updated 2 years ago
• mnogostuff / scanbox

  View on GitHub
  Whatever apt group's js from their scanbox framework
  ☆11Jun 22, 2016Updated 9 years ago
• stanford-oval / genie-parser

  View on GitHub
  Neural Network Semantic Parser for Almond
  ☆15Apr 11, 2019Updated 6 years ago
• insuyun / pwnbox

  View on GitHub
  Capture-The-Flag(CTF) toolkit
  ☆11Jan 8, 2015Updated 11 years ago