Skip to content
View fgwei's full-sized avatar

Organizations

@sireum

Block or report fgwei

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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

Java 6,029 1,224 Updated Jan 23, 2026

Benchmark apps for static analyzing native world of Android applications.

Java 13 5 Updated Nov 15, 2018

Learning playground for Argus-SAF

Scala 10 13 Updated Dec 27, 2018

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

Groovy 1 Updated Oct 24, 2016

Gradle support for Jawa.

Groovy 1 Updated Oct 24, 2016

Argus Code Inspection Tool for Intellij.

Scala 5 1 Updated Aug 17, 2017

Translate Jawa to Java.

Scala 1 Updated Nov 2, 2016

Compiler for JAWA.

Scala 1 Updated Nov 18, 2016

Amandroid Sbt Build

Scala 4 4 Updated Mar 25, 2016

Tool to look for several security related Android application vulnerabilities

Python 3,348 653 Updated Jan 16, 2024
Scala 4 4 Updated Mar 25, 2016

Sireum Core Components

Scala 4 7 Updated Jan 5, 2017

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

Java 18 7 Updated Jun 20, 2017
Scala 3 5 Updated Jan 5, 2017

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…

Java 4,924 876 Updated Jan 22, 2026