Dynamic Symbolic Execution of Android Apps
☆24Jan 16, 2016Updated 10 years ago
Alternatives and similar repositories for acteve
Users that are interested in acteve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic/concolic execution of Android apps☆56Mar 8, 2016Updated 10 years ago
- Programmable UI-Automation Framework for Dynamic App Analysis☆48Sep 2, 2014Updated 12 years ago
- A Prototype of Sapienz (Out-of-date and no longer supported)☆81Aug 27, 2017Updated 9 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 8 years ago
- A toolbox with several call graph construction algorithm implementations☆21May 21, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- DroidSafe Android Static Analysis Source Repository☆98Apr 17, 2017Updated 9 years ago
- Expected edit distance implementation using OpenFst tools☆11May 13, 2015Updated 11 years ago
- Troyd: Integration Testing for Android☆19Jun 15, 2015Updated 11 years ago
- Official repository of Pandora's Bochs, a Bochs-based automated unpacker for runtime-packed Windows executables☆15Mar 24, 2014Updated 12 years ago
- HWP Document Fuzzer (Simple OLE Structure Parsing)☆14Dec 30, 2014Updated 11 years ago
- Android RunTime☆33Dec 7, 2016Updated 9 years ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆59Jun 20, 2018Updated 8 years ago
- Archive Mirror for recently republished PoC/Exploit code☆17Nov 26, 2017Updated 8 years ago
- Collection of my IDAPython scripts☆33Sep 17, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated this week
- Z3 Symbolic Execution python☆28Dec 28, 2017Updated 8 years ago
- ☆16Jul 9, 2019Updated 7 years ago
- Java Concolic Unit Testing Engine☆98Jul 3, 2014Updated 12 years ago
- Research papers and tools on Android☆126Feb 24, 2021Updated 5 years ago
- A Shape Analysis Tool based on Graph Grammars☆14Jul 5, 2026Updated 4 months ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 3 years ago
- 'Feya' is a repo for code snippet tweaking. Nothing can be found here.☆14Sep 24, 2018Updated 8 years ago
- Vision based algorithms for falsification of convolutional neural networks☆12Jan 25, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Java memoization library☆21Updated this week
- Automatically instrument gradle-based applications and generate code coverage reports☆13Apr 1, 2021Updated 5 years ago
- CVE-2013-6282 exploit☆28Nov 18, 2013Updated 12 years ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 7 years ago
- Python bindings for Shimple/Jimple IR from Soot.☆42Updated this week
- a concolic testing engine for Java☆106Feb 20, 2018Updated 8 years ago
- ☆34Jan 5, 2017Updated 9 years ago
- An open source virus scan aggregation framework.☆25Apr 25, 2014Updated 12 years ago
- Scanning and identifying XOR encrypted PE files in PE resources☆30Jun 22, 2014Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automated Testing Tool for Android Applications.☆61Jan 13, 2015Updated 11 years ago
- Synthesized models for PHOG to make the results reproducible by the research community☆11Jan 23, 2020Updated 6 years ago
- Xenotix xBOT is a Cross Platform PoC Bot that abuse certain Google Services to implement it's C&C☆28Jun 18, 2018Updated 8 years ago
- A libparse implementation of a Dex parser☆22Jun 6, 2013Updated 13 years ago
- A dynamic symbolic analysis tool for Java☆129Jun 2, 2019Updated 7 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Nov 26, 2018Updated 7 years ago