◐ Shell reader mode source ↗

PASCAL Research Group

Programming Languages and Static Analysis Group@Nanjing University

Pinned Loading

Tai-e Tai-e Public

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

Java 1.8k 195
Tai-e-assignments Tai-e-assignments Public

Tai-e assignments for static program analysis

Java 1.2k 285
vide vide Public

A Modern SystemVerilog Coding IDE.

C++ 124 6

Repositories

Type

Language

Sort

vide Public
A Modern SystemVerilog Coding IDE.

pascal-lab/vide’s past year of commit activity

C++ 124 MIT 6 12 2 Updated Jun 19, 2026
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,782 LGPL-3.0 195 22 3 Updated Jun 19, 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 1 1 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 119 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 142 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
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 8 0 0 Updated Jun 1, 2026
java-benchmarks Public

pascal-lab/java-benchmarks’s past year of commit activity

Shell 12 40 0 1 Updated May 31, 2026

View all repositories

People

Top languages

Loading…

Most used topics

Loading…