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.5k 177

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

    Tai-e assignments for static program analysis

    Java 1.1k 252

Repositories

Showing 8 of 8 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,485 LGPL-3.0 177 15 1 Updated Dec 15, 2024
  • android-benchmarks Public
    pascal-lab/android-benchmarks’s past year of commit activity
    1 1 0 0 Updated Jun 14, 2024
  • 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 0 117 0 0 Updated Jun 13, 2024
  • 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 6 0 0 Updated Jun 13, 2024
  • java-benchmarks Public
    pascal-lab/java-benchmarks’s past year of commit activity
    Shell 10 32 0 0 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 117 0 0 Updated Apr 11, 2023
  • Tai-e-assignments Public

    Tai-e assignments for static program analysis

    pascal-lab/Tai-e-assignments’s past year of commit activity
    Java 1,125 LGPL-3.0 252 14 2 Updated Nov 27, 2022

Top languages

Loading…

Most used topics

Loading…