JordanSamhi

JuCify

AndroSpecter

A library to facilitate the static analysis of Android apps

AndroLog

An Android Instrumentation tool to compute Code Coverage

ic3

IC3: Inter-Component Communication Analysis in Android

CoDoC

RAICC

RAICC finds Atypical way to perform ICC in Android applications.

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)

coal

COAL Constant Propagation Solver

SensitiveData

Call-Graph-Soundness-in-Android-Static-Analysis

Difuzer

Static Logic Bomb Detector in Android apps

TriggerZoo

A dataset of Android apps infected with logic bombs

AndroLibZoo

A dataset of Android libraries

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.

Archer

Auto-GPT

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

bib

Just bibtex entries used throughout my research work

coal-strings

FlowDroid

FlowDroid Static Data Flow Tracker

fuzzingbook

Project page for "The Fuzzing Book"

isla

The ISLa (Input Specification Language) language & solver.

javaparser

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

latex-advice

Advice for writing LaTeX documents

OSSRH-82037

OSSRH-82038

soot

Soot - A Java optimization framework