Alternatives and similar repositories for acteve

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

• plum-umd / pasket

  View on GitHub
  Synthesizing Framework Models for Symbolic Execution
  ☆15Sep 15, 2016Updated 9 years ago
• USC-NSL / PUMA

  View on GitHub
  Programmable UI-Automation Framework for Dynamic App Analysis
  ☆48Sep 2, 2014Updated 11 years ago
• Rhapsod / sapienz

  View on GitHub
  A Prototype of Sapienz (Out-of-date and no longer supported)
  ☆80Aug 27, 2017Updated 8 years ago
• isstac / spf-wca

  View on GitHub
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Sep 17, 2018Updated 7 years ago
• immunityinc / HardwareImplantRecipe

  View on GitHub
  "A Practical Recipe for Hardware Implants" presentation materials.
  ☆13Nov 10, 2020Updated 5 years ago
• secure-software-engineering / DroidForce

  View on GitHub
  DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.
  ☆19Mar 9, 2016Updated 9 years ago
• wtchoi / SwiftHand

  View on GitHub
  Automated Testing Tool for Android Applications.
  ☆61Jan 13, 2015Updated 11 years ago
• MIT-PAC / droidsafe-src

  View on GitHub
  DroidSafe Android Static Analysis Source Repository
  ☆97Apr 17, 2017Updated 8 years ago
• tanzirul / a3e

  View on GitHub
  Automatic Android App Explorer
  ☆42Sep 15, 2016Updated 9 years ago
• impillar / AndroidReferences

  View on GitHub
  Research papers and tools on Android
  ☆129Feb 24, 2021Updated 4 years ago
• osl / jcute

  View on GitHub
  Java Concolic Unit Testing Engine
  ☆94Jul 3, 2014Updated 11 years ago
• catenacyber / webfuzz

  View on GitHub
  ☆29Sep 27, 2020Updated 5 years ago
• tingsu / caut-lib

  View on GitHub
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Jan 23, 2015Updated 11 years ago
• ohjeongwook / sRDI

  View on GitHub
  ☆28Apr 1, 2018Updated 7 years ago
• InoriJam / Insightface-Attack

  View on GitHub
  The author is lazy, nothing writen.
  ☆29Mar 25, 2023Updated 2 years ago
• psycopaths / jdart

  View on GitHub
  A dynamic symbolic analysis tool for Java
  ☆126Jun 2, 2019Updated 6 years ago
• wala / WALA-start

  View on GitHub
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Dec 2, 2024Updated last year
• mxmssh / netafl

  View on GitHub
  winAFL patch to enable network-based apps fuzzing
  ☆37Sep 14, 2018Updated 7 years ago
• miwong / IntelliDroid

  View on GitHub
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆59Jun 20, 2018Updated 7 years ago
• dariosharp / SZpy

  View on GitHub
  Z3 Symbolic Execution python
  ☆28Dec 28, 2017Updated 8 years ago
• uds-se / droidmate

  View on GitHub
  DroidMate-2: A Platform for Android Test Generation
  ☆29Mar 9, 2021Updated 4 years ago
• awltech / sonar-data-migrator

  View on GitHub
  Utility to migrate data from one Sonar instance to other ones.
  ☆12May 26, 2014Updated 11 years ago
• zynamics / pin-tools

  View on GitHub
  Collection of tools for the Pin dynamic instrumentation framework
  ☆42Jan 21, 2020Updated 6 years ago
• ucsb-seclab / sasi

  View on GitHub
  Signedness-Agnostic Strided-Interval
  ☆38Jun 21, 2019Updated 6 years ago
• bitblaze-fuzzball / fuzzball

  View on GitHub
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆215Aug 15, 2025Updated 6 months ago
• OlSut / Kinject-x64

  View on GitHub
  Kinject - kernel dll injector, currently available in x86 version, will be updated to x64 soon.
  ☆32Apr 10, 2015Updated 10 years ago
• sweetest-framework / sweetest

  View on GitHub
  Sweetens up your test code with good architecture and dependency management
  ☆13Dec 10, 2020Updated 5 years ago
• microsoft / lab-study-app

  View on GitHub
  Hands-on with GitHub Copilot: Building AI-Powered Study Plans with GitHub Models
  ☆17Oct 8, 2025Updated 4 months ago
• xavidop / cardex

  View on GitHub
  Cardex platform, all-in-one AI platform for your pokemon TCG
  ☆19Feb 4, 2026Updated last week
• tghack / tg16hack

  View on GitHub
  TG 2016 hacking compo repo
  ☆10Mar 31, 2016Updated 9 years ago
• bsdb0y / AndroidPasswordCracker

  View on GitHub
  Android lockscreen password cracker via ADB (Tested only on Asus Zenfone 4 A450CG )
  ☆10Jul 3, 2017Updated 8 years ago
• Rashed97 / proprietary_vendor_qcom_binaries

  View on GitHub
  Common Proprietary Qualcomm Binaries
  ☆10Dec 26, 2016Updated 9 years ago
• erdelf / MinifyEverything

  View on GitHub
  ☆12Aug 16, 2025Updated 6 months ago
• KadirCelep / idata-visa-tracker

  View on GitHub
  This script checks visa application status using idata.com.tr services in Turkey (for Germany and Italy) and notifies OSX Notification Ce…
  ☆11Jul 9, 2015Updated 10 years ago
• wywincl / LDTPLibrary

  View on GitHub
  Linux Desktop Test Project (LDTP) Library for Robot Framework.
  ☆11Aug 3, 2017Updated 8 years ago
• maplefan / MuPDF

  View on GitHub
  MuPDF是一个轻量级的PDF，XPS和电子书阅读器。Fork from https://mupdf.com/
  ☆13May 13, 2019Updated 6 years ago
• hjking / mydotfiles

  View on GitHub
  my rc files
  ☆12Mar 16, 2016Updated 9 years ago
• lilicoding / soot-infoflow-android-iccta

  View on GitHub
  Inter-component communication Taint Analysis for Android
  ☆94Feb 21, 2016Updated 9 years ago
• southpolenator / SharpPdb

  View on GitHub
  Library for reading PDB files, both Windows and PortablePDBs.
  ☆54Feb 19, 2025Updated 11 months ago