Dialyzer is a static analysis tool for Erlang and Elixir that identifies type errors, unreachable code, and other logical inconsistencies without requiring manual type annotations.

What is the benefit of incremental analysis?

Incremental mode allows Dialyzer to analyze only the files that have changed since the last run, significantly reducing the time required for local development checks.

Does this work with ElixirLS?

Yes, this skill includes specific configuration settings for VS Code using ElixirLS to enable real-time Dialyzer feedback directly in your editor.

How do I speed up Dialyzer in CI/CD?

The most effective way is to implement PLT (Persistent Lookup Table) caching, which saves the analysis of your dependencies so Dialyzer doesn't have to rebuild them on every run.

Can I use Dialyzer as a git hook?

Yes, you can configure Dialyzer to run as a pre-commit hook using tools like Husky or Lefthook to ensure no type errors are committed to your repository.

Dialyzer Integration

Name: Dialyzer Integration
Author: TheBushidoCollective

byTheBushidoCollective

•

Security & Testing

Integrates Dialyzer static analysis into Elixir and Erlang development workflows and CI/CD pipelines.

About

This skill provides comprehensive guidance for implementing Dialyzer, the success-typing static analysis tool, within Erlang and Elixir projects. It offers standardized patterns for local development, incremental analysis, and automated CI/CD integration using GitHub Actions and GitLab CI. By including configurations for IDEs, pre-commit hooks, and performance optimization techniques like shared PLT strategies, this skill helps teams maintain high code quality and catch type errors early in the development lifecycle.

Key Features

Standardized CI/CD pipeline configurations for GitHub Actions and GitLab CI
Optimized local development workflows with incremental analysis and shared PLT strategies
39 GitHub stars
Pre-commit hook implementation for automated code quality gates
Performance tuning techniques for faster analysis and memory management
IDE integration patterns for VS Code (ElixirLS) and Neovim

Use Cases

Setting up Dialyzer for the first time in an Elixir project with optimized caching
Automating type checking within a CI/CD pipeline to prevent regressive bugs
Integrating Dialyzer into a team's local development environment to ensure consistent standards

About

Key Features

Standardized CI/CD pipeline configurations for GitHub Actions and GitLab CI
Optimized local development workflows with incremental analysis and shared PLT strategies
39 GitHub stars
Pre-commit hook implementation for automated code quality gates
Performance tuning techniques for faster analysis and memory management
IDE integration patterns for VS Code (ElixirLS) and Neovim

Use Cases

Setting up Dialyzer for the first time in an Elixir project with optimized caching
Automating type checking within a CI/CD pipeline to prevent regressive bugs
Integrating Dialyzer into a team's local development environment to ensure consistent standards