https://github.com/pascal-lab/Tai-e

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

call-graph java security static-analysis taint-analysis

Last synced: 07 Sep 2025

https://github.com/pascal-lab/tai-e

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

call-graph java security static-analysis taint-analysis

Last synced: 15 May 2025

https://github.com/pascal-lab/tai-e-assignments

Tai-e assignments for static program analysis

education java program-analysis static-analysis

Last synced: 16 May 2025

https://github.com/pascal-lab/vide

An LSP for Verilog and SystemVerilog.

Last synced: 03 Jun 2026

https://github.com/pascal-lab/java-benchmarks

Last synced: 06 May 2025

https://github.com/pascal-lab/android-benchmarks

Last synced: 19 Mar 2026

https://github.com/pascal-lab/crysentry

A Static Analysis Tool for Java Crypto API Misuse Based on Tai-e

Last synced: 19 Jun 2026

https://github.com/pascal-lab/csc-artifact

Last synced: 08 Jul 2025