Repositories list

• souffle-addon

  Public
  C++

  •

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

  •3•10•1•0•Updated Jul 8, 2025Jul 8, 2025

• doop

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

  javadatalogdoop+ 1pointer-analysis

  Java

  •

  Other

  •25•200•10•0•Updated Jun 4, 2025Jun 4, 2025

• clue-common

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

  Groovy

  •

  MIT License

  •1•1•0•0•Updated Mar 23, 2025Mar 23, 2025

• 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 Enterprise Applications: Frameworks and Caches, The Elephants in the Room"

  Java

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Mar 22, 2025Mar 22, 2025

• doop-benchmarks

  Public
  Shell

  •0•2•0•0•Updated Mar 21, 2025Mar 21, 2025

• plast-lab.github.io

  Public
  CSS

  •1•1•0•1•Updated May 16, 2024May 16, 2024

• 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+ 1heapdump

  Java

  •

  GNU General Public License v2.0

  •1•15•0•0•Updated May 3, 2024May 3, 2024

• cclyzer-souffle

  Public
  CClyzer port to souffle lang

  C++

  •

  MIT License

  •8•18•5•0•Updated Jan 29, 2024Jan 29, 2024

• source-ir-fitter

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

  bytecodecode-analysissarif

  Java

  •

  MIT License

  •1•3•0•0•Updated Feb 2, 2022Feb 2, 2022

• bccapture

  Public
  A bytecode capture agent for the JVM

  C++

  •

  MIT License

  •0•0•0•0•Updated Dec 27, 2021Dec 27, 2021

• JInfoFlow-bench

  Public
  Java

  •

  MIT License

  •2•8•0•0•Updated Nov 29, 2021Nov 29, 2021

• native-scanner

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

  analysisanalyzing-binaries

  Java

  •

  Universal Permissive License v1.0

  •6•23•0•0•Updated Nov 12, 2021Nov 12, 2021

• mini-sarif

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

  static-analysissarif

  Java

  •

  MIT License

  •0•0•0•0•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.4k•0•0•0•Updated Dec 23, 2020Dec 23, 2020

• Apktool

  Public
  A tool for reverse engineering Android apk files

  Java

  •

  Other

  •3.8k•0•0•0•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

  •42•0•0•0•Updated Nov 23, 2020Nov 23, 2020

• cclyzer

  Public
  A tool for analyzing LLVM bitcode using Datalog.

  cc-plus-plusllvm+ 3dataloganalysis-frameworkpointer-analysis

  C++

  •

  MIT License

  •14•102•2•0•Updated Oct 2, 2020Oct 2, 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 Enterprise Applications: Frameworks and Caches, The Elephants in the Room"

  Java

  •

  GNU General Public License v2.0

  •2•9•0•0•Updated Apr 5, 2020Apr 5, 2020

• doop-pldi15-tutorial

  Public
  Tutorial site for PLDI 2015

  CSS

  •3•5•1•0•Updated Jan 4, 2020Jan 4, 2020

• credex

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

  C++

  •

  Universal Permissive License v1.0

  •1•1•0•0•Updated Jul 5, 2019Jul 5, 2019

• WALA

  Public
  T.J. Watson Libraries for Analysis

  Java

  •

  Eclipse Public License 2.0

  •238•0•0•0•Updated Sep 13, 2018Sep 13, 2018

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •718•0•0•0•Updated Aug 4, 2018Aug 4, 2018

• redex

  Public
  A bytecode optimizer for Android apps

  C++

  •

  Other

  •675•2•0•0•Updated Aug 3, 2018Aug 3, 2018

• FlowDroid

  Public
  FlowDroid Static Data Flow Tracker

  Java

  •

  GNU Lesser General Public License v2.1

  •311•0•0•0•Updated Aug 3, 2018Aug 3, 2018

• JDWPFactGen

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

  Java

  •0•0•0•0•Updated Jul 27, 2018Jul 27, 2018

• heapdl-site

  Public
  0•0•0•0•Updated Jul 10, 2018Jul 10, 2018

• proguard-experiments

  Public
  Prolog

  •1•0•0•0•Updated Oct 18, 2017Oct 18, 2017

• jphantom-viewer-demo

  Public
  A tool for Java program complementation.

  Java

  •12•0•0•0•Updated Jun 23, 2017Jun 23, 2017

• elasticsearch

  Public
  Open Source, Distributed, RESTful Search Engine

  Java

  •

  Apache License 2.0

  •26k•0•0•0•Updated Apr 28, 2017Apr 28, 2017

• litho

  Public
  A declarative framework for building efficient UIs on Android.

  Java

  •

  Other

  •768•0•0•0•Updated Apr 28, 2017Apr 28, 2017