PLAST

Programming Languages and Advanced Software Technologies research lab

Pinned

cclyzer Public

A tool for analyzing LLVM bitcode using Datalog.

C++ 83 14
doop-mirror Public

Mirror of Doop: https://bitbucket.org/yanniss/doop

Java 106 18
cclyzer-souffle Public

CClyzer port to souffle lang

C++ 17 8
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 13 1
native-scanner Public

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

Java 18 5

souffle-addon Public

C++ 5 1 0 0 Updated Jan 17, 2023
cclyzer-souffle Public
CClyzer port to souffle lang

C++ 17 MIT 8 5 0 Updated Nov 1, 2022
source-ir-fitter Public
A tool to map source code elements to IR elements.

Java 2 MIT 1 0 0 Updated Feb 2, 2022
doop-mirror Public
Mirror of Doop: https://bitbucket.org/yanniss/doop

Java 106 18 2 0 Updated Jan 11, 2022
clue-common Public
Common functionality shared by the components of the Clyze unified analysis framework.

Groovy 1 MIT 0 0 0 Updated Jan 11, 2022
bccapture Public
A bytecode capture agent for the JVM

C++ 0 MIT 0 0 0 Updated Dec 27, 2021
JInfoFlow-bench Public

Java 7 MIT 1 0 0 Updated Nov 29, 2021
native-scanner Public
An analyzer of JNI code that matches native code information with Java code

Java 18 UPL-1.0 5 0 0 Updated Nov 12, 2021
mini-sarif Public
A library to generate statis analysis results in SARIF format.

Java 0 MIT 0 0 0 Updated Nov 12, 2021
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 13 GPL-2.0 1 0 0 Updated Nov 12, 2021

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

Loading…

Loading…