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

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

• phpstan
• static-analysis
• php
• php7

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