lisa-analyzer/lisa

CodeHawk Abstract Interpretation Engine and Analyzers

A library for building abstract interpretation-based analyses.

Code Property Graph: specification, query language, and utilities

YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple programming languages. Built on top of UAST, YASA provides a highly accurate static analysis framework.

A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

The official Python SDK for Codellm-Devkit

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

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different programming languages into a unified abstract syntax format.