TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
☆44May 15, 2021Updated 4 years ago
Alternatives and similar repositories for tamiflex
Users that are interested in tamiflex are comparing it to the libraries listed below
Sorting:
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆27Apr 7, 2015Updated 10 years ago
- The Static Android Analysis Framework.☆40Dec 4, 2015Updated 10 years ago
- ☆20Nov 6, 2019Updated 6 years ago
- Configurable, flexible regex-based APK modification tool.☆37Jun 26, 2017Updated 8 years ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆59Jun 20, 2018Updated 7 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆52Feb 14, 2020Updated 6 years ago
- ☆22Feb 14, 2017Updated 9 years ago
- ☆12Nov 2, 2015Updated 10 years ago
- ☆18Feb 26, 2018Updated 8 years ago
- SuSi - our tool to automatically discover sources and sinks in the Android framework☆151Jan 3, 2017Updated 9 years ago
- ☆12Nov 21, 2023Updated 2 years ago
- Auditing behaviour of Android Apps☆38Feb 7, 2017Updated 9 years ago
- StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications☆25Apr 1, 2023Updated 2 years ago
- ☆17Sep 1, 2023Updated 2 years ago
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 8 years ago
- ☆16Feb 24, 2015Updated 11 years ago
- A python module that monkey patches pexpect mainly for binary transfers.☆18Feb 28, 2019Updated 7 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 2 years ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 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 2 years ago
- 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 framework for analysis, stimulation, and detection of Android repackaged malware (under construction)☆11Apr 18, 2018Updated 7 years ago
- Security methods for WeAkNess detection☆20Jan 26, 2026Updated last month
- REbus facilitates the coupling of existing tools that perform specific tasks, where one's output will be used as the input of others.☆25Oct 8, 2020Updated 5 years ago
- Source code for our "What the App is That? Deception and Countermeasures in the Android User Interface" paper☆19May 21, 2015Updated 10 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 7 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆205Mar 15, 2026Updated last week
- Soot - A Java optimization framework☆3,075Mar 3, 2026Updated 2 weeks ago
- PoC code for CVE-2018-15499 (exploit race condition for BSoD)☆11Aug 23, 2018Updated 7 years ago
- reproduce the experiment in the report.☆28Jan 18, 2015Updated 11 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆93May 24, 2024Updated last year
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆29Jan 22, 2025Updated last year
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- This is java implementation of Graspan.☆20Dec 20, 2023Updated 2 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- ☆22Mar 20, 2023Updated 3 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- Download a Bunch of Malware for Demos and Testing☆13Sep 28, 2018Updated 7 years ago