Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Start building LLM-empowered multi-agent applications in an easier way.

A Survey on Large Language Models for Software Engineering

Sequence-to-Tree Search

LLMDFA: Analyzing Dataflow in Code with Large Language Models

Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees

[EXPERIMENTAL] Java bindings to the Tree-sitter parsing library

Next generation Tree Sitter Java binding.

Reverse Engineering: Decompiling Binary Code with Large Language Models

Repository for the paper "Large Language Model-Based Agents for Software Engineering: A Survey".

Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.

An awesome code differencing tool

Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various graph databases.

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

计算机自学指南

Static Value-Flow Analysis Framework for Source Code

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference"

A list of AI coding tools (assistants, completions, refactoring, etc.)

Packaging of Eclipse's Java Development Tools for SonarJava

Artifact for the ECOOP 2024 paper on dynamic callback summaries

Universal Symbolic Virtual Machine

Ranking LLM-Generated Loop Invariants for Program Verification.

srp <> scala-repl-pp <> a better Scala 3 REPL

KLEEF Symbolic Execution Engine