Pinned

1. gic gic Public

   The generalized intensional compiler for a Haskell-like language.

   Haskell 14

2. plast-lab/source-ir-fitter plast-lab/source-ir-fitter Public

   A tool to map source code elements to IR elements.

   Java 3 1

3. antlr2datalog antlr2datalog Public

   Datalog-based source code analysis framework.

   Java 9 2

4. plast-lab/doop plast-lab/doop Public

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

   Java 137 21

5. plast-lab/native-scanner plast-lab/native-scanner Public

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

   Java 19 6

6. plast-lab/mini-sarif plast-lab/mini-sarif Public

   A library to generate statis analysis results in SARIF format.

   Java