Repositories list

• vide

  Public
  A Modern SystemVerilog Coding IDE.

  C++

  •

  MIT License

  •77 forks•128128 stars•1111 issues•33 pull requests•Updated Jul 3, 2026Jul 3, 2026

• Tai-e

  Public
  An easy-to-learn/use static analysis framework for Java and Android

  androidjavasecurity+ 3

  androidjavasecuritystatic-analysiscall-graphtaint-analysis

  Java

  •

  GNU Lesser General Public License v3.0

  •197197 forks•1.8k1.8k stars•2222 issues•33 pull requests•Updated Jun 28, 2026Jun 28, 2026

• java-benchmarks

  Public
  Shell

  •4040 forks•1212 stars•00 issues•11 pull request•Updated Jun 27, 2026Jun 27, 2026

• CrySentry

  Public
  A Static Analysis Tool for Java Crypto API Misuse Based on Tai-e

  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 15, 2026Jun 15, 2026

• setup-ossutil

  Public
  Setup Aliyun ossutil for GitHub Actions on Linux x64

  ossaliyungithub-actions+ 1

  ossaliyungithub-actionsossutil

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 4, 2026Jun 4, 2026

• android-benchmarks

  Public
  Java

  •22 forks•22 stars•00 issues•00 pull requests•Updated Jun 1, 2026Jun 1, 2026

• DroidBench

  Public
  A micro-benchmark suite to assess the stability of taint-analysis tools for Android

  Java

  •115115 forks•11 star•00 issues•00 pull requests•Updated Jun 1, 2026Jun 1, 2026

• android-platforms

  Public
  A collection of all android.jar files for the different platform versions.

  137137 forks•00 stars•00 issues•00 pull requests•Updated Jun 1, 2026Jun 1, 2026

• UBCBench

  Public
  UBCBench contains all benchmarks we designed for confirming our hypothesized findings while analyzing the three well-known static taint analysis tools, FlowDroi…

  Java

  •

  MIT License

  •77 forks•00 stars•00 issues•00 pull requests•Updated Jun 1, 2026Jun 1, 2026

• ICC-Bench

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

  Java

  •88 forks•00 stars•00 issues•00 pull requests•Updated Jun 1, 2026Jun 1, 2026

• Tai-e-assignments

  Public
  Tai-e assignments for static program analysis

  javaeducationstatic-analysis+ 1

  javaeducationstatic-analysisprogram-analysis

  Java

  •

  GNU Lesser General Public License v3.0

  •284284 forks•1.2k1.2k stars•1717 issues•33 pull requests•Updated Aug 28, 2025Aug 28, 2025

• csc-artifact

  Public
  Python

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 22, 2025Jun 22, 2025

• NullPath

  Public
  NullPath: A static analysis tool for detecting NullPointerException (NPE) issues in Java code, built on the Tai-e framework.

  javastatic-analysisanalyzer+ 5

  javastatic-analysisanalyzercode-qualitynpenullpointerexceptiondefect-detectiontai-e

  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•44 stars•00 issues•00 pull requests•Updated May 18, 2025May 18, 2025