Alternatives and similar repositories for acteve:

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

• JulianSchuette / ConDroid
  Symbolic/concolic execution of Android apps
  ☆56Updated 9 years ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆42Updated 3 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆58Updated 6 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• MIT-PAC / droidsafe-src
  DroidSafe Android Static Analysis Source Repository
  ☆94Updated 7 years ago
• SCanDroid / SCanDroid
  Security Certifier for anDroid
  ☆59Updated 11 years ago
• wtchoi / SwiftHand
  Automated Testing Tool for Android Applications.
  ☆60Updated 10 years ago
• serval-snt-uni-lu / DroidRA
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆50Updated 5 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 8 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆115Updated 7 years ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• TACIXAT / CFGScanDroid
  Control Flow Graph Scanning for Android
  ☆59Updated 9 years ago
• android-art-intel / Fuzzer
  Java* Fuzzer for Android*
  ☆12Updated 8 years ago
• USC-NSL / PUMA
  Programmable UI-Automation Framework for Dynamic App Analysis
  ☆47Updated 10 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 8 years ago
• ylya / horndroid
  A Static Analysis Tool For Android Apps
  ☆19Updated 5 months ago
• SAAF-Developers / saaf
  The Static Android Analysis Framework.
  ☆39Updated 9 years ago
• dariosharp / SZpy
  Z3 Symbolic Execution python
  ☆28Updated 7 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆44Updated 4 years ago
• yuanchun-li / HybridFlow
  static taint analysis of hybrid Android Apps (Java + HTML)
  ☆13Updated 3 years ago
• kelwin / apkil
  An APK instrumentation library and DroidBox APIMonitor
  ☆59Updated 11 years ago
• DroidTest / TimeMachine
  Time-travel Testing
  ☆105Updated 2 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆89Updated 9 months ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆116Updated 5 years ago
• isstac / badger
  ☆20Updated 6 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• nettrino / IntFlow
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Updated 9 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago