Configuration Reference

The Mago Analyzer is highly configurable, allowing you to tailor the analysis to your project's specific needs. All settings go under the [analyzer] table in your mago.toml file.

[analyzer]
# Disable a specific issue category
redundancy-issues = false

# Ignore a specific error code across the whole project
ignore = ["mixed-argument"]

General Options

Option	Type	Default	Description
excludes	string[]	[]	A list of glob patterns to exclude from analysis.
ignore	string[]	[]	A list of specific issue codes to ignore globally.

Issue Categories

You can enable or disable entire categories of issues. All categories are enabled by default.

Option	Default	Description
mixed-issues	true	Report all issues related to the use of mixed types.
falsable-issues	true	Report all issues related to possibly false values.
nullable-issues	true	Report all issues related to possibly null values.
redundancy-issues	true	Report all issues related to redundant code.
reference-issues	true	Report all issues related to by-reference variables.
unreachable-issues	true	Report all issues related to unreachable code.
deprecation-issues	true	Report all issues related to using deprecated code.
impossibility-issues	true	Report all issues related to logically impossible conditions.
ambiguity-issues	true	Report all issues related to ambiguous code constructs.
existence-issues	true	Report all issues related to the existence of symbols.
template-issues	true	Report all issues related to generic template types.
argument-issues	true	Report all issues related to function arguments.
operand-issues	true	Report all issues related to expression operands.
property-issues	true	Report all issues related to class properties.
generator-issues	true	Report all issues related to generators.
array-issues	true	Report all issues related to array operations.
return-issues	true	Report issues related to function and method return types.
method-issues	true	Report issues related to methods and their usage.
iterator-issues	true	Report issues related to iterators and their usage.

Feature Flags

These flags control specific, powerful analysis capabilities.

Option	Default	Description
find-unused-expressions	true	Find and report expressions whose results are not used (e.g., $a + $b;).
find-unused-definitions	true	Find and report unused definitions (e.g., private methods that are never called).
analyze-dead-code	true	Analyze code that appears to be unreachable.
memoize-properties	false	Track the literal values of class properties. Improves type inference but may increase memory usage.
allow-possibly-undefined-array-keys	true	Allow accessing array keys that may not be defined without reporting an issue.
check-throws	true	Check for unhandled thrown exceptions that are not caught or documented with @throws.
perform-heuristic-checks	true	Perform extra heuristic checks for potential issues that are not strict typing errors.