Repository Index

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

• php
• static-analysis
• phan
• analysis

Android virtual machine and deobfuscator

• deobfuscation
• java
• optimization
• android

A fast, feature-rich static code analyzer & language server for Python

• language-server
• python
• static-analysis
• type-checker

GoogleSQL(formerly ZetaSQL) - Analyzer Framework for SQL

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

• clang
• cpp
• c
• clang-tidy

Incremental rust builds up to 92x faster than cargo/rustc

• cargo
• compiler
• cranelift
• developer-tools

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

• code-analysis
• code-transformation
• metaprogramming
• code-generation

Next-gen phpDoc parser with support for intersection types and generics

• phpstan
• static-analysis
• php
• php7

C library for accessing the PostgreSQL parser outside of the server environment

A Python type checker

• linter
• python
• static-analysis
• typechecker

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

• midi
• music-programming
• karaoke
• karaoke-player

Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.

• ast
• cli
• go
• golang

A Lexical Analyzer Generator

• lexer
• lex
• lexical-analysis
• common-lisp