Back to homeMore on GitHub


RuScript:38Language: Haskell, Updated at: 2021 Jul 28

Experimental Language based on Rust and Haskell

java2smali:21Language: Kotlin, Updated at: 2021 Jun 11

Command-line tool for compiling .java to .smali

nightly:11Language: Python, Updated at: 2020 Nov 30

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

iris-c-coq:8Language: Coq, Updated at: 2021 May 22

Control-flow based language verification framework

ui-checker:6Language: Python, Updated at: 2021 Jun 05

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

z3-encoding:5Language: Haskell, Updated at: 2020 Mar 14

High-level assertion encoding to Z3 solver

markii:5Language: Java, Updated at: 2021 Apr 16

Android/Java Static Analysis Library

bbq-sg:3Language: Haskell, Updated at: 2016 Nov 11

Static Generator for your GitHub Pages Blog

droid-scripts:2Language: Shell, Updated at: 2020 Dec 17

Executable scripts for helping with Android related work

dynamic:2Language: Haskell, Updated at: 2020 Mar 14

JavaScript Static Analyzer

liquid:1Language: Scala, Updated at: 2020 Mar 10

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

seguard-javaLanguage: Java, Updated at: 2020 Dec 18

Static analysis library for extracting the approximate dependency graph from Java/Android/JavaScript

msbase.pyLanguage: Python, Updated at: 2021 Jun 02

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

ui-reverseLanguage: Python, Updated at: 2021 Feb 15

Android UI Reverse Tool

More on GitHub

Updated in: Sep 2021

Back to home