Back to homeMore on GitHub

Software

RuScript:25Language: Haskell, Updated at: 2020 Jun 03

Experimental Language based on Rust and Haskell


nightly:11Language: Python, Updated at: 2020 Jul 27

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


java2smali:10Language: Kotlin, Updated at: 2020 Aug 01

Command-line tool for compiling .java to .smali


iris-c-coq:7Language: Coq, Updated at: 2020 Mar 14

Control-flow based language verification framework


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

High-level assertion encoding to Z3 solver


ui-checker:3Language: Python, Updated at: 2020 Aug 02

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


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

Static Generator for your GitHub Pages Blog


markii:3Language: Java, Updated at: 2020 Aug 03

Android/Java Static Analysis Library


droid-scripts:2Language: Shell, Updated at: 2020 Jul 26

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 Jul 23

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


msbase.pyLanguage: Python, Updated at: 2020 Jul 28

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


ui-reverseLanguage: Python, Updated at: 2020 Jul 21

Android UI Reverse Tool


moonriverLanguage: Python, Updated at: 2019 Dec 06

Local CLI reader that saves your time & protect your privacy



More on GitHub

Updated in: Aug 2020

Back to home