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++ 96 14

  2. doop doop Public

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

    Java 159 21

  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 20 6

Repositories

Showing 10 of 46 repositories
  • doop Public

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

    plast-lab/doop’s past year of commit activity
    Java 159 21 6 0 Updated Sep 11, 2024
  • souffle-addon Public
    plast-lab/souffle-addon’s past year of commit activity
    C++ 5 BSD-3-Clause 2 0 0 Updated Aug 30, 2024
  • 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
  • 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 Apr 29, 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

    plast-lab/javaee-benchmarks’s past year of commit activity
    0 0 0 0 Updated Apr 28, 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
  • JInfoFlow-bench Public
    plast-lab/JInfoFlow-bench’s past year of commit activity
    Java 9 MIT 1 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…