GeezerVison

GeezerVison is showing github.com — PASCAL Research Group

Pinned Loading

Tai-e Tai-e Public

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

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

Tai-e assignments for static program analysis

Java 1.2k 288
vide vide Public

A Modern SystemVerilog Coding IDE.

Rust 152 8

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All C++ Java Python Rust Shell

Sort

Last updated Name Stars

Showing 10 of 14 repositories

vide Public
A Modern SystemVerilog Coding IDE.

Uh oh!

There was an error while loading. Please reload this page.

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

Rust 152 MIT 8 18 20 Updated Nov 12, 2026
slang Public Forked from MikePopoloski/slang
SystemVerilog compiler and language services

Uh oh!

There was an error while loading. Please reload this page.

pascal-lab/slang's past year of commit activity

C++ 0 MIT 285 0 0 Updated Nov 12, 2026
Tai-e Public
An easy-to-learn/use static analysis framework for Java and Android

Uh oh!

There was an error while loading. Please reload this page.

pascal-lab/Tai-e's past year of commit activity

Java 1,832 LGPL-3.0 204 22 3 Updated Oct 29, 2026
java-benchmarks Public

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

pascal-lab/setup-ossutil's past year of commit activity

0 MIT 0 0 0 Updated Jun 4, 2026
android-benchmarks Public

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

pascal-lab/DroidBench's past year of commit activity

Java 1 121 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.

Uh oh!

There was an error while loading. Please reload this page.

pascal-lab/android-platforms's past year of commit activity

0 148 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.

Uh oh!

There was an error while loading. Please reload this page.

pascal-lab/UBCBench's past year of commit activity

Java 0 MIT 7 0 0 Updated Jun 1, 2026

View all repositories

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.