Alternatives and similar repositories for thor:

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

• wtchoi / SwiftHand
  Automated Testing Tool for Android Applications.
  ☆60Updated 10 years ago
• Rhapsod / sapienz
  A Prototype of Sapienz (Out-of-date and no longer supported)
  ☆81Updated 7 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 8 years ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• USC-NSL / PUMA
  Programmable UI-Automation Framework for Dynamic App Analysis
  ☆47Updated 10 years ago
• tanzirul / a3e
  Automatic Android App Explorer
  ☆42Updated 8 years ago
• tianxiaogu / ape
  ☆55Updated 4 years ago
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆58Updated 6 years ago
• wsong-nj / EHBDroid
  EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the followi…
  ☆19Updated 5 years ago
• uds-se / droidmate
  DroidMate-2: A Platform for Android Test Generation
  ☆29Updated 4 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆90Updated 11 months ago
• saswatanand / acteve
  Dynamic Symbolic Execution of Android Apps
  ☆22Updated 9 years ago
• tingsu / DroidDefects
  A database of crash (exception) bugs for Android apps
  ☆20Updated last year
• JulianSchuette / ConDroid
  Symbolic/concolic execution of Android apps
  ☆56Updated 9 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• cuplv / droidel
  Framework model for static analysis of Android
  ☆46Updated 8 years ago
• secure-software-engineering / DroidBench
  A micro-benchmark suite to assess the stability of taint-analysis tools for Android
  ☆278Updated 2 years ago
• TOLLER-Android / main
  ☆20Updated last year
• tingsu / Stoat
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆146Updated 2 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• setting-defect-fuzzing / home
  ☆37Updated last year
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 8 years ago
• SQUARE-RG / Fax
  Fair Android Explorer
  ☆20Updated 2 years ago
• wala / ML
  ☆26Updated last week
• seal-hub / CraftDroid
  Test Transfer Across Mobile Apps Through Semantic Mapping (ASE'19)
  ☆8Updated last year
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆145Updated last month
• MIT-PAC / droidsafe-src
  DroidSafe Android Static Analysis Source Repository
  ☆95Updated 8 years ago
• reverse-unina / AndroidRipper
  A toolset for the automatic GUI testing of mobile Android Applications.
  ☆28Updated 7 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 2 months ago