Repositories list

• doop

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

  javadatalogdoop+ 1

  javadatalogdooppointer-analysis

  Java

  •

  Other

  •2929 forks•216216 stars•00 issues•00 pull requests•Updated Aug 1, 2026Aug 1, 2026

• dacapo-chopin

  Public
  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 9, 2026Jul 9, 2026

• tamiflex

  Public
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders

  Java

  •1717 forks•00 stars•00 issues•00 pull requests•Updated Jul 9, 2026Jul 9, 2026

• cclyzer

  Public
  A tool for analyzing LLVM bitcode using Datalog.

  cc-plus-plusllvm+ 3

  cc-plus-plusllvmdataloganalysis-frameworkpointer-analysis

  C++

  •

  MIT License

  •1414 forks•101101 stars•22 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• plast-lab.github.io

  Public
  PLaST Lab's GitHub Website

  CSS

  •11 fork•11 star•00 issues•11 pull request•Updated Mar 12, 2026Mar 12, 2026

• mini-sarif

  Public
  A library to generate statis analysis results in SARIF format.

  static-analysissarif

  static-analysissarif

  Java

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 27, 2026Feb 27, 2026

• HeapDL

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

  jvmandroid-developmentprogram-analysis+ 1

  jvmandroid-developmentprogram-analysisheapdump

  Java

  •

  GNU General Public License v2.0

  •11 fork•1717 stars•00 issues•00 pull requests•Updated Feb 26, 2026Feb 26, 2026

• clue-common

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

  Groovy

  •

  MIT License

  •22 forks•11 star•00 issues•00 pull requests•Updated Feb 26, 2026Feb 26, 2026

• doop-benchmarks

  Public
  C

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 25, 2026Feb 25, 2026

• souffle-addon

  Public
  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •33 forks•1010 stars•11 issue•00 pull requests•Updated Jan 9, 2026Jan 9, 2026

• sound-modulo-analysis-openjdk-23

  Public
  This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 23 as described in the PLDI 2020 paper "Static Analysis of Java Enterpri…

  Java

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 22, 2025Mar 22, 2025

• cclyzer-souffle

  Public
  CClyzer port to souffle lang

  C++

  •

  MIT License

  •88 forks•2121 stars•55 issues•00 pull requests•Updated Jan 29, 2024Jan 29, 2024

• source-ir-fitter

  Public
  A tool to map source code elements to IR elements.

  bytecodecode-analysissarif

  bytecodecode-analysissarif

  Java

  •

  MIT License

  •11 fork•33 stars•00 issues•00 pull requests•Updated Feb 2, 2022Feb 2, 2022

• bccapture

  Public
  A bytecode capture agent for the JVM

  C++

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 27, 2021Dec 27, 2021

• JInfoFlow-bench

  Public
  Java

  •

  MIT License

  •22 forks•77 stars•00 issues•00 pull requests•Updated Nov 29, 2021Nov 29, 2021

• native-scanner

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

  analysisanalyzing-binaries

  analysisanalyzing-binaries

  Java

  •

  Universal Permissive License v1.0

  •66 forks•2323 stars•00 issues•00 pull requests•Updated Nov 12, 2021Nov 12, 2021

• static-analysis

  Public
  A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.

  Rust

  •1.5k1.5k forks•00 stars•00 issues•00 pull requests•Updated Dec 23, 2020Dec 23, 2020

• Apktool

  Public
  A tool for reverse engineering Android apk files

  Java

  •

  Other

  •4k4k forks•00 stars•00 issues•00 pull requests•Updated Nov 23, 2020Nov 23, 2020

• hprof-parser

  Public
  An extensible parser for hprof heap dump files produced by various JVMs

  Java

  •

  Apache License 2.0

  •4343 forks•00 stars•00 issues•00 pull requests•Updated Nov 23, 2020Nov 23, 2020

• sound-modulo-analysis-openjdk-8

  Public
  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 Enterpris…

  Java

  •

  GNU General Public License v2.0

  •22 forks•99 stars•00 issues•00 pull requests•Updated Apr 5, 2020Apr 5, 2020

• doop-pldi15-tutorial

  Public
  Tutorial site for PLDI 2015

  CSS

  •33 forks•55 stars•11 issue•00 pull requests•Updated Jan 4, 2020Jan 4, 2020

• credex

  Public
  Extending facebook/redex with passes driven from external program analysis

  C++

  •

  Universal Permissive License v1.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Jul 5, 2019Jul 5, 2019

• WALA

  Public
  T.J. Watson Libraries for Analysis

  Java

  •

  Eclipse Public License 2.0

  •243243 forks•00 stars•00 issues•00 pull requests•Updated Sep 13, 2018Sep 13, 2018

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •727727 forks•00 stars•00 issues•00 pull requests•Updated Aug 4, 2018Aug 4, 2018

• redex

  Public
  A bytecode optimizer for Android apps

  C++

  •

  Other

  •680680 forks•22 stars•00 issues•00 pull requests•Updated Aug 3, 2018Aug 3, 2018

• FlowDroid

  Public
  FlowDroid Static Data Flow Tracker

  Java

  •

  GNU Lesser General Public License v2.1

  •321321 forks•00 stars•00 issues•00 pull requests•Updated Aug 3, 2018Aug 3, 2018

• JDWPFactGen

  Public
  Dynamic fact generation using the Java Debug Wire Protocol (JDWP)

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 27, 2018Jul 27, 2018

• heapdl-site

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 10, 2018Jul 10, 2018

• proguard-experiments

  Public
  Prolog

  •11 fork•00 stars•00 issues•00 pull requests•Updated Oct 18, 2017Oct 18, 2017

• jphantom-viewer-demo

  Public
  A tool for Java program complementation.

  Java

  •1212 forks•00 stars•00 issues•00 pull requests•Updated Jun 23, 2017Jun 23, 2017