JordanSamhi

JuCify

AndroSpecter

A library to facilitate the static analysis of Android apps

ic3

IC3: Inter-Component Communication Analysis in Android

RAICC

RAICC finds Atypical way to perform ICC in Android applications.

CoDoC

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)

AndroLog

An Android Instrumentation tool to compute Code Coverage

coal

COAL Constant Propagation Solver

Difuzer

Static Logic Bomb Detector in Android apps

SensitiveData

TriggerZoo

A dataset of Android apps infected with logic bombs

ApkAnalysisTemplate

Javalyzer

Tools

Pre-built tools

AndroLibZoo

A dataset of Android libraries

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

CogniCrypt

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

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