Alternatives and similar repositories for acteve:

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

• 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
• JulianSchuette / ConDroid
  Symbolic/concolic execution of Android apps
  ☆56Updated 9 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 8 years ago
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆58Updated 6 years ago
• MIT-PAC / droidsafe-src
  DroidSafe Android Static Analysis Source Repository
  ☆95Updated 7 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• dynodroid / dynodroid
  Automatic Input Generation System for Android Apps
  ☆36Updated 5 years ago
• wtchoi / SwiftHand
  Automated Testing Tool for Android Applications.
  ☆60Updated 10 years ago
• USC-NSL / PUMA
  Programmable UI-Automation Framework for Dynamic App Analysis
  ☆47Updated 10 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆115Updated 8 years ago
• SCanDroid / SCanDroid
  Security Certifier for anDroid
  ☆59Updated 12 years ago
• konrad-jamrozik / droidmate
  DroidMate is an automated GUI execution generator for Android apps.
  ☆38Updated 5 years ago
• serval-snt-uni-lu / DroidRA
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆50Updated 5 years ago
• Rhapsod / sapienz
  A Prototype of Sapienz (Out-of-date and no longer supported)
  ☆81Updated 7 years ago
• TACIXAT / CFGScanDroid
  Control Flow Graph Scanning for Android
  ☆59Updated 9 years ago
• yuanchun-li / HybridFlow
  static taint analysis of hybrid Android Apps (Java + HTML)
  ☆13Updated 3 years ago
• SAAF-Developers / saaf
  The Static Android Analysis Framework.
  ☆39Updated 9 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 6 months ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• android-art-intel / Fuzzer
  Java* Fuzzer for Android*
  ☆12Updated 8 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 4 years ago
• tanzirul / a3e
  Automatic Android App Explorer
  ☆42Updated 8 years ago
• isstac / spf-wca
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Updated 6 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆63Updated 3 years ago
• dariosharp / SZpy
  Z3 Symbolic Execution python
  ☆28Updated 7 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago