phan/phan

Features

• Type Safety - Analyze union types, generics, array shapes, and nullability to identify type incompatibilities and potential bugs.
• PHP Type Checkers - Finding bugs and type incompatibilities in PHP code without running the application.
• Code Quality and Analysis - Identifies dead code, unreachable blocks, and undefined variables to improve overall codebase health.
• IDE Real-time Feedback - Delivers real-time analysis results and remediation guidance directly within the code editor.
• Language Server Protocol Implementations - A background daemon that provides real-time PHP analysis and IDE integration via a standard protocol.
• Language Server Protocols - Implements the Language Server Protocol to provide real-time diagnostics and navigation in editors.
• CI/CD Pipeline Integrations - Provides native support for automating quality checks and build failures within CI/CD pipelines.
• Dead Code Analysis - Detects unreachable code, unused variables, and redundant conditions to eliminate dead code.
• Type Inference Refinement - Deduce the type of a variable based on inline assertions or conditional branches to refine type checking.
• Dead Code Detection - Identifying unused variables, unreachable code blocks, and redundant conditions to clean up PHP codebases.
• Type Inference Support - Determine variable types by analyzing assert statements and conditional logic within loops or branches.
• Type Annotations - Parses and verifies PHPDoc annotations for union types, generics, and array shapes.
• Type Checking - Warn when any type within a union cannot be cast to an expected type for method invocations.
• Common Bug Detection - Detects semantic bugs, type incompatibilities, and unsafe type usage in real time during development.
• Issue Baselining - Records known errors into a baseline snapshot to filter out legacy warnings and identify new regressions.
• Static Type Checking - Check that assigned values and return types match a defined union of multiple possible types.
• Type Inference Engines - Features a type inference engine that deduces variable and union types through conditional logic.
• Strictness Levels - Offers selectable strictness levels to allow teams to gradually introduce more rigorous type checking.
• Static Analysis AST Parsing - Uses abstract syntax tree parsing to detect structural errors and programmatic bugs without executing code.
• CI/CD Integrations - Automating code quality checks and build failures within a continuous integration pipeline for PHP projects.
• Definition Navigation - Allows developers to jump directly from a symbol's usage to its original source or type definition.
• On-Demand File Analysis - Provides near-instant feedback by analyzing specific files on demand using a background daemon.
• Analysis Result Exporters - Outputs analysis findings in multiple formats like JSON and CSV for integration with other quality tools.
• Interface Stub Files - Uses interface stub files to represent third-party library types without processing their entire source code.
• Template Type Inference - Determine the concrete type of a template by analyzing function arguments, array elements, or class-string parameters.
• Incremental Analysis Daemons - Provides a background daemon that maintains codebase state in memory for rapid incremental analysis.
• Deprecated Feature Markings - Identify functions, methods, or classes that should no longer be used by marking them as deprecated.
• Language Compatibility Checkers - Checking for backward compatibility issues and ensuring code works across different PHP versions.
• Language Compatibility Validations - Check for backward compatibility issues across different language versions and ensure inherited method signature compatibility.
• Analysis Plugin Frameworks - Provides a plugin system to implement custom rules and processors for detecting project-specific bug patterns.
• Analysis Speed Optimizations - Reduces execution time by distributing workloads across CPU cores and using optimized quick-mode checks.
• Automated Code Fixes - Automatically resolves a subset of detected issues by applying programmatic byte-range edits to the source.
• Version Compatibility Analyzers - Check for correct usage of version-specific language features and identify deprecated attributes across different versions.
• Consistency Verifications - Check that generic classes declare template types and maintain those types when extended by subclasses.
• Incremental Analysis Engines - Optimizes performance by re-analyzing only modified files and their affected dependencies.
• Analysis Pipeline Hooks - Allows extending the analysis engine via custom plugins that hook into AST node processing.
• Static Analysis Extensions - Provides a framework for creating custom rules and plugins to extend static code analysis.
• Build Gating Tools - A static analysis tool that returns standard exit codes and formatted reports to automate PHP build failures.
• Static Analysis - Analyzes code for errors using abstract syntax trees.
• Static Analysis Tools - Modern static analyzer for PHP.
• Static Analysis - Analyzes PHP codebases to identify potential security and quality issues.

Star history