Back to homeMore on GitHub

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



More on GitHub

Updated in: Sep 2021

Back to home