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 codecclyzer-souffle
CClyzer port to souffle langHeapDL
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 2015souffle-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 analysiszero-lang-quest
doop-api
API for doop entities.map-hash-repeat
Experimenting with mbraceplast-lab.github.io
morphing
"Writing programs that morph over programs."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.Love Open Source and this site? Check out how you can help us