Discover plast-lab/HeapDL Open Source project by PLAST (@plast-lab)

Stars
14
Rank 1,399,245 (Top 29 %)
Language
Java
License
GNU General Publi...
Created almost 7 years ago
Updated about 1 month ago

plast-lab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

doop

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

Java

136

cclyzer

A tool for analyzing LLVM bitcode using Datalog.

C++

native-scanner

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

Java

cclyzer-souffle

CClyzer port to souffle lang

C++

JInfoFlow-bench

Java

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

doop-pldi15-tutorial

Tutorial site for PLDI 2015

CSS

souffle-addon

C++

feb16-seminar

Page for the PLAST seminar (February 2016)

CSS

source-ir-fitter

A tool to map source code elements to IR elements.

Java

credex

Extending facebook/redex with passes driven from external program analysis

C++

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

zero-lang-quest

Java

doop-api

API for doop entities.

Java

map-hash-repeat

Experimenting with mbrace

plast-lab.github.io

CSS

morphing

"Writing programs that morph over programs."

Java

clue-common

Common functionality shared by the components of the Clyze unified analysis framework.

Groovy

plast-lab/HeapDL

plast-lab

Reviews

Repository Details

More Repositories