A PHP parser written in PHP
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
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
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
- java
- static-analysis
- android
- nullability
A fast, feature-rich static code analyzer & language server for Python
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
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
awesome llvm security [Welcome to PR]
- llvm
- ollvm
- clang
- obfuscate
A modern supercompiler for call-by-value functional languages
A Python type checker
An Elixir tool for checking safety of database migrations.
- elixir
- static-analysis
- code-analysis
- credo
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)
- vim-plugins
- vim-mypy
- vim
- mypy
Error Prone extensions: extra bug checkers and a large battery of Refaster rules.
- java
- static-analysis
- abstract-syntax-tree
- ast
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
A Single Library Parser to extract meta information,static analysis and detect macros within the files.
- malware-analysis
- pdf-parsing
- pe-executable
- office-files