Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

Benchmark apps for static analyzing native world of Android applications.

Learning playground for Argus-SAF

Gradle Android Jawa Plugin adds jawa language support to official gradle android plugin.

Gradle support for Jawa.

Argus Code Inspection Tool for Intellij.

Translate Jawa to Java.

Compiler for JAWA.

Amandroid Sbt Build

Tool to look for several security related Android application vulnerabilities

Sireum Core Components

Benchmark apps for static analyzing inter-component data leakage problem of Android apps.

OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distributed (Multi-Master), supports SQL, ACID…