PLAST
Programming Languages and Advanced Software Technologies research lab
University of Athens, Greece
Pinned Repositories
cclyzer
A tool for analyzing LLVM bitcode using Datalog.
cclyzer-souffle
CClyzer port to souffle lang
doop
The official repo of Doop, the declarative pointer analysis framework.
doop-pldi15-tutorial
Tutorial site for PLDI 2015
feb16-seminar
Page for the PLAST seminar (February 2016)
HeapDL
Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.
JInfoFlow-bench
native-scanner
An analyzer of JNI code that matches native code information with Java code
souffle-addon
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"
PLAST's Repositories
plast-lab/doop
The official repo of Doop, the declarative pointer analysis framework.
plast-lab/cclyzer
A tool for analyzing LLVM bitcode using Datalog.
plast-lab/native-scanner
An analyzer of JNI code that matches native code information with Java code
plast-lab/cclyzer-souffle
CClyzer port to souffle lang
plast-lab/HeapDL
Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.
plast-lab/JInfoFlow-bench
plast-lab/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"
plast-lab/doop-pldi15-tutorial
Tutorial site for PLDI 2015
plast-lab/souffle-addon
plast-lab/source-ir-fitter
A tool to map source code elements to IR elements.
plast-lab/redex
A bytecode optimizer for Android apps
plast-lab/clue-common
Common functionality shared by the components of the Clyze unified analysis framework.
plast-lab/credex
Extending facebook/redex with passes driven from external program analysis
plast-lab/plast-lab.github.io
plast-lab/mini-sarif
A library to generate statis analysis results in SARIF format.
plast-lab/Apktool
A tool for reverse engineering Android apk files
plast-lab/bccapture
A bytecode capture agent for the JVM
plast-lab/elasticsearch
Open Source, Distributed, RESTful Search Engine
plast-lab/FlowDroid
FlowDroid Static Data Flow Tracker
plast-lab/heapdl-site
plast-lab/hprof-parser
An extensible parser for hprof heap dump files produced by various JVMs
plast-lab/javaee-benchmarks
A collection of the Java EE benchmarks from Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room (JackEE), presented in PLDI 2020
plast-lab/JDWPFactGen
Dynamic fact generation using the Java Debug Wire Protocol (JDWP)
plast-lab/jphantom-viewer-demo
A tool for Java program complementation.
plast-lab/litho
A declarative framework for building efficient UIs on Android.
plast-lab/proguard-experiments
plast-lab/soot
Soot - A Java optimization framework
plast-lab/spring-framework
The Spring Framework
plast-lab/static-analysis
A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
plast-lab/WALA
T.J. Watson Libraries for Analysis