Home Original page

PLAST

  • cclyzer Public

    A tool for analyzing LLVM bitcode using Datalog.

    plast-lab/cclyzer’s past year of commit activity

    C++

    100

    MIT

    14 2 0

    Updated Mar 26, 2026

  • doop Public

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

    plast-lab/doop’s past year of commit activity

    Java

    208 26 0 0

    Updated Mar 15, 2026

  • plast-lab/plast-lab.github.io’s past year of commit activity

    CSS

    1 1 0 1

    Updated Mar 12, 2026

  • mini-sarif Public

    A library to generate statis analysis results in SARIF format.

    plast-lab/mini-sarif’s past year of commit activity

    Java 0 MIT 0

    0 0

    Updated Feb 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.

    plast-lab/HeapDL’s past year of commit activity

    Java

    15

    GPL-2.0

    1 0 0

    Updated Feb 26, 2026

  • clue-common Public

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

    plast-lab/clue-common’s past year of commit activity

    Groovy

    1

    MIT

    2 0 0

    Updated Feb 26, 2026

  • plast-lab/doop-benchmarks’s past year of commit activity

    C

    1

    0

    0 0

    Updated Feb 25, 2026

  • plast-lab/souffle-addon’s past year of commit activity

    C++

    10

    BSD-3-Clause

    3 1 0

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

    plast-lab/sound-modulo-analysis-openjdk-23’s past year of commit activity

    Java 0 GPL-2.0 0

    0 0

    Updated Mar 22, 2025

  • plast-lab/cclyzer-souffle’s past year of commit activity

    C++

    19

    MIT

    8 5 0

    Updated Jan 29, 2024