JordanSamhi

JuCify

AndroSpecter

The AndroSpecter Library

RAICC

RAICC finds Atypical way to perform ICC in Android applications.

TSOpen

Open implementation of TriggerScope

ic3

IC3: Inter-Component Communication Analysis in Android

AndroBomb

A tool to automatically infect Android apps with logic bombs

APKCOVID

A First Look at Android Applications related to Covid-19

CoDoC

Android-platforms

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

Difuzer

Static Logic Bomb Detector in Android apps

SensitiveData

ApkAnalysisTemplate

coal

COAL Constant Propagation Solver

Javalyzer

TriggerZoo

A dataset of Android apps infected with logic bombs

Tools

Pre-built tools

acvtool

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

Auto-GPT

An experimental open-source attempt to make GPT-4 fully autonomous.

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.

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.

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