GeezerVison

Pinned Loading

1. ByteCodeDL ByteCodeDL Public

   A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

   Shell 341 19

2. BDLH BDLH Public

   BytecodeDL Helper - IntelliJ IDEA plugin

   Kotlin 5

3. soot-fact-generator soot-fact-generator Public

   generate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)

   Java 22 3

4. Benchmark Benchmark Public

   benchmark of java static analysis

   Java 3 1

5. intellij-datalog intellij-datalog Public

   Forked from LFrobeen/intellij-datalog

   Kotlin 2