plast-lab/native-scanner

Stars
20
Rank 1,121,974 (Top 23 %)
Language
Java
License
Universal Permiss...
Created almost 5 years ago
Updated about 3 years ago

plast-lab/native-scanner

plast-lab

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

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

doop

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

cclyzer

A tool for analyzing LLVM bitcode using Datalog.

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

souffle-addon

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.