Skill

dialyzer-configuration

Guides Dialyzer setup for Erlang/Elixir static analysis, including mix.exs config, PLTs, flags, ignore warnings, best practices, and GitHub Actions integration.

Bash

GitHub Actions

code-quality

backend

npx claudepluginhub thebushidocollective/han --plugin dialyzer

Tool Access

This skill cannot use any tools. It operates in read-only mode without the ability to modify files or execute commands.

Preview

Dialyzer is a static analysis tool for Erlang and Elixir that identifies software discrepancies such as type errors, unreachable code, and unnecessary tests.

SKILL.md

Similar Skills

dialyzer-integration

129

Guides Dialyzer integration for Elixir projects: local/incremental analysis, CI/CD (GitHub Actions/GitLab), IDEs (VS Code/Vim), pre-commit hooks, shared PLTs.

no tools

dialyzer

credo-custom-checks

129

Creates custom Credo checks for Elixir projects to enforce project-specific code quality rules, such as detecting hardcoded secrets. Guides configuration in .credo.exs.

no tools

credo

elixir-code-review

Reviews Elixir .ex/.exs code for idiomatic style, pattern matching, OTP (GenServer/Supervisors), documentation (@doc/@spec), and security issues.

4 files

beagle-elixir

Stats

Parent Repo Stars129

Parent Repo Forks14

Last CommitFeb 11, 2026

Used By2 plugins

Actions

View Source View Plugin View on GitHub View README

Help us improve

Share bugs, ideas, or general feedback.

Dialyzer Configuration

Dialyzer is a static analysis tool for Erlang and Elixir that identifies software discrepancies such as type errors, unreachable code, and unnecessary tests.

Configuration Files

dialyzer.ignore-warnings

# Ignore specific warnings
lib/my_module.ex:42:pattern_match_cov

.dialyzer_ignore.exs

[
  {"lib/generated_code.ex", :no_return},
  {~r/lib\/legacy\/.*/, :unknown_function}
]

mix.exs Configuration

def project do
  [
    app: :my_app,
    dialyzer: [
      plt_add_apps: [:mix, :ex_unit],
      plt_core_path: "priv/plts",
      plt_file: {:no_warn, "priv/plts/dialyzer.plt"},
      flags: [:error_handling, :underspecs, :unmatched_returns],
      ignore_warnings: ".dialyzer_ignore.exs",
      list_unused_filters: true
    ]
  ]
end

Common Configuration Options

PLT Management

plt_add_apps: Additional applications to include in PLT
plt_core_path: Directory for core PLT files
plt_file: Custom PLT file location
plt_add_deps: Include dependencies (:app_tree, :apps_direct, :transitive)

Analysis Flags

:error_handling - Check error handling
:underspecs - Warn on under-specified functions
:unmatched_returns - Warn on unmatched return values
:unknown - Warn on unknown functions/types
:overspecs - Warn on over-specified functions

Filter Options

ignore_warnings: File with warning patterns to ignore
list_unused_filters: Show unused ignore patterns

Best Practices

Incremental PLT Building: Use project-specific PLTs to speed up analysis
Gradual Adoption: Start with subset of checks, expand over time
CI Integration: Run Dialyzer in continuous integration
Type Specs: Add comprehensive @spec annotations
Warning Management: Document intentional ignores

Common Patterns

Conditional Analysis

if Mix.env() in [:dev, :test] do
  {:dialyxir, "~> 1.4", only: [:dev, :test], runtime: false}
end

Custom Check Script

#!/bin/bash
mix dialyzer --format github

GitHub Actions Integration

- name: Run Dialyzer
  run: mix dialyzer --format github