plast-lab/souffle-addon

Stars
5
Rank 2,861,937 (Top 57 %)
Language
C++
License
BSD 3-Clause "New...
Created almost 5 years ago
Updated 4 months ago

plast-lab/souffle-addon

plast-lab

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

doop

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

cclyzer

A tool for analyzing LLVM bitcode using Datalog.

native-scanner

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

cclyzer-souffle

CClyzer port to souffle lang

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

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"

doop-pldi15-tutorial

Tutorial site for PLDI 2015

feb16-seminar

Page for the PLAST seminar (February 2016)

source-ir-fitter

A tool to map source code elements to IR elements.

credex

Extending facebook/redex with passes driven from external program analysis

zero-lang-quest

doop-api

API for doop entities.

map-hash-repeat

Experimenting with mbrace

plast-lab.github.io

morphing

"Writing programs that morph over programs."

clue-common

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

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.