Skip to content
@pascal-lab

PASCAL Research Group

Programming Languages and Static Analysis Group@Nanjing University

Pinned Loading

  1. Tai-e Public

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

    Java 1.5k 178

  2. Tai-e-assignments Public

    Tai-e assignments for static program analysis

    Java 1.1k 255

Repositories

Showing 8 of 8 repositories
  • android-benchmarks Public
    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

    Java 0 118 0 0 Updated Feb 20, 2025
  • Tai-e Public

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

    Java 1,532 LGPL-3.0 178 10 1 Updated Feb 16, 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.

    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.

    Java 0 6 0 0 Updated Jun 13, 2024
  • java-benchmarks Public
    Shell 10 34 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.

    0 122 0 0 Updated Apr 11, 2023
  • Tai-e-assignments Public

    Tai-e assignments for static program analysis

    Java 1,145 LGPL-3.0 255 16 2 Updated Nov 27, 2022

Top languages

Loading…

Most used topics

Loading…