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

    Java 1.7k 190

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

    Tai-e assignments for static program analysis

    Java 1.2k 282

Repositories

Showing 10 of 10 repositories
  • Tai-e Public

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

    pascal-lab/Tai-e’s past year of commit activity
    Java 1,720 LGPL-3.0 190 25 5 Updated Nov 11, 2025
  • Tai-e-assignments Public

    Tai-e assignments for static program analysis

    pascal-lab/Tai-e-assignments’s past year of commit activity
    Java 1,205 LGPL-3.0 282 16 3 Updated Aug 28, 2025
  • csc-artifact Public
    pascal-lab/csc-artifact’s past year of commit activity
    Python 0 LGPL-3.0 0 0 0 Updated Jun 22, 2025
  • NullPath Public

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

    pascal-lab/NullPath’s past year of commit activity
    Java 4 LGPL-3.0 0 0 0 Updated May 18, 2025
  • android-benchmarks Public
    pascal-lab/android-benchmarks’s past year of commit activity
    1 1 0 0 Updated Feb 20, 2025
  • 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 121 0 0 Updated Feb 20, 2025
  • 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 13, 2024
  • ICC-Bench Public Forked from fgwei/ICC-Bench

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

    pascal-lab/ICC-Bench’s past year of commit activity
    Java 0 7 0 0 Updated Jun 13, 2024
  • java-benchmarks Public
    pascal-lab/java-benchmarks’s past year of commit activity
    Shell 12 40 0 2 Updated Nov 21, 2023
  • 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 134 0 0 Updated Apr 11, 2023

Most used topics

java static-analysis