izgzhen

java2smali

Command-line tool for compiling .java to .smali

nightly

Feather-light scheduler, monitor and storage for your research tasks

ui-checker

End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec

droid-scripts

Executable scripts for helping with Android related work

markii

Android/Java Static Analysis Library

bitscope-public

BitScope Pubilc Resources

language-webidl-hs

Parser and Pretty-printer for WebIDL in Haskell

benchmark-sort

Surprising facts about benchmarking standard sorting libraries

ml-notebooks

liquid

DSL for Semantic-based Pattern Matching of Android/Java Binaries

RSSHub

🍰 Everything is RSSible

solver-aided-lang-smt2-benchmark

A benchmark about SMT2 emitted by running programs in high-level solver-aided language

ui-reverse

Android UI Reverse Tool

android-platforms

apktool

articles

cozy

The collection synthesizer

dotfiles-public

drebin

Drebin - NDSS 2014 Re-implementation

hidden-markov-example

Example of HMM-based POS-tagging in Python

jl

Functional sed for JSON

lib-detection

liquid-toolkit

mlbase

msbase.py

Convenient wrappers and utilities, minimal third-party dependencies, written in Python 3.

msbase.scala

ngram-lm-example

Example code of ngram language modeling in Python

runpy

A boring tool that checks your python script before running it

soot-skeleton

Automatically enumerates some options in a Soot based on user determined example output and input and generates a starter script.

subdir-heroku-buildpack

Allows to use subdirectory configured via environment variable as a project root