JordanSamhi

JuCify

ic3

IC3: Inter-Component Communication Analysis in Android

RAICC

RAICC finds Atypical way to perform ICC in Android applications.

CoDoC

TSOpen

Open implementation of TriggerScope

AndroBomb

A tool to automatically infect Android apps with logic bombs

Android-platforms

Compilation of android.jar files corresponding to different platform version (stubs and full)

APKCOVID

A First Look at Android Applications related to Covid-19

coal

COAL Constant Propagation Solver

Difuzer

Static Logic Bomb Detector in Android apps

TriggerZoo

A dataset of Android apps infected with logic bombs

ApkAnalysisTemplate

Javalyzer

Tools

Pre-built tools

acvtool

ACVTool (Android Code Coverage Tool) is a tool to measure fine-grained code coverage of 3rd-party Android apps.

awesome-public-datasets

A topic-centric list of HQ open datasets.

bib

Just bibtex entries used throughout my research work

coal-strings

CogniCrypt

CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.

DroidBench

A micro-benchmark suite to assess the stability of taint-analysis tools for Android

FlowDroid

FlowDroid Static Data Flow Tracker

javaparser

Java 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13

mariana-trench

Our security focused static analysis tool for Android and Java applications.

Mobile-Security-Framework-MobSF

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.

nativedisclosurer

OSSRH-82037

OSSRH-82038

Scalpel

Scalpel: A Python Program Analysis Framework

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

soot

Soot - A Java optimization framework