Skip to content
@plast-lab

PLAST

Programming Languages and Advanced Software Technologies research lab

Pinned Loading

  1. cclyzer cclyzer Public

    A tool for analyzing LLVM bitcode using Datalog.

    C++ 100 13

  2. doop doop Public

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

    Java 175 22

  3. cclyzer-souffle cclyzer-souffle Public

    CClyzer port to souffle lang

    C++ 18 8

  4. HeapDL HeapDL Public

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

    Java 14 1

  5. native-scanner native-scanner Public

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

    Java 22 6

Repositories

Showing 10 of 47 repositories
  • 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 1 0 0 Updated Mar 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"

    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
  • doop-benchmarks Public
    plast-lab/doop-benchmarks’s past year of commit activity
    Shell 2 0 0 0 Updated Mar 21, 2025
  • souffle-addon Public
    plast-lab/souffle-addon’s past year of commit activity
    C++ 7 BSD-3-Clause 2 1 0 Updated Mar 14, 2025
  • doop Public

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

    plast-lab/doop’s past year of commit activity
    Java 175 22 9 0 Updated Mar 10, 2025
  • plast-lab.github.io Public
    plast-lab/plast-lab.github.io’s past year of commit activity
    CSS 1 0 0 0 Updated May 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.

    plast-lab/HeapDL’s past year of commit activity
    Java 14 GPL-2.0 1 0 0 Updated May 3, 2024
  • cclyzer-souffle Public

    CClyzer port to souffle lang

    plast-lab/cclyzer-souffle’s past year of commit activity
    C++ 18 MIT 8 5 0 Updated Jan 29, 2024
  • source-ir-fitter Public

    A tool to map source code elements to IR elements.

    plast-lab/source-ir-fitter’s past year of commit activity
    Java 3 MIT 1 0 0 Updated Feb 2, 2022
  • bccapture Public

    A bytecode capture agent for the JVM

    plast-lab/bccapture’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Dec 27, 2021
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…