Skip to content
@pascal-lab

PASCAL Research Group

Programming Languages and Static Analysis Group@Nanjing University

Pinned Loading

  1. Tai-e Tai-e Public

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

    Java 1.8k 203

  2. Tai-e-assignments Tai-e-assignments Public

    Tai-e assignments for static program analysis

    Java 1.2k 286

  3. vide vide Public

    A Modern SystemVerilog Coding IDE.

    Rust 144 7

Repositories

Showing 10 of 14 repositories
  • Tai-e Public

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

    pascal-lab/Tai-e's past year of commit activity
    Java 1,817 LGPL-3.0 203 22 3 Updated Sep 18, 2026
  • vide Public

    A Modern SystemVerilog Coding IDE.

    pascal-lab/vide's past year of commit activity
    Rust 144 MIT 7 17 10 Updated Sep 18, 2026
  • slang Public Forked from MikePopoloski/slang

    SystemVerilog compiler and language services

    pascal-lab/slang's past year of commit activity
    C++ 0 MIT 257 0 0 Updated Aug 11, 2026
  • java-benchmarks Public
    pascal-lab/java-benchmarks's past year of commit activity
    Shell 11 41 0 1 Updated Jun 27, 2026
  • CrySentry Public

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

    pascal-lab/CrySentry's past year of commit activity
    Java 0 LGPL-3.0 0 0 0 Updated Jun 15, 2026
  • setup-ossutil Public

    Setup Aliyun ossutil for GitHub Actions on Linux x64

    pascal-lab/setup-ossutil's past year of commit activity
    0 MIT 0 0 0 Updated Jun 4, 2026
  • android-benchmarks Public
    pascal-lab/android-benchmarks's past year of commit activity
    Java 2 3 0 0 Updated Jun 1, 2026
  • DroidBench Public Forked from secure-software-engineering/DroidBench

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

    pascal-lab/DroidBench's past year of commit activity
    Java 1 120 0 0 Updated Jun 1, 2026
  • android-platforms Public Forked from Sable/android-platforms

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

    pascal-lab/android-platforms's past year of commit activity
    0 147 0 0 Updated Jun 1, 2026
  • UBCBench Public Forked from LinaQiu/UBCBench

    UBCBench contains all benchmarks we designed for confirming our hypothesized findings while analyzing the three well-known static taint analysis tools, FlowDroid, Amandroid, and DroidSafe.

    pascal-lab/UBCBench's past year of commit activity
    Java 0 MIT 7 0 0 Updated Jun 1, 2026
View all repositories

Most used topics

java static-analysis