TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
☆45Oct 20, 2026Updated last week
Alternatives and similar repositories for tamiflex
Users that are interested in tamiflex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆17Feb 26, 2026Updated 8 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆94May 24, 2024Updated 2 years ago
- Demo Exploits and Vulnerable APKs for my HitCon'14 topic☆14Sep 2, 2014Updated 12 years ago
- An distributed, dynamic and static analysis security sandbox for Android, all open source.☆11Jul 31, 2014Updated 12 years ago
- SuSi - our tool to automatically discover sources and sinks in the Android framework☆155Jan 3, 2017Updated 9 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.
- ☆20Nov 6, 2019Updated 6 years ago
- BAP python bindings☆23Dec 1, 2023Updated 2 years ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆59Jun 20, 2018Updated 8 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆51Feb 14, 2020Updated 6 years ago
- ☆22Feb 14, 2017Updated 9 years ago
- ☆18Feb 26, 2018Updated 8 years ago
- ☆10Jul 9, 2020Updated 6 years ago
- DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.☆19Mar 9, 2016Updated 10 years ago
- Joana - Information Flow Control for Java☆96Dec 22, 2021Updated 4 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.
- ☆16Feb 24, 2015Updated 11 years ago
- A research project concerned with implementing Joern for analysis of binaries.☆13Sep 2, 2015Updated 11 years ago
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 9 years ago
- Auditing behaviour of Android Apps☆38Feb 7, 2017Updated 9 years ago
- ☆11Jun 27, 2026Updated 4 months ago
- ☆89Mar 15, 2017Updated 9 years ago
- ☆12Nov 2, 2015Updated 10 years ago
- A Gradle / ANTLR4 project template☆12Aug 7, 2013Updated 13 years ago
- Security methods for WeAkNess detection☆20Jan 26, 2026Updated 9 months 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.
- Simple Soot program that detects whether an Android application leaks sensitive data.☆13Jan 7, 2013Updated 13 years ago
- Analysis of the evolution of Android permissions. This repository contains the results presented in the paper "Small Changes, Big Changes…☆29Apr 1, 2023Updated 3 years ago
- The Static Android Analysis Framework.☆41Dec 4, 2015Updated 10 years ago
- Soot - A Java optimization framework☆3,101Oct 12, 2026Updated 2 weeks ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 9 years ago
- ☆22Mar 20, 2023Updated 3 years ago
- A free & open-source Donor Search Algorithm Service☆12Updated this week
- Proof of Concept for CVE-2014-3466 (GnuTLS buffer overflow: session id length check)☆17Sep 29, 2014Updated 12 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 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.
- Android app for trying Intents, Content Providers and Binder interfaces☆18Oct 29, 2017Updated 9 years ago
- The DaCapo benchmark suite☆195Apr 28, 2026Updated 6 months ago
- A framework for analysis, stimulation, and detection of Android repackaged malware (under construction)☆11Apr 18, 2018Updated 8 years ago
- This is a github repository for RAPID, a tool with neuro-symbolic learning method☆10Oct 29, 2025Updated last year
- JSBSim Advanced Trimming Branch☆10Dec 18, 2018Updated 7 years ago
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 11 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 4 years ago