cs-au-dk / thor

Related projects: ⓘ

• wtchoi / SwiftHand
  Automated Testing Tool for Android Applications.
  ☆60Updated 9 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 8 years ago
• Rhapsod / sapienz
  A Prototype of Sapienz (Out-of-date and no longer supported)
  ☆81Updated 7 years ago
• USC-NSL / PUMA
  Programmable UI-Automation Framework for Dynamic App Analysis
  ☆47Updated 10 years ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 4 years ago
• tanzirul / a3e
  Automatic Android App Explorer
  ☆41Updated 8 years ago
• tianxiaogu / ape
  ☆52Updated 3 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…
  ☆17Updated 5 years ago
• saswatanand / acteve
  Dynamic Symbolic Execution of Android Apps
  ☆22Updated 8 years ago
• tingsu / Stoat
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆141Updated last year
• uds-se / droidmate
  DroidMate-2: A Platform for Android Test Generation
  ☆28Updated 3 years ago
• columbia / appdoctor
  AppDoctor
  ☆15Updated 7 years ago
• tingsu / DroidDefects
  A database of crash (exception) bugs for Android apps
  ☆20Updated 8 months ago
• TOLLER-Android / main
  ☆20Updated last year
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆229Updated last year
• setting-defect-fuzzing / home
  ☆35Updated 8 months ago
• secure-software-engineering / soot-infoflow-android
  ☆237Updated this week
• pilgun / acvtool
  ACVTool (Android Code Coverage Tool) is a tool to measure fine-grained code coverage of 3rd-party Android apps.
  ☆86Updated 3 months ago
• cuplv / droidel
  Framework model for static analysis of Android
  ☆45Updated 8 years ago
• AndroidTestBugReport / ReCDroid
  An android bug reproduce tool
  ☆17Updated 2 years ago
• ucr-riple / AndroidSlicer
  AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.
  ☆13Updated 5 years ago
• secure-software-engineering / DroidBench
  A micro-benchmark suite to assess the stability of taint-analysis tools for Android
  ☆267Updated last year
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆87Updated 3 months ago
• wala / ML
  ☆25Updated last month
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆58Updated 6 years ago
• JulianSchuette / ConDroid
  Symbolic/concolic execution of Android apps
  ☆56Updated 8 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆205Updated last month
• secure-software-engineering / soot-infoflow
  ☆95Updated this week
• konrad-jamrozik / droidmate
  DroidMate is an automated GUI execution generator for Android apps.
  ☆38Updated 4 years ago
• srasthofer / FuzzDroid
  ☆21Updated 7 years ago