Skip to content

Pinned

  1. ByteCodeDL ByteCodeDL Public

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

    Shell 307 18

  2. BDLH BDLH Public

    BytecodeDL Helper - IntelliJ IDEA plugin

    Kotlin 6

  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

Repositories

Showing 10 of 19 repositories

Top languages

Loading…

Most used topics

Loading…