Skip to content
@plast-lab

PLAST

Programming Languages and Advanced Software Technologies research lab

Pinned Loading

  1. cclyzer Public

    A tool for analyzing LLVM bitcode using Datalog.

    C++ 100 13

  2. doop Public

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

    Java 173 22

  3. cclyzer-souffle Public

    CClyzer port to souffle lang

    C++ 18 8

  4. 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 Public

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

    Java 22 6

Repositories

Showing 10 of 46 repositories
  • doop Public

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

    Java 173 22 7 0 Updated Mar 10, 2025
  • souffle-addon Public
    C++ 7 BSD-3-Clause 2 1 0 Updated Feb 9, 2025
  • clue-common Public

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

    Groovy 1 MIT 1 0 0 Updated Sep 26, 2024
  • plast-lab.github.io Public
    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.

    Java 14 GPL-2.0 1 0 0 Updated May 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, 2024
  • cclyzer-souffle Public

    CClyzer port to souffle lang

    C++ 18 MIT 8 5 0 Updated Jan 29, 2024
  • source-ir-fitter Public

    A tool to map source code elements to IR elements.

    Java 3 MIT 1 0 0 Updated Feb 2, 2022
  • bccapture Public

    A bytecode capture agent for the JVM

    C++ 0 MIT 0 0 0 Updated Dec 27, 2021
  • JInfoFlow-bench Public
    Java 9 MIT 2 0 0 Updated Nov 29, 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…