Android-Framework-Symbolic-Executor / Centaur

Related projects ⓘ

Alternatives and complementary repositories for Centaur

• SCUBSRGroup / ThirdPartLibFuzzForAndroid
  Fuzzing framework for third part library of android system
  ☆21Updated 8 years ago
• michaekang / android_s2e
  Run android with S2E
  ☆32Updated 9 years ago
• dessertlab / fantastic_beasts
  The Fantastic Beasts Framework is a collection of tools for fuzzing the Android OS.
  ☆63Updated 5 years ago
• kanglictf / afl-qai
  A demo project for AFL with QEMU Augmented Instrumentation (qai)
  ☆45Updated 8 years ago
• miwong / tiro
  TIRO - A hybrid iterative deobfuscation framework for Android applications
  ☆23Updated 6 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• 0-14N / NDroid
  A dynamic information flow tracing system for Android
  ☆53Updated 3 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• srasthofer / FuzzDroid
  ☆21Updated 7 years ago
• anestisb / radamsa-android
  An Android port of radamsa fuzzer
  ☆64Updated 4 years ago
• axt / afl-cov
  AFL fuzzing coverage CFG visualization
  ☆30Updated 6 years ago
• vitorallo / dronity
  Dronity, the Trinity syscall fuzzer ported to Android
  ☆43Updated 9 years ago
• jianqiangzhao / mosec2016
  ☆38Updated 8 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆27Updated 9 years ago
• anhvvcs / corana
  Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…
  ☆26Updated 8 months ago
• CAFA1 / long-driller
  ☆44Updated 4 years ago
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆45Updated 10 years ago
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• wpengfei / double_fetch_cocci
  Source code of the double-fetch bug detection approach based on Coccinelle engine
  ☆10Updated 7 years ago
• tigerpuma / Afl_unicorn
  ☆41Updated 7 years ago
• S2E / libs2eplugins
  S2E plugins library
  ☆17Updated 4 years ago
• arguslab / NativeFlowBench
  Benchmark apps for static analyzing native world of Android applications.
  ☆12Updated 6 years ago
• trusslab / charm
  ☆19Updated 5 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated 11 months ago
• susperius / icisc_rnnfuzz
  The tools used to train the models used for the ICISC paper "Recurrent neural networks for fuzz testing web browsers"
  ☆28Updated 5 years ago
• ucsb-seclab / diane
  DiAne is a smart fuzzer for IoT devices
  ☆39Updated 7 months ago
• 5alt / emu
  code emulator base on unicorn engine
  ☆50Updated 6 years ago
• xiaoqx / pocs
  pocs of tested targets
  ☆20Updated 6 years ago
• SAAF-Developers / saaf
  The Static Android Analysis Framework.
  ☆36Updated 8 years ago