Software
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