Discover plast-lab/sound-modulo-analysis-openjdk-8 Open Source project

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Java
License
GNU General Publi...
Created over 4 years ago
Updated over 4 years ago

plast-lab

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

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"

doop

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

Java

154

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++

HeapDL

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

Java

JInfoFlow-bench

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++

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

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

plast-lab/sound-modulo-analysis-openjdk-8

plast-lab

Reviews

Repository Details

More Repositories