Giters
PASCAL Research Group (pascal-lab)

PASCAL Research Group

pascal-lab

Geek Repo

Programming Languages and Static Analysis Group@Nanjing University

Home Page:https://tai-e.pascal-lab.net/

Github PK Tool:Github PK Tool

PASCAL Research Group's repositories

Tai-e

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

Language:JavaLicense:LGPL-3.0Stargazers:1278Issues:30Issues:103

Tai-e-assignments

Tai-e assignments for static program analysis

Language:JavaLicense:LGPL-3.0Stargazers:993Issues:4Issues:20

java-benchmarks

Language:ShellStargazers:9Issues:2Issues:0

android-benchmarks

Stargazers:1Issues:0Issues:0

android-platforms

A collection of all android.jar files for the different platform versions.

Stargazers:0Issues:0Issues:0

DroidBench

A micro-benchmark suite to assess the stability of taint-analysis tools for Android

Language:JavaStargazers:0Issues:0Issues:0