Alternatives and similar repositories for DroidDefects

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

• DDroid-Android / home

  View on GitHub
  ☆12Aug 24, 2023Updated 2 years ago
• setting-defect-fuzzing / home

  View on GitHub
  ☆38Jan 12, 2024Updated 2 years ago
• SanRazor-repo / SanRazor

  View on GitHub
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆56Jun 6, 2021Updated 4 years ago
• tingsu / Stoat

  View on GitHub
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆153Apr 26, 2023Updated 2 years ago
• sqlancer / bugs

  View on GitHub
  A list of bugs found by SQLancer
  ☆17Jan 30, 2024Updated 2 years ago
• shao-hua-li / CompDiff

  View on GitHub
  ☆36Apr 26, 2023Updated 2 years ago
• RobustNLP / TestTranslation

  View on GitHub
  A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]
  ☆33Nov 15, 2021Updated 4 years ago
• tianxiaogu / ape

  View on GitHub
  ☆56Feb 2, 2021Updated 5 years ago
• hephaestus-compiler-project / thalia

  View on GitHub
  A framework for testing compilers' type checkers
  ☆19Nov 15, 2024Updated last year
• PinjiaHe / StructureInvariantTesting

  View on GitHub
  Structure-Invariant Testing for Machine Translation [ICSE'20]
  ☆16Dec 17, 2020Updated 5 years ago
• DeadCodeProductions / dead

  View on GitHub
  ☆53Apr 23, 2023Updated 2 years ago
• shao-hua-li / UBGen

  View on GitHub
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61May 16, 2025Updated 9 months ago
• ecnusse / Kea

  View on GitHub
  Property-based Testing for Mobile GUI Apps
  ☆75May 22, 2025Updated 8 months ago
• zhoulaifu / xsat

  View on GitHub
  A Fast Floating-Point Satisfiability Solver
  ☆28Jul 26, 2025Updated 6 months ago
• cuhk-s3 / Creal

  View on GitHub
  ☆36Aug 21, 2025Updated 5 months ago
• kodethon / KoDrive

  View on GitHub
  A command line wrapper for Syncthing
  ☆11Mar 10, 2018Updated 7 years ago
• andiwand / OpenDocument.java

  View on GitHub
  Handles OpenDocument files and translates them to HTML.
  ☆10Oct 8, 2019Updated 6 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• csfaculty / csfaculty.github.io

  View on GitHub
  Interview questions for Computer Science faculty jobs
  ☆43Mar 13, 2024Updated last year
• JZuming / EET

  View on GitHub
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆46Jul 14, 2025Updated 7 months ago
• CyberGrandChallenge / linux-source-3.13.2-cgc

  View on GitHub
  DARPA Cyber Grand Challenge Linux source code
  ☆17Jul 9, 2015Updated 10 years ago
• open-dynamic-robot-initiative / user_config_f28069m_drv8305

  View on GitHub
  Configuration files for the ODRI uDriver firmware.
  ☆11Nov 15, 2022Updated 3 years ago
• wsqy / fluent-python-notes

  View on GitHub
  流畅的python笔记
  ☆11Dec 15, 2017Updated 8 years ago
• rochus-keller / Lola

  View on GitHub
  This is the Lola-2 parser used by LolaCreator
  ☆13Apr 24, 2019Updated 6 years ago
• csmith-project / voltest

  View on GitHub
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆28Jul 18, 2014Updated 11 years ago
• mborgerson / bintrace

  View on GitHub
  Fast program tracing and analysis
  ☆17Feb 3, 2026Updated 2 weeks ago
• cmusphinx / ros-pocketsphinx

  View on GitHub
  Updated ROS bindings to pocketsphinx
  ☆11Jan 4, 2019Updated 7 years ago
• delphi-pascal-archive / delphi-crypto

  View on GitHub
  Oldest Delphi sources of crypto-application (find in web archive)
  ☆10Nov 23, 2016Updated 9 years ago
• mechaphish / compilerex

  View on GitHub
  POV templates and compilation support for CGC binaries.
  ☆10May 19, 2022Updated 3 years ago
• harperchen / SEAL

  View on GitHub
  ☆12Jun 10, 2025Updated 8 months ago
• jmgomezsoriano / db-tqdm

  View on GitHub
  A tqdm bar progress that works with MongoDB instead of console.
  ☆11Feb 21, 2022Updated 3 years ago
• XYIheng / MobileAppTesting

  View on GitHub
  Mobile App Analysis and Testing Literature
  ☆105Nov 21, 2025Updated 2 months ago
• testsmt / yinyang

  View on GitHub
  A fuzzing framework for SMT solvers
  ☆196Dec 1, 2025Updated 2 months ago
• open-dynamic-robot-initiative / trifinger_object_tracking

  View on GitHub
  Pose detection of multi-colour cuboids using three cameras.
  ☆13Feb 4, 2026Updated last week
• Xin-Zhou-smu / PatchNet

  View on GitHub
  The newest version of PatchNet
  ☆14Nov 25, 2022Updated 3 years ago
• jonamuen / sql-reduce

  View on GitHub
  A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener
  ☆16Oct 15, 2024Updated last year
• danielcalencar / raszzprime

  View on GitHub
  ☆11Apr 12, 2024Updated last year
• PingCAP-QE / wreck-it

  View on GitHub
  This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version
  ☆12May 12, 2020Updated 5 years ago
• aeris / nsa-doc-search

  View on GitHub
  Search inside Snowden/NSA/GCHQ/whatever documents
  ☆11Jul 11, 2014Updated 11 years ago