Repositories list

• soot-fact-generator

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

  Java

  •

  GNU General Public License v3.0

  •3•23•2•0•Updated Nov 24, 2024Nov 24, 2024

• bytecodedl-pathfinder-neo4j-procedure

  Public
  ByteCodeDL custom path finder neo4j procedure

  Java

  •

  Apache License 2.0

  •0•5•0•7•Updated Mar 25, 2024Mar 25, 2024

• ByteCodeDL

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

  static-analysistaint-analysispoints-to-analysis+ 2security-toolssast

  Shell

  •

  GNU General Public License v3.0

  •19•337•0•0•Updated Jan 6, 2024Jan 6, 2024

• graphdb-intellij-plugin

  Public
  neo4j plugin of ByteCodeDL for the IntelliJ Platform. ByteCodeDL-Neo4j-IDEA-Plugin

  Java

  •

  Apache License 2.0

  •19•16•0•0•Updated Dec 28, 2023Dec 28, 2023

• clue-common

  Public
  Common functionality shared by the components of the Clyze unified analysis framework.

  Groovy

  •

  MIT License

  •1•0•0•0•Updated Nov 26, 2023Nov 26, 2023

• native-scanner

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

  Java

  •

  Universal Permissive License v1.0

  •6•0•0•0•Updated Nov 26, 2023Nov 26, 2023

• metadata-model

  Public
  Α model of source code metadata for Java(-like) code

  Java

  •

  MIT License

  •1•0•0•0•Updated Nov 26, 2023Nov 26, 2023

• neo4j-browser

  Public
  Neo4j Browser is the general purpose user interface for working with Neo4j. Query, visualize, administrate and monitor the database.

  TypeScript

  •

  GNU General Public License v3.0

  •360•0•0•0•Updated Mar 26, 2023Mar 26, 2023

• log4j2

  Public
  log4j2

  Java

  •

  Apache License 2.0

  •0•0•0•10•Updated Feb 27, 2023Feb 27, 2023

• BDLH

  Public
  BytecodeDL Helper - IntelliJ IDEA plugin

  bytecodedl

  Kotlin

  •

  GNU General Public License v3.0

  •0•7•0•0•Updated Aug 10, 2022Aug 10, 2022

• Benchmark

  Public
  benchmark of java static analysis

  Java

  •

  GNU General Public License v3.0

  •2•4•0•0•Updated May 1, 2022May 1, 2022

• intellij-datalog

  Public
  Kotlin

  •

  MIT License

  •4•3•0•0•Updated Apr 29, 2022Apr 29, 2022

• java-sec-code

  Public
  Java web common vulnerabilities and security code which is base on springboot and spring security

  Java

  •698•0•0•0•Updated Mar 31, 2022Mar 31, 2022

• CATS

  Public
  Mirror of Call-graph Assessment & Test Suite (CATS) : https://bitbucket.org/delors/cats/src/master/

  Scala

  •0•1•0•0•Updated Mar 26, 2022Mar 26, 2022

• souffle

  Public
  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  C++

  •

  Universal Permissive License v1.0

  •220•0•0•0•Updated Mar 22, 2022Mar 22, 2022

• doop-mirror

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

  Java

  •

  Other

  •24•0•0•0•Updated Jan 11, 2022Jan 11, 2022

• sound-modulo-analysis-openjdk-8

  Public
  This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper "Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room"

  Java

  •

  GNU General Public License v2.0

  •2•0•0•0•Updated Apr 5, 2020Apr 5, 2020

• PointerBench

  Public
  A points-to and alias analysis benchmark suite

  Java

  •7•0•0•0•Updated Sep 24, 2018Sep 24, 2018

• java-pts

  Public
  Souffle: Tutorial for a Java Points-To Analysis

  Java

  •3•0•0•0•Updated Sep 22, 2016Sep 22, 2016