Repositories list

• doop

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

  javadatalogdoop+ 1pointer-analysis

  Java

  •

  Other

  •22•166•7•0•Updated Nov 20, 2024Nov 20, 2024

• clue-common

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

  Groovy

  •

  MIT License

  •1•1•0•0•Updated Sep 26, 2024Sep 26, 2024

• souffle-addon

  Public
  C++

  •

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

  •2•6•0•0•Updated Aug 30, 2024Aug 30, 2024

• plast-lab.github.io

  Public
  CSS

  •0•1•0•0•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•14•0•0•Updated May 3, 2024May 3, 2024

• javaee-benchmarks

  Public
  A collection of the Java EE benchmarks from Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room (JackEE), presented in PLDI 2020

  0•0•0•0•Updated Apr 28, 2024Apr 28, 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.

  code-analysisbytecodesarif

  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

  •1•9•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•21•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.6k•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

  •39•0•0•0•Updated Nov 23, 2020Nov 23, 2020

• cclyzer

  Public
  A tool for analyzing LLVM bitcode using Datalog.

  cc-plus-plusanalysis-framework+ 3pointer-analysisllvmdatalog

  C++

  •

  MIT License

  •14•98•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

  •223•0•0•0•Updated Sep 13, 2018Sep 13, 2018

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •710•0•0•0•Updated Aug 4, 2018Aug 4, 2018

• redex

  Public
  A bytecode optimizer for Android apps

  C++

  •

  Other

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

• FlowDroid

  Public
  FlowDroid Static Data Flow Tracker

  Java

  •

  GNU Lesser General Public License v2.1

  •300•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

  •10•0•0•0•Updated Jun 23, 2017Jun 23, 2017

• elasticsearch

  Public
  Open Source, Distributed, RESTful Search Engine

  Java

  •

  Apache License 2.0

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

• litho

  Public
  A declarative framework for building efficient UIs on Android.

  Java

  •

  Other

  •764•0•0•0•Updated Apr 28, 2017Apr 28, 2017

• spring-framework

  Public
  The Spring Framework

  Java

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