PLAST (@plast-lab)
Guthub

plast-lab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    345
  • Global Org. Rank 29,853 (Top 10 %)
  • Registered almost 12 years ago
  • Most used languages
    Java
         52.6 %
    C++
         21.1 %
    CSS
         15.8 %
    F#
         5.3 %
    Groovy
         5.3 %
  • Location 🇬🇷 Greece
  • Country Total Rank 162
  • Country Ranking
    Groovy
         3
    F#
         9
    Java
         16
    C++
         26
    CSS
         31

Top repositories

1

doop

The official repo of Doop, the declarative pointer analysis framework.
Java
154
star
2

cclyzer

A tool for analyzing LLVM bitcode using Datalog.
C++
95
star
3

native-scanner

An analyzer of JNI code that matches native code information with Java code
Java
20
star
4

cclyzer-souffle

CClyzer port to souffle lang
C++
18
star
5

HeapDL

Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.
Java
14
star
6

JInfoFlow-bench

Java
9
star
7

sound-modulo-analysis-openjdk-8

This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper "Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room"
Java
8
star
8

doop-pldi15-tutorial

Tutorial site for PLDI 2015
CSS
5
star
9

souffle-addon

C++
5
star
10

feb16-seminar

Page for the PLAST seminar (February 2016)
CSS
4
star
11

source-ir-fitter

A tool to map source code elements to IR elements.
Java
3
star
12

credex

Extending facebook/redex with passes driven from external program analysis
C++
1
star
13

zero-lang-quest

Java
1
star
14

doop-api

API for doop entities.
Java
1
star
15

map-hash-repeat

Experimenting with mbrace
F#
1
star
16

plast-lab.github.io

CSS
1
star
17

morphing

"Writing programs that morph over programs."
Java
1
star
18

clue-common

Common functionality shared by the components of the Clyze unified analysis framework.
Groovy
1
star
19

DelphJ

DelphJ is a Java-based OO language (MorphJ with delegation features) that eschews inheritance completely, in favor of a combination of class morphing and (deep) delegation.
Java
1
star