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
  ☆44Updated 4 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• MIT-PAC / droidsafe-src
  DroidSafe Android Static Analysis Source Repository
  ☆97Updated 8 years ago
• JulianSchuette / ConDroid
  Symbolic/concolic execution of Android apps
  ☆56Updated 9 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆59Updated 7 years ago
• saswatanand / ella
  Binary Instrumentation of Android Apps
  ☆69Updated 9 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆117Updated 8 years ago
• android-art-intel / Fuzzer
  Java* Fuzzer for Android*
  ☆12Updated 8 years ago
• serval-snt-uni-lu / DroidRA
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆52Updated 5 years ago
• yuanchun-li / HybridFlow
  static taint analysis of hybrid Android Apps (Java + HTML)
  ☆13Updated 3 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆120Updated 6 years ago
• DroidTest / TimeMachine
  Time-travel Testing
  ☆106Updated 3 years ago
• USC-NSL / PUMA
  Programmable UI-Automation Framework for Dynamic App Analysis
  ☆48Updated 11 years ago
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Updated 4 years ago
• ylya / horndroid
  A Static Analysis Tool For Android Apps
  ☆20Updated last month
• Rhapsod / sapienz
  A Prototype of Sapienz (Out-of-date and no longer supported)
  ☆80Updated 8 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• wtchoi / SwiftHand
  Automated Testing Tool for Android Applications.
  ☆61Updated 10 years ago
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆94Updated 3 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• angr / pysoot
  Python bindings for Shimple/Jimple IR from Soot.
  ☆41Updated 2 months ago
• octopus-platform / joern-tools
  Python utilities for joern
  ☆36Updated 6 years ago
• SAAF-Developers / saaf
  The Static Android Analysis Framework.
  ☆40Updated 9 years ago
• fabsx00 / querygen
  ☆11Updated 10 years ago
• konrad-jamrozik / droidmate
  DroidMate is an automated GUI execution generator for Android apps.
  ☆39Updated 5 years ago
• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆215Updated last month
• isstac / kelinci
  AFL-based fuzzing for Java
  ☆237Updated 5 years ago