Static Jimple Slicer for Android Apps
☆12Dec 2, 2021Updated 4 years ago
Alternatives and similar repositories for Jicer
Users that are interested in Jicer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- System using the Analysis Query Language☆15Jun 20, 2022Updated 4 years ago
- Android Benchmark Reproduction Framework☆12Nov 30, 2021Updated 4 years ago
- Mandoline is an accurate, low-overhead dynamic slicer for Android applicaions.☆11Apr 24, 2026Updated 6 months ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 7 years ago
- A library to facilitate the static analysis of Android apps☆13Oct 25, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆47Jan 26, 2024Updated 2 years ago
- 🔥🔥🔥🚀Windows平台版本的apk、ipa、so、aar、jar等库代码扫描工具☆18Aug 14, 2023Updated 3 years ago
- Bench transformer and isolated declarations☆25Updated this week
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to…☆46May 31, 2020Updated 6 years ago
- Android Merge Tool☆35Nov 29, 2021Updated 4 years ago
- Install Reqable CA certificate to System CA Store. Supports Magisk/KernelSU/SukiSU/APatch. Android 5.0-15+ compatible.☆17Jan 24, 2026Updated 9 months ago
- Quickly create keyboard pattern based passwords☆15Jun 13, 2015Updated 11 years ago
- Finetune smaller LLMs with Chain-of-Thought examples to enable reasoning capabilities.☆10Oct 4, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Minimal example of a standalone program that depends on Joern☆12Feb 14, 2025Updated last year
- ☆11Oct 13, 2020Updated 6 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆37Oct 9, 2022Updated 4 years ago
- A curated collection of research works on GUI Agent Safety, covering benchmarks, attacks, defenses, and evaluation frameworks.☆22Apr 9, 2026Updated 6 months ago
- Mobile Security - OMTG-Android Walkthrough☆11Oct 31, 2019Updated 7 years ago
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 5 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆82Jul 14, 2025Updated last year
- ☆10May 27, 2023Updated 3 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Macro pre-processor definitions for ANTLR4 written using ANTLR4 :-)☆12Jul 15, 2018Updated 8 years ago
- COVA - A static analysis tool to compute path conditions☆42Mar 2, 2026Updated 8 months ago
- The LLVM Infrastructure Working Group☆18Aug 31, 2022Updated 4 years ago
- ☆125Dec 27, 2022Updated 3 years ago
- A Simple VM-based challenge created using the academic tigress obfuscator☆19Jun 30, 2022Updated 4 years ago
- Alternative chat templates for Qwen 3 8B. Useful for multi-turn RL☆14Sep 4, 2025Updated last year
- Official implementation of "Poisoning Attacks on Cyber Attack Detectors for Industrial Control Systems" by Moshe Kravchik, Battista Biggi…☆14Mar 22, 2021Updated 5 years ago
- ☆18Jun 16, 2024Updated 2 years ago
- SuSi - our tool to automatically discover sources and sinks in the Android framework☆155Jan 3, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆16Jul 27, 2024Updated 2 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆49Jul 6, 2021Updated 5 years ago
- AutoEncoders for Event Detection (AEED): a Keras-based class for anomaly detection in water sensor networks.☆12Sep 17, 2018Updated 8 years ago
- Greenbone Vulnerability Managment software deployable via docker☆16Jan 7, 2026Updated 9 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆55Mar 23, 2026Updated 7 months ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Mar 1, 2016Updated 10 years ago
- CamoDroid is an open-source and open-architecture Android application dynamic analysis environment (sandbox) that is resilient against em…☆35Jan 3, 2022Updated 4 years ago