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 codeHeapDL
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 analysisDelphJ
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.zero-lang-quest
doop-api
API for doop entities.map-hash-repeat
Experimenting with mbraceplast-lab.github.io
morphing
"Writing programs that morph over programs."clue-common
Common functionality shared by the components of the Clyze unified analysis framework.Love Open Source and this site? Check out how you can help us