An extensible flow, context, path, object and field sensitive static analysis framework for Android
☆13Dec 20, 2019Updated 6 years ago
Alternatives and similar repositories for Androlic
Users that are interested in Androlic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fair Android Explorer☆23Apr 19, 2023Updated 3 years ago
- A Static Sensitive Subgraph-based Feature for Android Malware Detection☆11Aug 27, 2021Updated 5 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 8 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆47Jan 26, 2024Updated 2 years ago
- ☆17Oct 30, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 皮凯的文明6mod制作代码整 理，这是一个庞大的项目，旨在总结文明6数据库，lua的总结 非常需要各路带佬参与和支持☆25May 11, 2024Updated 2 years ago
- Conv Net for identifying GUI componenets from screenshots using Tensorflow☆12Mar 24, 2023Updated 3 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 11 years ago
- Android DexClassLoader sample, dynamicly load code .☆11Nov 12, 2015Updated 10 years ago
- random data from regex (java implementation of randexp)☆20Mar 15, 2022Updated 4 years ago
- [WIP] pivot a running process into an emulator for instrumentation☆13Aug 12, 2016Updated 10 years ago
- Intent exploit project for MIT's 6.858☆13May 23, 2017Updated 9 years ago
- Investment comparison tool using Python☆16Nov 21, 2018Updated 7 years ago
- An SMT Solver☆29Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 9 years ago
- The Visualization of Protein-Ligand Graphs software that powers the PTGL☆16Apr 4, 2024Updated 2 years ago
- ☆19Jul 15, 2023Updated 3 years ago
- Some tutorials for different approaches to verify neural networks.☆14Sep 23, 2022Updated 4 years ago
- Public reference documents for the SMT-LIB standard☆22Jul 28, 2026Updated 3 months ago
- Identifying the compiler family, version and compiler flags that generated a binary☆21Dec 19, 2019Updated 6 years ago
- Tool to measure code coverage of Android applications when their source code is not available☆12Apr 1, 2023Updated 3 years ago
- ☆12Sep 29, 2019Updated 7 years ago
- ☆33Apr 11, 2017Updated 9 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.
- 📐 具体数学读书笔记☆19Mar 29, 2022Updated 4 years ago
- Parallel and distributed computation for the strongly connected component (SCC).☆16Sep 27, 2019Updated 7 years ago
- GRAIL: A Scalable Index for Reachability Queries in Very Large Graphs☆16May 27, 2015Updated 11 years ago
- [AdvML@KDD 2019] Robust Malware Detection Challenge☆18Nov 28, 2019Updated 6 years ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Jan 19, 2023Updated 3 years ago
- CVE-2016-5195 (dirtycow/dirtyc0w) proof of concept for Android☆17Nov 27, 2016Updated 9 years ago
- IDA AArch64 processor extender extension: Adding crypto extension instructions (AES/SHA1/SHA256)☆24Nov 26, 2016Updated 9 years ago
- ☆19Mar 24, 2017Updated 9 years ago
- Some stuffs for CODE BLUE 2016☆23Oct 26, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Example queries for joern☆18Feb 2, 2017Updated 9 years ago
- OpenMP-based parallel program for counting the number of triangles in a sparse graph☆17Jun 7, 2026Updated 4 months ago
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated last year
- @route decorator for koa-router☆13Aug 19, 2018Updated 8 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆58Jan 5, 2019Updated 7 years ago
- ☆50Dec 17, 2020Updated 5 years ago
- Automated Storyboard Generation for Android Apps☆37Oct 29, 2024Updated 2 years ago