PLAST

icon indicating a website link http://plast-lab.github.io/

icon location University of Athens, Greece icon location Programming Languages and Advanced Software Technologies research lab

Results 4 repositories owned by PLAST
trafficstars

cclyzer

91
Stars
14
Forks
Watchers

A tool for analyzing LLVM bitcode using Datalog.

verified publisher icon plast-lab

doop

135
Stars
20
Forks
Watchers

The official repo of Doop, the declarative pointer analysis framework.

verified publisher icon plast-lab

cclyzer-souffle

15
Stars
7
Forks
Watchers

CClyzer port to souffle lang

verified publisher icon plast-lab

native-scanner

19
Stars
6
Forks
Watchers

An analyzer of JNI code that matches native code information with Java code

verified publisher icon plast-lab